Expired50% confidenceEventExact time
OpenAI released new models named Sol and Astra, which contained solutions nearly identical to those of the two mathematicians.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
9/12/2026
First Seen
Valid until: 9/26/2026(expired)
Sources
Related Entities
Related Claims
VerifiedSol is the flagship model, and OpenAI calls it its currently strongest programming model.73% similarUnverifiedThe model codenamed Astra from OpenAI is reportedly said to have achieved a breakthrough at the o1 level, with the core innovation being a shift from text-based chain-of-thought to latent space reasoning.66% similarUnverifiedOpenAI uses the semantic codenames "Sol" (sun) and "Luna" (moon) to differentiate between variants of the same model generation.64% similarUnverifiedOpenAI announced that its AI system has found a solution to the Navier–Stokes equations problem.64% similarUnverifiedReports on Hacker News and other tech communities claim that an internal OpenAI model codenamed 'Astra' solved 10 major open problems in mathematics and computer science63% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/910917API
curl https://kongchang.com/api/v1/knowledge/claims/910917MCP
get_claim(id=910917)