Mathematics
Differential Geometry
Mathematicians Overturn 150-Year-Old Geometry Rule With Discovery of 'Bonnet Pairs'
5 sources · 29d ago
Factlen Explainer
Wordle's 'Hard Mode' Is Statistically Easier, 730 Million Games Reveal
5 sources · 34d ago
AI Mathematics
AI Systems Cross Historic Threshold by Solving Decades-Old Open Math Problems
2 sources · 39d ago
More in Mathematics
AI CapabilitiesEvidence Review
AI Models Hit a Wall on 'First Proof,' a Rigorous New Benchmark for Research Mathematics
First Proof Organizers 40%AI Developers 30%Skeptical Academics 30%
4 sources · 41d ago
Formal VerificationEvidence Pack
AI Systems Solve Decades-Old Erdős Math Problems, Sparking a New Era of Formal Verification
AI-Assisted Mathematicians 45%Mathematical Traditionalists 30%Institutional Researchers 25%
4 sources · 46d ago