In breve:
OpenAI ha caricato su GitHub oltre 700 manoscritti con i risultati di un suo modello non ancora rilasciato. Secondo AGMAI, il gruppo indipendente di matematici consigliato dall'azienda, i lavori risolvono molte questioni rimaste aperte da anni. Secondo OpenAI, ogni risultato ha richiesto in media l'equivalente di tre ore di ragionamento di ChatGPT Pro.
Questo è un riassunto di:
OpenAI drops another batch of mathematical breakthroughs | The Verge
OpenAI has released results and data it says were generated by a new AI model, resolving many long-standing open mathematics problems.
