Sep 27 2026 When AI Designs a 1-Terawatt Fusion Reactor: Who Dares Sign the Safety Permit? AIMathematicsSafety Review
Sep 13 2026 10,000 AI Agents Solved a 90-Year-Old Math Enigma: Why the $1M Prize Must Wait Three Years AIMathematicsOpenAI
Sep 12 2026 25 Fields Medalists Issue Joint Warning: AI Math Benchmarking Risks Depleting the Soil of Knowledge AIMathematicsTech Controversy
Sep 9 2026 OpenAI's Million-Dollar Navier-Stokes Proof Sparks Academic Front-Running Backlash Artificial IntelligenceMathematicsOpenAI
Sep 7 2026 Terence Tao Warns: An AI Brute-Force Solution to the Millennium Prize Would Poison Mathematics MathematicsAITerence Tao
Sep 5 2026 Fermat's Last Theorem Formalized in 11 Days: How AI Upended Mathematical Peer Review AIMathematicsAutomation
Aug 23 2026 The Math of Perfect Fairness: Computer Scientists Solve 30-Year Discrepancy Problem ScienceMathematics
Aug 13 2026 Quantum Waves Cannot Be Trapped: MIT PhD Student Proves High-Dimensional Fractal Uncertainty Principle ScienceMathematics
Aug 10 2026 Mathematicians Thought Magic Hexagons Were Limited to 2. Turns Out There Are Infinitely Many MathematicsPopular ScienceProof
Aug 3 2026 AI 'Disproves' 90-Year-Old Math Problem: The Proof Assistant Was Broken First AIMathematicsFormal Verification
Jul 26 2026 The Dark Night of Mathematics: How Four Crises Reshaped the Discipline MathematicsPhilosophy of ScienceThought
Jul 19 2026 One Prompt, 148 Minutes: GPT-5.6 Closes a 30-Year Gap in Convex Optimization AIGPT-5.6MathematicsFormal Proof
Jul 4 2026 16 Years, Billions of Devices, One Bug: How TLA+ Found What Human Testing Never Could SQLiteTLA+Formal VerificationWAL
