One prompt can now drive more of your work More support for defending infrastructure and open source See Claude’s rules updated for newer risks GPT-6 Intelligent UI makes conversations visual and interactive Claude Haiku 5.5 delivers low-cost, high-performance AI Create visual, interactive answers from a simple chat Run high-volume tasks with a cheaper fast model Share new mathematical results on GitHub to accelerate research Easier access to advanced Claude models for security work Run image, audio, and video search on-device with one model Atlassian integration makes company knowledge easier to use Decisions beta speeds up typed answers from text and images Anthropic expands safer access to advanced cyber features Enable text watermarking via API for EU compliance Claude training becomes easier for enterprise teams Anthropic invests in workforce training for enterprise adoption Enterprise adoption and training get easier Google's Gemini 4 Argon makes heavy tasks easier to offload Gemini 4 Argon is built for long professional tasks Use Astra-level performance affordably in daily work One prompt can now drive more of your work More support for defending infrastructure and open source See Claude’s rules updated for newer risks GPT-6 Intelligent UI makes conversations visual and interactive Claude Haiku 5.5 delivers low-cost, high-performance AI Create visual, interactive answers from a simple chat Run high-volume tasks with a cheaper fast model Share new mathematical results on GitHub to accelerate research Easier access to advanced Claude models for security work Run image, audio, and video search on-device with one model Atlassian integration makes company knowledge easier to use Decisions beta speeds up typed answers from text and images Anthropic expands safer access to advanced cyber features Enable text watermarking via API for EU compliance Claude training becomes easier for enterprise teams Anthropic invests in workforce training for enterprise adoption Enterprise adoption and training get easier Google's Gemini 4 Argon makes heavy tasks easier to offload Gemini 4 Argon is built for long professional tasks Use Astra-level performance affordably in daily work

Official sources only. Rumors, leaks, and get-rich schemes are excluded.

← Back to top

AI BriefingOpenAIPress Releases18:54

AI summarized from verified sources

AI delivers new results on 10 long-standing math problems with proofs released

Researchers can immediately verify and extend AI math results

SOURCE CHECK

2 sources

VERIFIED

Sources

Primary / openai.com

Official Blog

Supporting / x.com

Official X

Key Points

1New results on 10 open problems
2Lean certificates and reasoning released
3Full materials provided for researchers
4Example of AI in advanced math

An internal OpenAI model made progress on 10 open problems in geometry, coding theory and more. They released Lean certificates and reasoning steps for public verification. This strengthens foundations for science and technology.

What happened

An internal version of OpenAI's next model produced new results on 10 long-standing open problems including sphere packing, group theory, and quantum complexity. Achieved with about $2,000 in tokens; proofs and certificates released.

Why it matters

Math advances underpin technologies like GPS and medical imaging. AI handling decades-old problems signals faster research and greater AI reliability.

Impact for users

Researchers and technologists can verify results with public materials and incorporate them into their work. It encourages using AI as a daily math tool.