Noam Brown, ricercatore di OpenAI noto per il suo lavoro sui sistemi di ragionamento basati sull'IA, ha evidenziato una serie di dieci scoperte matematiche generate dai modelli GPT. Secondo Brown, il costo totale per produrre le dimostrazioni di tutte e dieci le scoperte combinate è stato inferiore a 2.000 dollari ai prezzi delle API Sol. Ha inoltre espresso attesa per le capacità dei modelli futuri, dichiarando: "Siamo entusiasti di vedere cosa scienziati e ricercatori riusciranno a creare con i nostri prossimi modelli Astra!"

Brown ha condiviso il suo elenco delle dieci scoperte in un post su X:

https://x.com/polynoamial/status/2083470822258467194?s=61

Ulteriori commenti sull'importanza di questi sviluppi sono stati condivisi qui:

https://x.com/stalkalmustang/status/2083485500250198453

I risultati sottolineano il ruolo crescente dei modelli linguistici di grandi dimensioni nella ricerca matematica, un campo che ha storicamente richiesto un'ampia competenza umana e collaborazione. La cifra inferiore ai 2.000 dollari evidenzia come la ricerca assistita dall'IA stia diventando economicamente accessibile in modi che potrebbero ampliare la partecipazione oltre le tradizionali istituzioni accademiche. I progressi nella dimostrazione e verifica automatica di teoremi guidati dall'IA hanno subito un'accelerazione negli ultimi anni, con modelli che hanno dimostrato capacità in ambiti come la matematica a livello competitivo, gli assistenti alla dimostrazione formale come Lean e la risoluzione di problemi combinatori. Anche altre organizzazioni, tra cui Google DeepMind con sistemi come AlphaGeometry, hanno riportato contributi significativi dell'IA alla scoperta matematica, segnalando una tendenza industriale più ampia verso l'integrazione dei modelli linguistici nei flussi di lavoro scientifici.