Model2 sources
17h agoAlphaProof Solves Decades-Old Math Problems
Nine Erdős problems, including two unsolved for 56 years, were solved by AlphaProof Nexus. A study in Science confirms these results following a formal peer-review process. This rigorous approach contrasts with OpenAI's recent practice of releasing proofs via GitHub.
The Signal
Mathematicians now have a verified benchmark for AI-driven formal reasoning and discovery.