A Substack post by Zvi Mowshowitz claims that an unreleased OpenAI model named Astra solved ten major open mathematics problems. The available record consists primarily of the article and a small Hacker News discussion, with no independently verifiable proof files, papers, benchmark protocol, model documentation, or official OpenAI confirmation provided here. The claim could be significant if validated, but it should currently be treated as an unverified report rather than an established scientific result.
No heat snapshots are available in the last 24 hours.