Tag
OpenAI's general-purpose reasoning model autonomously solved the planar unit distance problem, a famous open problem in mathematics posed by Paul Erdős in 1946, marking the first time AI has independently solved a prominent open problem in a field of mathematics.
An OpenAI model has autonomously solved the planar unit distance problem, a famous open mathematics question from 1946, disproving an 80-year-old assumption and achieving a first for AI.
OpenAI has achieved a breakthrough in mathematics: an AI model autonomously solved the planar unit distance problem, a famous open question from 1946, by discovering a new family of constructions that outperform square grids. This marks the first time AI has independently solved a prominent open problem in mathematics.
An OpenAI model autonomously disproved a central conjecture in discrete geometry known as the unit distance problem, marking the first time an AI has solved a prominent open problem in mathematics.
A new breakthrough in video generation models is being reported, potentially signaling significant advancements in AI video capabilities.
The creator of SubQ announces an overwhelming response to the SSA breakthrough, with plans to release a model card with additional data and third-party validation next week.
The OpenAI reasoning model successfully constructed a counterexample, disproving the 80-year-old Erdős unit distance conjecture, demonstrating the capability of general-purpose models to solve open math problems.