Un modello di inferenza di OpenAI, senza un addestramento specifico in matematica, ha ottenuto un progresso significativo nella geometria combinatoria. Per la prima volta in ottant'anni, è stata dimostrata l'esistenza di una famiglia infinita di configurazioni con almeno n^(1+δ) coppie a distanza unitaria, confutando una congettura che guidava la ricerca dagli anni '40.
Come l'IA ha trovato ciò che gli umani hanno trascurato 🧠
Il modello ha esplorato combinazioni di punti in spazi ad alta dimensione che i matematici consideravano improduttive. Applicando schemi di ricerca non supervisionati, ha identificato strutture che generano una crescita polinomiale di coppie unitarie, con δ fisso maggiore di zero. Il risultato non solo invalida la congettura precedente, ma apre una via per costruire esempi concreti, cosa che i metodi tradizionali non riuscivano a fare dal 1946.
Matematici, l'IA vi ha battuto sul tempo (e senza scomporsi) 😅
Mentre gli umani dibattevano se il limite fosse n^(1+ε) per ε tendente a zero, l'IA è arrivata e ha detto: guardate, vi lascio δ fisso e una famiglia infinita sul tavolo. La cosa curiosa è che il modello non è un genio della matematica, è solo un risolutore di scopo generale. Ora tocca ai matematici spiegare perché non ci hanno pensato prima, o almeno fingere che lo stavano per scoprire.