HomeAI · summaries
Storia in 4 fonti
[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000
a quiet day but a nice result in AI x mathematics
Confronto fonti
4 prospettive sulla stessa storiaTimeline cronologica
- ·
cryptobriefing.com
OpenAI model autonomously solves planar unit distance problem
An internal OpenAI model autonomously disproved Paul Erdős's unit distance conjecture, marking a milestone in AI-driven mathematical discovery.
- ·
OpenAI claims its AI model solves 80-year-old math conjecture
OpenAI says its reasoning model autonomously disproved an 80-year-old math conjecture by Paul Erdős, with implications for smart contract verification and crypto.
- ·
OpenAI model solves 80-year-old planar unit distance problem posed by legendary mathematician Erdős
OpenAI's reasoning model disproved Paul Erdős' 80-year-old planar unit distance conjecture, validated by Fields Medalist Tim Gowers and Princeton's Will Sawin.
- ·
OpenAI model solves 80-year-old planar unit distance problem
OpenAI's reasoning model produced a 125-page proof solving the 80-year-old planar unit distance problem, validated by Fields Medalist Tim Gowers and Princeton's Will Sawin.
- ·
latent.space
[AINews] OpenAI GPT-next disproves 80 year old Erdős planar unit distance problem for under $1000
a quiet day but a nice result in AI x mathematics
- ·
the-decoder.com
The first AI proof worthy of math's top journal landed and it won't be the last
A reasoning model from OpenAI has disproved a conjecture by mathematician Paul Erdős on unit-distance geometry that stood open since 1946 - using tools from algebraic number…
- ·
theguardian.com
OpenAI makes breakthrough on 80-year-old maths problem
Company says work on Paul Erdős planar unit distance problem shows advance in AI reasoning