← Back to feed

New Math from OpenAI

L5 · ResearcherResearchLessWrong AI· 10/9/2026

Demonstrates frontier AI capabilities in mathematical reasoning and automated theorem proving at research level.

AI Summary

OpenAI released 722 mathematical proofs generated by an internal frontier model, including solutions to 90 top open problems from Proof of Atlas.

Excerpt

It is kind of a huge deal. OpenAI dumped a broad range of huge new mathematical results produced by an internal frontier model. They just put it all on GitHub. This included 90 of the top 500 open problems in all of math, as per Proof of Atlas. In total there were 722 manuscripts (now 719 after three withdraws from the cluster that did not have Lean proofs) organized into 372 families. This was the result of a single model, presumably the same one that produced the Navier-Stokes proof (as per th

Read Original
0 upvotes · 0 downvotes · 1 min read

Related Articles

L5 · ResearcherResearchLessWrong AI
AI Scaling vs Human Scaling

Examines whether AI models scale as efficiently with additional tokens as humans do with more time, questioning if token scaling requires disproportionate increases.

L3 · BuilderResearchTowards Data Science
Where Does the Money Go Across Long-Running Coding Agents?

Analysis of 7 weeks of coding agent usage reveals adversarial reviews cost 70% more than implementation and create cost/time overhead from excessive reviewer dispatch cycles.

L5 · ResearcherResearcharXiv
WOVEN: Weaving Visual World Modeling into Multimodal LLMs

Researchers introduce WOVEN, a benchmark and training method that improves multimodal LLMs' visual transition reasoning capabilities by up to 27.3 percentage points on external benchmarks.

L5 · ResearcherResearcharXiv
Rounding in Preconditioner Space: Redesigning 4-bit AdamW Optimizer-State Quantization

Researchers redesign 4-bit AdamW optimizer-state quantization with ZIP-SR and ZE-EDEN methods, reducing validation-loss gap to 32-bit AdamW by up to 70% in GPT- and Llama-style models.

L5 · ResearcherResearcharXiv
From Reactive Containment to Proactive Assurance: Lessons from OpenAI, Anthropic, and Google Agent Security Incidents

Analyzes 2026 agent security incidents from OpenAI, Anthropic, and Google to propose a proactive security framework with boundary assurance stack.