Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward
-
Updated
Aug 10, 2026 - TeX
#
open-problems
Here are 36 public repositories matching this topic...
Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.
computer-algebra json-schema proof-assistant sympy formal-verification open-problems mathlib lean4 ai-mathematics research-automation llm-agents mathematical-research vibe-mathing trusted-verification problem-library
-
Updated
Sep 9, 2026 - Python
Open problems in AI safety, stated self-contained for statisticians. A companion to Lionel Levine MAIS.
-
Updated
Aug 7, 2026
A toolkit for AI agents to explore and attempt Erdős's 1,179 unsolved mathematical problems
-
Updated
Jul 26, 2026 - Python
Cross-disciplinary discovery, audit, ranking, and verification tooling for agent-ready open research problems
-
Updated
Aug 18, 2026 - Python
The live, agent-readable frontier of AI mathematics: open problems, AI attempts, solution claims, verification, replay candidates, Skill and MCP.
theorem-proving lean open-problems low-hanging-fruit ai-mathematics mcp-server agent-skills proof-verification ai-research-agent mathematical-discovery ai-for-math vibemath
-
Updated
Aug 17, 2026 - TypeScript
An AI agent for open mathematical problems — honest by design.
python cli reproducible-research theorem-proving mathematics open-problems automated-reasoning local-first ai-agent research-tools llm ai4math math-ai ollama
-
Updated
Aug 28, 2026 - Python
The minimal elements of the prime numbers which are > b written in the positional numeral system with radix b, as digit strings under the subsequence ordering, for 2 ≤ b ≤ 36
computer-science algorithms proof sieve radix prime-numbers numeral-systems number-theory formal-languages subsequence heuristic-algorithm open-problems primality-test partial-orders trial-division antichains unsolved-problems minimal-set positional-notation higman-lemma
-
Updated
Sep 9, 2026 - C++
A single index to every SAIR Foundation challenge entered: the open problem each one states, the repository holding the method and the code, and what that method actually reached. Open science competitions in mathematics and computation, run by the Foundation for Science and AI Research.
competition mathematics open-science computational-mathematics modular-arithmetic index open-problems galois-theory lean4 ameythakur amey ai-for-science sair research-index ameyarc equational-theories ai-for-math amey-thakur sair-foundation andrews-curtis
-
Updated
Sep 9, 2026
The agent chooses the problem. CI chooses whether mathematics happened.
reproducible-research theorem-proving mathematics lean oeis formal-verification number-theory open-problems ai-agents mathlib lean4 llm agentic-ai open-problem
-
Updated
Aug 23, 2026 - Lean
A source-linked index of open math problems solved, refuted, or settled with AI — tracking the July 2026 wave. Verification-status badges, Lean/DRAT certificates, priority caveats.
awesome ai math theorem-proving mathematics artificial-intelligence graph-theory lean awesome-list gpt formal-verification number-theory conjectures open-problems automated-theorem-proving lean4 large-language-models llm erdos-problems ai-for-math
-
Updated
Jul 23, 2026
C.Algebra System derived fron own Author works.
-
Updated
Oct 7, 2020 - C
A curated, open catalogue of 100 famous unsolved math problems — and a space to propose ideas and approaches. Contributions welcome.
-
Updated
Aug 5, 2026 - Python
v1.0 — Publication-grade map of 112 open physics problems: open-math culture, agentic sprints, epistemology. Live board on GitHub Pages.
-
Updated
Jul 24, 2026 - Python
The hypothesis: the dimensionless constants of physics are counts, arithmetic and topological invariants of a compact geometry, with no continuously adjustable parameter. This repository is the program's charter and its list of open problems.
-
Updated
Aug 21, 2026 - Python
Experimental agent skill for open mathematical research: preserve goals, reconsider constraints, and reduce premature abandonment, goal drift, and handoff loss. 中文 / English / 日本語.
-
Updated
Sep 9, 2026
CLI and workspace for Paul Erdos problems.
cli research theorem-proving graph-theory combinatorics agents number-theory erdos open-problems sunflower
-
Updated
Sep 8, 2026 - JavaScript
Auditable difficulty profiles for all 8,785 UnsolvedMath problems, with AI-relative estimates, rationales, methodology, and machine-readable data.
json reproducible-research mathematics open-data dataset open-problems ai-evaluation ai-assessment difficulty-assessment unsolvedmath
-
Updated
Sep 8, 2026 - Python
Open & hard research problems across 35 fields of AI and machine learning, organized by topic — each with a problem statement, formal setting, SOTA, what is known, what is not known, why it is hard, current (2026) research, a concrete next experiment, references, and a worked example.
-
Updated
Sep 9, 2026 - Python
Computational experiments for Erdős-style combinatorial conjectures
-
Updated
Jun 10, 2026 - Rust
Add this topic to your repo
To associate your repository with the open-problems topic, visit your repo's landing page and select "manage topics."