AlphaProof Nexus solves 9 Erdős problems for a few hundred dollars each
AI model AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures at a few hundred dollars each, showing cost-effective AI for formal math research. This demonstrates that AI can now autonomously generate machine‑checked proofs for longstanding open problems, potentially accelerating research across fields.