OpenAI ha publicat una gran col·lecció d'investigació matemàtica produïda per un model intern de la fronteraA, incloent-hi treball en problemes que han desafiat matemàtics professionals durant anys.
La companyia va anunciar l'alliberament el 6 d'octubre dient que els resultats cobreixen un ampli abast de matemàtiques i que es publiquen obertament per a l'escrutini d'uns investigadors.
La col·lecció pública conté 722 manuscrits organitzats en famílies amb resultats de 372 relacionades, segons la comunitat desenvolupador de OpenAI. El treball va sorgir d'una avaluació que conté aproximadament 4.000 problemes matemàtics.
El Verge informa que la col·lecció té centenars de resultats matemàtics generats per un model de frontera sense poder. Però la publicació no implica que s'hagi de tractar immediatament com a fet matemàtic establert. Els investigadors hauran d'examinar les proves i determinar la importància i la novetat dels resultats individuals.
Una característica particularment significativa és que OpenAI ha proporcionat formalitatcions de moltes proves usant Lean, un llenguatge de programació que permet comprovar les proves matemàtiques per ordinador. L'empresa diu que s'afegiran formals addicionals al llarg del temps.
ObreAI també ha revelat una mesura sorprenent de la informàtica involucrada. De mitjana, cada resultat requereix un càlcul equivalent a aproximadament tres hores de ChatGPT Intenta pensar usant el model intern.
La llibertat segueix cada cop més dramàtica reclamació sobre la capacitat de la IA per contribuir a les matemàtiques. En setembre, OpenAI va dir que el mateix esforç d'investigació més ampli havia resolt més de 100 problemes oberts del temps, que va demanar a l'empresa que treballés amb un grup de matemàtics prominents sobre com aquestes descobertes s'haurien de revisar i comunicar-se.
Aquest grup assessor inclou matemàtics de les institucions, incloent-hi Stanford, Harvard, Oxford, Cambridge, Berkeley i l'Institut per a l'educació avançada. El seu paper no és simplement per donar suport al treball de l'OpenAI, sinó per assessorar independentment del significat, dels estàndards de recerca i la revelació responsable.
Ara la pregunta més gran va més enllà si l'AI pot respondre preguntes matemàtiques difícils.
Si els matemàtics independents confirmen les porcions significatives d'aquest treball, la nova frontera pot ser si l'AI pot descobrir matemàtiques rutinàriament que els humans no en saben res.