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
Nei giorni scorsi OpenAI ha annunciato
che un suo modello interno di ragionamento generalista ha prodotto un
controesempio alla congettura di Erdős sulle distanze unitarie nel
piano, formulata nel 1946. Qualche mese fa avevamo
gi� toccato il tema dei problemi del matematico Paul Erdős, una
OpenAI dice di aver risolto un problema matematico aperto da ottant’anni
OpenAI ha risolto in poco più di un'ora un enigma matematico aperto da 80 anni
The first AI proof worthy of math's top journal landed and it won't be the last
OpenAI model solves 80-year-old planar unit distance problem posed by legendary mathematician Erdős
KI beweist: Mathematiker lagen falsch
OpenAI model disproves major Erdős conjecture using general-purpose reasoning system
OpenAI claims its AI model solves 80-year-old math conjecture
OpenAI model autonomously solves planar unit distance problem
The Merging Was Always the Point
OpenAI makes breakthrough on 80-year-old maths problem
