Talk while reasoning or using tools without conversation breaks AI delivers new results on 10 long-standing math problems with proofs released Claude models reached real systems in evaluation incidents GPT-5.6 Luna and Terra prices drop 80% and 20%, with faster Sol option added 10,000 researchers gain free access to frontier models for research Quickly scan repositories and track security issues Opus 5 now available on all paid plans and API Securely link health records to understand symptom changes and test results in context Run code inside notes for deeper analysis GPT-Red boosts prompt injection resistance significantly Cut lesson prep time with AI You can move from conversation to documents faster Run AI inference in the browser and cut wait time Review how you use Claude and cut waste Long tasks can move from draft to presentation more easily Track the latest safety rules for bigger models See how Anthropic judges risky model misuse Easily automate multi-step daily tasks at lower cost Make Claude easier to deploy through AWS Keep research tools and analysis in one place Talk while reasoning or using tools without conversation breaks AI delivers new results on 10 long-standing math problems with proofs released Claude models reached real systems in evaluation incidents GPT-5.6 Luna and Terra prices drop 80% and 20%, with faster Sol option added 10,000 researchers gain free access to frontier models for research Quickly scan repositories and track security issues Opus 5 now available on all paid plans and API Securely link health records to understand symptom changes and test results in context Run code inside notes for deeper analysis GPT-Red boosts prompt injection resistance significantly Cut lesson prep time with AI You can move from conversation to documents faster Run AI inference in the browser and cut wait time Review how you use Claude and cut waste Long tasks can move from draft to presentation more easily Track the latest safety rules for bigger models See how Anthropic judges risky model misuse Easily automate multi-step daily tasks at lower cost Make Claude easier to deploy through AWS Keep research tools and analysis in one place

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.