Un chatbot di OpenAI ha risolto il problema della distanza unitaria di Erdős, irrisolto dal 1946. I matematici sono stupiti.

OpenAI ha annunciato un ulteriore progresso nella capacità di ragionamento dei suoi modelli linguistici, uno dei quali ora ha risolto un problema matematico vecchio di 80 anni.…

Il caso OpenAI ha attirato l’attenzione, ma AlphaProof Nexus ha chiuso 9 problemi di Erdős con verifiche formali in Lean. Il contributo dell’IA nella matematica è comunque ormai…