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

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

C.Algebra System derived fron own Author works.

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

CLI and workspace for Paul Erdos problems.

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.

A constructive and AI-assisted approach to the Riemann Hypothesis, focusing on structured classification and critical line constraints.

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

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

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

Computational experiments for Erdős-style combinatorial conjectures

Agent-driven research library for open mathematical conjectures: attempted approaches, especially the failed ones, with adversarial verification and a blind/informed split so others can send their own agents.

GitHub-native research graph for open math problems and AI-assisted proof attempts

Automated frontier-model attempts at every open Erdős problem — verdicts, completeness scores, full transcripts.

Standalone protocol & tooling for AI-agent exploration of unsolved math problems: machine-readable registry, AI-amenability triage, reproducible workspaces, and evidence bundles.

Cross-disciplinary discovery, audit, ranking, and verification tooling for agent-ready open research problems

Open Problems META-DB (Rei-AIOS) — 2,583 mathematical unsolved problems + Rei-AIOS research contributions. CC-BY 4.0. Paper 130 DOI: 10.5281/zenodo.19700758