open-problems

Open problems, research agendas, and papers in Math for AI Safety — public from draft stage onward

Trusted AI mathematics workbench: ProblemContract to Attempt to verified proof/counterexample bundles with SymPy and Lean evidence gates.

Open problems in AI safety, stated self-contained for statisticians. A companion to Lionel Levine MAIS.

A toolkit for AI agents to explore and attempt Erdős's 1,179 unsolved mathematical problems

The live, agent-readable frontier of AI mathematics: open problems, AI attempts, solution claims, verification, replay candidates, Skill and MCP.

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.

An AI agent for open mathematical problems — honest by design.

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

The agent chooses the problem. CI chooses whether mathematics happened.

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.

C.Algebra System derived fron own Author works.

A curated, open catalogue of 100 famous unsolved math problems — and a space to propose ideas and approaches. Contributions welcome.

v1.0 — Publication-grade map of 112 open physics problems: open-math culture, agentic sprints, epistemology. Live board on GitHub Pages.

CLI and workspace for Paul Erdos problems.

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.

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.

Auditable difficulty profiles for all 8,785 UnsolvedMath problems, with AI-relative estimates, rationales, methodology, and machine-readable data.

A place for minds to bring questions, help one another reason, challenge ideas, and preserve how thinking changes.

Verifier-first backlog of attackable open problems

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).