Brief

last 24h

[3/3] 221 sources

Multi-source AI news clustered, deduplicated, and scored 0–100 across authority, cluster strength, headline signal, and time decay.

SIGNIFICANT · Latent Space (swyx) English(EN) · 4d

[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000

OpenAI has announced that an internal model, speculated to be a version of GPT-5, has disproven an 80-year-old mathematical conjecture known as the Erdős planar unit distance problem. This general-purpose reasoning model achieved the result for under $1000, a feat that mathematicians are hailing as a significant milestone for AI in scientific discovery. The model's extensive output suggests that advanced reasoning capabilities are emerging in LLMs, potentially extending beyond mathematics to other scientific fields. AI

IMPACT Demonstrates advanced reasoning capabilities in LLMs, potentially accelerating scientific discovery across various fields.
TOOL · Mastodon — sigmoid.social English(EN) · 4d

Erdős unit distance conjecture disproved. This problem was solved in a completely automated fashion by a new general-purpose reasoning model. “In my opinion thi

An OpenAI model has disproven the Erdős unit distance conjecture, a significant problem in discrete geometry. This achievement marks a shift from AI models merely assisting mathematicians to independently generating original mathematical insights. The AI's proof is detailed in a companion paper, with further remarks provided by mathematicians. AI

IMPACT Demonstrates AI's capability for original mathematical discovery, potentially accelerating research across scientific fields.
RESEARCH · OpenAI News Español(ES) · 6d · [25 sources]

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI's general-purpose reasoning model has disproved an 80-year-old conjecture in discrete geometry, known as the unit distance problem. This marks a significant advancement for AI in mathematics, as the model autonomously generated a novel proof that challenges long-held beliefs in the field. Unlike a previous claim that was retracted, this breakthrough has been validated by mathematicians, including those who previously expressed skepticism. AI

IMPACT Demonstrates AI's capability for original discovery, potentially accelerating breakthroughs in science and engineering.

Brief

[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000

Erdős unit distance conjecture disproved. This problem was solved in a completely automated fashion by a new general-purpose reasoning model. “In my opinion thi

An OpenAI model has disproved a central conjecture in discrete geometry