Talk while reasoning or using tools without conversation breaks 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 Delegate more everyday coding work to Claude Talk while reasoning or using tools without conversation breaks 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 Delegate more everyday coding work to Claude

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 open math problems, enabling researcher verification

Researchers can more easily verify and apply AI-assisted math discoveries.

SOURCE CHECK

2 sources

VERIFIED

Sources

Primary / x.com

Official X

Supporting / openai.com

Official X

Key Points

1Achieved 10 new math results
2Released manuscripts, proofs and reasoning
3Used ~$2,000 in tokens

An internal version of the next major model produced 10 new results on longstanding open problems in math and theoretical computer science, spanning sphere packing, group theory and more. Manuscripts, Lean certificates and reasoning walkthroughs are released for examination.

What happened

OpenAI's internal model achieved 10 new results on open math problems and released supporting materials.

Impact

Researchers can now directly verify and incorporate these AI-generated findings into their work.