Model2 sources
7d agoOpenAI Solves Famous Mathematical Conjecture
September 8 marked the day OpenAI announced its models solved one of mathematics' most famous problems. This follows a summer of AI-generated proofs for decades-old conjectures. The achievement moves AI from simple calculation to complex reasoning.
The Signal
Practitioners must now reconcile automated discovery with traditional human verification in formal mathematical research.