Aaronson–Ambainis Conjecture Proved? PSI's AI Proof in Lean, Not Yet Checked Outside | PSI06

The Weil Conjectures, All in Lean? Axiom's ~980 AI-Written Modules, Not Yet Human-Reviewed | AX07

The Stacks Project, All in Lean? Axiom's 15.75M-Line AI Formalization, 97% Unreviewed | AX06

Faster Random Clocks, Farther Away? The Lyons-White Conjecture, Proved with AxiomProver | AX05

ETH False, a Second Time? Claude's 2^o(n) Algorithm for 3-SAT, Released the Day of OpenAI's | AN03

Two Thirds of Zeta Zeros Simple and on the Line? Claude's Result, Lamzouri's New Proof | AN02

Collatz: 1 in 2^2^2^163 Numbers Reach 1 Fast? Axiom's AI Refines Mazur's Theorem (Lean) | AX04

Rogers-Ramanujan for Every a, b? Axiom's Proof of the Huang-Jiang-Oblomkov Conjecture | AX03

No Zeros Past 31/32, for Every Number Field? Axiom's AI Builds on OpenAI's Quasi-RH | AX02

Fermat's Last Theorem, Checked in Lean? Anthropic's 13M-Line AI Formalization | AN01

Every Finite Simple Group, Checked in Lean? Axiom's 43.1M-Line Formalization of CFSG | AX01

Five Open Quantum Problems: What PSI's AI-Assisted Results Claim, and What They Don't | PSI01–05

Local Smoothing in Every Dimension? OpenAI's Wave Equation Claim, From Bochner–Riesz to Kakeya

The Exponential Time Hypothesis Is False? OpenAI's Subexponential 3-SAT Claim

Navier–Stokes Blowup? OpenAI Claims Clay's (C) and (D), With a Force, Plus Euler Blowup | Special

Mixing Is Enough? AI Claims Pointwise Convergence of Multiple Ergodic Averages

Singular Beyond Pisot? AI Claims New Singular Bernoulli Convolutions and a Classification

No Smooth Volume Model? AI Claims a Zero-Entropy System Smooth Volume Can't Reproduce

Wrapping Without Chaos? AI Claims a C¹ Counterexample to Shub's Entropy Conjecture

No Hidden Rhythm? AI Claims Every Irrational Triangle Billiard Is Weakly Mixing

One Trap for Every Start? AI Claims Permanence for Weakly Reversible Reaction Networks

Lost Only to Coincidences? AI Claims the Dimension Formula for Self-Similar Measures

Only the Ellipse? AI Claims the Near-Boundary Birkhoff Conjecture for Billiards

Chaos With Positive Area? AI Claims Sinai's Standard-Map Entropy Conjecture

Two Is Enough? AI Claims Mixing Implies Mixing of All Orders (Rokhlin's Problem)

One Signal, Every Pattern? AI Claims a Smooth Map With Simple Lebesgue Spectrum

A Ceiling on Limit Cycles? AI Claims Uniform Bounds for Hilbert's Sixteenth Problem

Factoring With No Coin Flips? AI Claims Deterministic Polynomial Factoring over Prime Fields

Real Solutions at Level 26? AI Puts the Existential Theory of the Reals in the Counting Hierarchy

Exact Equations, Limited Memory: An AI Claims d log(1/ε) Samples Are Needed

Faster Than n log n? An AI Claims a New Integer Multiplication Algorithm

Sampling With Almost No Queries? An AI Claims d^ε Oracle Calls for Log-Concave Targets

Subset Sum in 2^(0.49n) Time? An AI Claims to Beat Meet-in-the-Middle

One-Tape Time T in T^(2/5) Space? An AI Claims to Beat the Square-Root Barrier

A PCP Theorem for PPAD? An AI Claims a Quasilinear, Gate-Robust Reduction From End-of-Line

How Many Gates Does Depth Five Need for Matrix Products? An AI Claims n to the Θ(√n)

Do Three Stars Suffice for Every Regular Language? An AI Claims Generalized Star Height 3

How Hard Is Weisfeiler–Leman Refinement? An AI Claims Unconditional Lower Bounds

Can Block Sensitivity Beat Sensitivity Squared? An AI Claims Yes, Without Bound

Does the Switch Chain Mix Fast for Every Degree Sequence? An AI Claims Yes, in 2n⁸ Steps

Faster Than the FFT? An AI Claims Exact Fourier Transforms Below n log n

Sakoda–Sipser Settled? An AI Claims Exponential State Lower Bounds for Two-Way Automata

Shortest Common Superstring Within a Factor of Two? An AI Claims a Polynomial-Time Algorithm

How Sensitive Can a Polynomial Threshold Function Be? An AI Claims at Most 8d√n

No Small Semidefinite Program for Matching? An AI Claims Exponential PSD Rank

k-Median at Exactly 1 + 2/e? An AI Claims the Optimal Approximation Factor

Three-Machine Scheduling in Polynomial Time? An AI Claims to Settle a 1979 Open Problem

Trace Reconstruction Needs More Than Polynomially Many Traces? An AI's Claim, Explained

Edit Distance in Almost-Linear Time? An AI Claims a (1+ε) Approximation Scheme

Maximum Matching in Almost-Linear Time? An AI Claims to Beat Micali–Vazirani

The Most Informative Boolean Function? An AI's Proof of the Courtade–Kumar Conjecture

One More Bin? An AI Claims to Disprove a Bin Packing Conjecture and Prove Additive Hardness

Sparsest Cut Is Hard to Approximate? An AI Claims Unconditional NP-Hardness

One Matrix Point Tests Every Small Formula? An AI's Claim in Noncommutative Algebra

Tables With Any Margins? An AI Claims Exact Sampling and Counting of Contingency Tables

Counting Common Bases of Two Matroids? An AI Claims an Open Problem Is Solved

Counting Perfect Matchings in Any Graph? An AI Claims to Solve a 1989 Open Problem

Past the Square Root? An AI Claims a New Lower Bound for Depth-Three Circuits

One Sample Is Enough? An AI Claims a Matroid Prophet Inequality Against an Almighty Adversary

Log Squared, Everywhere? An AI Claims the Sharp Bound for Randomized k-Server