A mais recente divulgação de matemática da OpenAI chegou como espetáculo e teste de estresse: uma enorme alegada onda de progresso de um modelo de fronteira não lançado, agora entregue a uma área construída em torno de uma verificação lenta e rigorosa.

A tensão vinha crescendo desde setembro, quando a OpenAI disse que seu sistema havia “resolvido mais de 100 problemas em aberto de longa data na maioria das áreas da matemática.”¹ O enquadramento público da empresa foi assumidamente abrangente. Em uma publicação compartilhada pela executiva da OpenAI Lilian Weng, a empresa disse que estava divulgando “uma ampla gama de novos resultados matemáticos” produzidos por um modelo de fronteira interno e desenvolvidos com aconselhamento de um grupo independente de matemática e IA.Lilian Weng (lilianweng)² Greg Brockman caracterizou a ambição mais ampla como a “aceleração da descoberta científica e a melhoria da qualidade de vida para todos.”Greg Brockman (gdb)³

Então veio a divulgação concreta de terça-feira: 722 manuscritos abrangendo 372 famílias de resultados, com soluções para “centenas” de questões em aberto, segundo o Grupo Consultivo sobre Matemática e Inteligência Artificial, ou AGMAI.¹ Outro relato descreveu descobertas sobre mais de 300 problemas em aberto como uma “quantidade impressionante de progresso matemático” que deixou matemáticos tentando compreender a divulgação.⁴

A OpenAI forneceu alguns resumos de raciocínio, estimativas de uso computacional e números sobre problemas tentados; afirma que o resultado médio exigiu o equivalente a três horas de reflexão do ChatGPT Pro. A empresa está publicando por meio de um repositório no GitHub com protocolos de revisão e citação.¹

Mas as recomendações da AGMAI tornam mais nítido o outro lado da história. O grupo instou os laboratórios a publicar prontamente por meio de canais acadêmicos estabelecidos, quando possível, e a divulgar o modelo, os prompts e os custos computacionais. De forma mais incisiva, disse às empresas que “se abstenham de tratar a divulgação de resultados matemáticos como veículos de marketing para promover seus modelos.”¹ Os resultados podem ser extraordinários; a questão agora é se sua validação conseguirá acompanhar o ritmo.