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 31 public repositories matching this topic...
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
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
Aug 13, 2026 - Python
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 22, 2026 - Python
Cross-disciplinary discovery, audit, ranking, and verification tooling for agent-ready open research problems
-
Updated
Aug 18, 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
Aug 23, 2026 - C++
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 18, 2026 - Lean
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
C.Algebra System derived fron own Author works.
-
Updated
Oct 7, 2020 - C
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
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
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
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
CLI and workspace for Paul Erdos problems.
cli research theorem-proving graph-theory combinatorics agents number-theory erdos open-problems sunflower
-
Updated
Apr 25, 2026 - JavaScript
Verifier-first backlog of attackable open problems
-
Updated
May 29, 2026
A new philosophy of cryptographic design where every attack strategy becomes a liability. V9 — THE LEVIATHAN. 70+ defenses, Hall spread derivation, Reguli-resistant decoys, 15-vector attack battery. Novelty: 9/10 (unanimous).
finite-fields post-quantum-cryptography ai-safety open-problems projective-geometry ai-human-collaboration adversarial-design cryptographic-philosophy aikido-cryptography desarguesian-spreads
-
Updated
Feb 25, 2026 - Python
A constructive and AI-assisted approach to the Riemann Hypothesis, focusing on structured classification and critical line constraints.
open-problems formal-proofs zeta-functions riemann-hypothesis analytic-number-theory ai-assisted critical-line arxiv-ready constructive-proof math-nt
-
Updated
Jun 16, 2025 - TeX
Computational experiments for Erdős-style combinatorial conjectures
-
Updated
Jun 10, 2026 - Rust
Two-week certificate-first campaign: an LLM orchestrating ATPs, SAT, and GAP against open problems in quasigroup, loop, and semigroup theory — closed two open orders of a 1998 conjecture; the trust protocol is the point
mathematics semigroup sat-solver formal-verification computational-algebra open-problems quasigroup automated-theorem-proving loop-theory vampire-prover
-
Updated
Aug 22, 2026 - Python
Improve this page
Add a description, image, and links to the open-problems topic page so that developers can more easily learn about it.
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."