Number theory · May 21, 2026
Nine Erdős problems and 44 OEIS conjectures proved with machine-checked proofs
arXiv: Advancing Mathematics Research with AI-Driven Formal Proof Search
Contributors
AlphaProof Nexus (LLM + Lean) · Pushmeet Kohli · Swarat Chaudhuri
AI systems: AlphaProof Nexus (LLM + Lean)