OpenAI spune că noul său model de raționament a produs o demonstrație matematică originală care infirmă o celebră conjectură nerezolvată de geometrie, propusă pentru prima dată de Paul Erdős în 1946. Dacă ți s-au ridicat sprâncenele, nu ești singurul – nu este prima dată când OpenAI face o astfel de afirmație îndrăzneață. Acum șapte luni, fostul VP Kevil Weil a postat pe X că „GPT-5 a găsit soluții pentru 10 (!) probleme Erdős nerezolvate anterior și a făcut progrese pe alte 11.” Spoiler: GPT-5 nu le-a rezolvat de fapt; doar a redescoperit soluții existente deja în literatură. Au urmat ironii din partea rivalilor precum Yann LeCun și CEO-ul Google DeepMind, Demis Hassabis, iar Weil și-a șters prompt postarea prematură.
De data aceasta, OpenAI spune că nu a repetat aceeași greșeală. Alături de anunț, compania a publicat comentarii însoțitoare de la matematicienii Noga Alon, Melanie Wood și Thomas Bloom – care întreține site-ul Erdos Problems și a numit anterior postarea lui Weil „o reprezentare dramatic greșită.” „Timp de aproape 80 de ani, matematicienii au crezut că cele mai bune soluții posibile arată aproximativ ca niște grile pătrate,” a postat OpenAI pe X. „Un model OpenAI a infirmat acum această credință, descoperind o familie complet nouă de construcții care performează mai bine.”
Compania susține că aceasta marchează „prima dată când AI a rezolvat autonom o problemă deschisă proeminentă, centrală pentru un domeniu al matematicii.” Demonstrația a venit de la un nou model de raționament de uz general, nu de la un sistem special conceput pentru matematică – ceea ce OpenAI spune că este semnificativ deoarece înseamnă că AI poate acum să mențină lanțuri lungi și dificile de raționament și să conecteze idei între domenii. Se spune că asta are implicații pentru biologie, fizică, inginerie și medicină. „AI ne ajută să explorăm mai pe deplin catedrala matematicii pe care am construit-o de-a lungul secolelor,” a spus Bloom. „Ce alte minuni nevăzute așteaptă în culise?”