A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in ...

OpenAI claims its model solved a famous geometry problem that has eluded the world’s greatest mathematicians for 80 years — a ...

OpenAI’s AI model solved an 80-year-old Erdős math problem, marking a breakthrough in AI-assisted scientific reasoning and ...

A general-purpose reasoning model, not a math-trained system, produced a new family of point configurations that broke Paul ...

News that large language models (LLM) have made major advances in solving Erdős problems – a set of problems formulated by the renowned 20 th-century mathematician Paul Erdős – has created an ...