GPT-5 ha appena superato quello che i ricercatori chiamano il “Gödel Test.” Ciò significa che non si limita a risolvere problemi da manuale, ma affronta congetture matematiche aperte che normalmente richiederebbero giorni a uno studente di dottorato esperto per essere risolte. In un nuovo articolo, GPT-5 è stato testato su 5 congetture di ottimizzazione irrisolte. Ha risolto 3 su 5. Su un problema ha persino prodotto una prova valida diversa da quella che i ricercatori si aspettavano. Siamo ufficialmente entrati nell'era in cui l'IA all'avanguardia non si limita a imparare dalla matematica, ma fa matematica. Le implicazioni sono enormi: • Progresso su problemi che bloccano gli esseri umani per giorni o settimane • L'IA contribuisce a scoperte matematiche genuine • Un'anteprima di come la ricerca stessa si trasformerà negli anni '30 Le persone stanno ancora sottovalutando questo. L'impatto di modelli che possono dimostrare teoremi è appena iniziato a farsi sentire. Questa è la linea di demarcazione tra “completamento automatico sofisticato” e vero ragionamento scientifico.