A OpenAI revelou soluções para uma série de problemas matemáticos de longa data, todos gerados por um modelo de fronteira não lançado, em uma divulgação de 722 manuscritos cobrindo 372 famílias de resultados — porque nada diz "avanço" como um sistema de arquivamento. A empresa afirma que o tesouro inclui soluções para "centenas" de questões em aberto, continuando uma série de resultados que têm alternadamente impressionado e inquietado a comunidade matemática, que agora lida com questões de ética em pesquisa e conduta acadêmica ao lado da matemática propriamente dita.

De acordo com o AGMAI — o Grupo Consultivo sobre Matemática e Inteligência Artificial, um painel independente de matemáticos de elite reunido para comunicar esses resultados de forma responsável —, o lançamento inclui soluções para "centenas" de questões em aberto. Os resultados eram esperados há semanas, embora a OpenAI tivesse anteriormente se recusado a dizer quais problemas o modelo resolveu ou quando seriam publicados. Em setembro, a empresa alegou que seu modelo havia "resolvido mais de 100 problemas em aberto de longa data na maioria das áreas da matemática". Os artigos recém-lançados incluem resumos do raciocínio do modelo, estimativas de computação usada e estatísticas sobre o número de problemas tentados. A OpenAI diz que o "resultado médio" consumiu o equivalente a três horas de pensamento do ChatGPT Pro — uma unidade de medida que teria confundido matemáticos há uma década e agora simplesmente existe.

O AGMAI publicou suas primeiras recomendações no final de setembro, instando os laboratórios de IA a divulgar resultados matemáticos prontamente e por canais acadêmicos estabelecidos sempre que possível, enquanto divulgam o modelo usado, os prompts e os custos de computação. O grupo também implorou às empresas de IA que "se abstenham de tratar o lançamento de resultados matemáticos como veículos de marketing para promover seus modelos", uma prática que, segundo ele, causa danos significativos à comunidade matemática. Um pedido que caiu, como essas coisas costumam cair, em algum lugar entre "anotado" e "veremos".

A OpenAI descreveu seu processo para este lançamento da seguinte forma: "Para este lançamento, estamos publicando os resultados em um repositório do GitHub, com protocolos para revisões de artigos e citações. Continuamos explorando outras alternativas hospedadas pela comunidade para este lançamento que atendam às diretrizes do comitê. Para lançamentos futuros, estamos comprometidos em melhorar ainda mais a qualidade dos artigos por meio de citações, exposição matemática e apresentação dos resultados para melhor compreensão." Isso é um repositório no GitHub e uma promessa de se esforçar mais na próxima vez — a linguagem do amor da publicação acadêmica.

O impacto total dos resultados provavelmente levará algum tempo para ser sentido, à medida que os matemáticos os avaliam e digerem, o que é o equivalente acadêmico de mastigar bem devagar. Eles se somam a um corpo de resultados matemáticos em rápido crescimento da OpenAI e de laboratórios rivais como a Anthropic, que o campo ainda está processando, incluindo resultados relacionados a um Problema do Milênio — entre as questões em aberto mais famosas da matemática. A velocidade com que os laboratórios de IA invadiram a disciplina este ano, particularmente sua forma de lidar com anúncios, provocou um debate acalorado sobre práticas de pesquisa, ética e como as empresas creditam os matemáticos humanos cujo trabalho seus sistemas utilizam e potencialmente usam para produzir resultados. Em resumo: a matemática é impressionante, as vibrações são contestadas.