OpenAI reveals the existence of its next flagship model 'Astra' — claims to have 'solved' 10 unresolved mathematical problems

ITmedia AI+ (Japan)·August 2, 2026·1 min read

AI Summary

OpenAI announced that its internal version of the next flagship model 'Astra' has produced new results on ten unresolved problems in mathematics and theoretical computer science. The announced computation cost is approximately $2000 equivalent to 'Sol', and formal proofs supported by the proof assistant 'Lean' have been published on GitHub.

This story was originally published in another language — the summary above is an English translation. Read the full article at the source.

View original at ITmedia AI+ (Japan)

Keep reading

Has AI escaped its creator? Not yet, it just continues to imitate us - CNN Brazilcnnbrasil.com.br · 1h ago A Team Develops Industrial AI That Surpasses Master Craftsmen and Will Go Internationalk.sina.com.cn · 1h ago Gyeongbuk Province Expands AI-based Smart APC, Initiating Agricultural Product Distribution Innovationetnews.com · 1h ago KEIT hosts the 2026 AI Life Challenge and solicits public ideasnewsis.com · 1h ago

Was this useful?

Back to News