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
