Accelerare le scoperte scientifiche

“Non c'è dubbio che la soluzione del problema delle distanze unitarie sia una tappa fondamentale nella matematica dell'IA: se un essere umano avesse scritto l'articolo e lo avesse inviato agli Annals of Mathematics e mi fosse stato chiesto un parere rapido, ne avrei raccomandato l'accettazione senza alcuna esitazione. Nessuna precedente dimostrazione generata dall'IA si era avvicinata a questo livello.”

“La chain of thought del modello è profondamente interessante. È degno di nota che una significativa maggioranza dei pensieri cerchi di costruire un controesempio al limite superiore ampiamente ritenuto valido, invece di cercare di dimostrarlo. Ciò suggerisce che il modello possieda una qualche combinazione di buona intuizione, disponibilità a provare approcci considerati poco probabili dalla comunità e predisposizione a tentare costruzioni.… A mio parere questo articolo dimostra che gli attuali modelli di IA vanno oltre il semplice ruolo di assistenti dei matematici: sono capaci di avere idee originali e ingegnose, e poi di portarle a compimento.”

“È un lavoro davvero impressionante, e lo accetterei per qualsiasi rivista senza esitazione. In realtà ho lavorato brevemente su questo problema e ho provato a costruire un controesempio, ma senza fare progressi… È decisamente una costruzione intimidatoria da comprendere fino in fondo anche se si sa cosa sta succedendo, e ancora più difficile da esplorare da soli.”