Home
Storia in 5 fonti
OpenAI batte Erdos su un problema del 1946: nove matematici firmano la verifica
Un modello interno di OpenAI ha confutato la congettura di Erdős sulle distanze unitarie nel piano, aperta dal 1946. La verifica � firmata da nove matematici, tra cui Thomas Bloom, che a ottobre aveva smontato un annuncio simile
- ·
cryptobriefing.com
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.
- ·
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…
