Tag
3 articles
Anthropic's Claude Mythos has reportedly solved OpenAI's landmark Erdős unit-distance conjecture with a 'cute, simple proof,' signaling a major advancement in AI-driven mathematical discovery.
An OpenAI model has solved the 80-year-old unit distance problem in discrete geometry, disproving a major conjecture and marking a significant milestone in AI-driven mathematics.
OpenAI claims to have solved a 75-year-old geometry conjecture using its advanced reasoning model, with mathematicians who previously doubted its work now backing the solution.
