OpenAI publica 372 famílies de resultats matemàtics: què s’ha demostrat de debò?
El vídeo de Dot CSV analitza els manuscrits matemàtics d’OpenAI, les proves en Lean i la reacció de la comunitat. Separem els resultats verificables dels titulars exagerats.