Le soluzioni matematiche di OpenAI non soddisfano ancora gli standard del settore
techcrunch ·
OpenAI ha recentemente pubblicato centinaia di soluzioni a problemi matematici complessi, affermando di aver consultato un gruppo advisory per garantire standard elevati. Tuttavia, il Gruppo Consultivo su Matematica e Intelligenza Artificiale (AGMAI) ha indicato che OpenAI non ha soddisfatto queste aspettative, in particolare per quanto riguarda la comprensione umana dei risultati. Sebbene OpenAI abbia seguito alcune linee guida rilasciando rapidamente le dimostrazioni, ne ha trasgredito altre, come fornire dati sul "chain-of-thought" per la maggior parte dei manoscritti o formalizzare una parte significativa delle dimostrazioni. Critici, incluso il prominente matematico Terence Tao, sostengono che i risolutori di IA non mostrino un genuino interesse per il campo più ampio e non siano in grado di spiegare adeguatamente le proprie produzioni. Un nuovo studio ha evidenziato discrepanze tra le spiegazioni in linguaggio naturale e il codice Lean formale nelle soluzioni di OpenAI a un problema da un milione di dollari derivato dalle equazioni di Navier-Stokes. Queste traduzioni errate sollevano preoccupazioni sull'affidarsi ai modelli per formalizzare il proprio lavoro senza un rigoroso peer review umano. I matematici sottolineano che la vera scoperta richiede l'engagement e la responsabilità umana, elementi che i processi attuali di IA non forniscono. Di conseguenza, la comunità rimane scettica riguardo alla misura in cui OpenAI stia assumendo la sufficiente responsabilità per garantire la comprensione umana di queste soluzioni autonome.
techcrunch