Tag
OpenAI releases o1-mini, a cost-efficient reasoning model that matches o1 performance on STEM tasks like math and coding while being 80% cheaper. The model is optimized for reasoning-heavy applications and is now available to API users and ChatGPT Plus/Team/Enterprise/Edu subscribers.
OpenAI introduces the o1 model series, designed to reason through complex tasks before responding, with applications in genetics, science, coding, and math. The announcement highlights use cases in decoding genetics with researcher Catherine Brownstein.
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.
An OpenAI model has autonomously solved the planar unit distance problem, a famous open question in mathematics posed by Paul Erdős in 1946, by discovering a new family of constructions that outperform square grids. This marks the first time AI has autonomously proven a prominent open problem in mathematics.