OpenAI just dropped 722 research papers written entirely by an unreleased mathematical AI model. The system, which reportedly tackled 4,000 complex problems, includes formal proofs in Lean.

From the Navier–Stokes proof to the Riemann zeta function, this mysterious agent is pushing boundaries. Each result required three hours of compute, marking a massive leap toward machine-verified, autonomous mathematical discovery today.

From the Navier–Stokes proof to the Riemann zeta function, this mysterious agent is pushing boundaries. Each result required three hours of compute, marking a massive leap toward machine-verified, autonomous mathematical discovery today.