Confutata una congettura di Erdős (con una piccola mano dell’AI)
Di recente, un modello di IA di OpenAI ha confutato una celebre congettura di Erdős, il cosiddetto “problema delle distanze unitarie”, ne abbiamo parlato qui. La questione riguardava quanti collegamenti di dimensioni simili si possono tracciare tra punti...
Risolto il problema di Talagrand (e no, una volta tanto l’AI non ce l’aveva fatta)
Nel 1995, Michel Talagrand si chiese se la convessità potesse essere “creata” in un numero fisso e uniforme di passaggi (utilizzando operazioni chiamate “somme di Minkowski”) in dimensione qualsiasi. Ricordiamo che una forma o una funzione sono...
Un modello di OpenAI risolve un problema matematico (difficile) vecchio di 80 anni
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. L’azienda, che è prossima alla quotazione a Wall Street, ha dichiarato infatti di...




