Mathematics & Theoretical Computer Science
AI for mathematics and formal proof, landmark results in pure mathematics, and algorithmic and complexity breakthroughs.
3 topics646 papers0 dossiers
AI for Mathematics & Formal Proof
Lean and Mathlib, autoformalization, neural theorem proving, olympiad-level systems and AI-assisted discovery in mathematics.
Landmark Results in Pure Mathematics
Recent major theorems and their status: geometric Langlands, Kakeya in three dimensions, sphere packing, the unknotting-number additivity counterexample and more.
Algorithms & Complexity Breakthroughs
Almost-linear-time max flow, shortest paths beyond Dijkstra's sorting barrier, matrix multiplication exponent improvements and space-time simulation results.