Il risultato ottenuto da un chatbot riguardo a una congettura di 80 anni fa costituisce la prima dimostrazione basata sull’IA che verrebbe probabilmente pubbli…

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.…

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

Il risultato ottenuto da un chatbot riguardo a una congettura di 80 anni fa costituisce la prima dimostrazione basata sull’IA che verrebbe probabilmente pubbli…