OpenAI lança soluções para 372 famílias de resultados matemáticos

A OpenAI lançou um lote de 722 manuscritos abrangendo 372 famílias de resultados, que agrupam artigos matemáticos relacionados. A empresa afirma que esses documentos contêm soluções para uma série de problemas matemáticos de longa data produzidos por um modelo de fronteira não lançado. De acordo com o AGMAI, o Advisory Group on Mathematics and Artificial Intelligence, o lançamento inclui soluções para "centenas" de questões em aberto.

Detalhes do Lançamento e Metodologia

Os resultados foram publicados em um repositório no GitHub. A OpenAI diz que o repositório inclui protocolos para revisões de artigos e citações. A empresa também compartilhou formalizações de muitas provas em Lean, uma linguagem de programação que permite que provas matemáticas sejam verificadas por um computador. A OpenAI afirma que atualizará o repositório com mais formalizações à medida que forem obtidas.

Para promover a transparência, a OpenAI está publicando detalhes adicionais sobre como os resultados foram obtidos. Esses detalhes incluem 10 resumos do raciocínio do modelo, estimativas do poder de computação gasto em termos de uso do Pro no ChatGPT e estatísticas sobre o número de problemas tentados. A OpenAI afirma que o "resultado médio" utilizou o equivalente a três horas de raciocínio do ChatGPT Pro.

Recomendações do Grupo Consultivo

O lançamento segue recomendações públicas do AGMAI, um grupo consultivo independente de matemáticos de elite formado para trabalhar na comunicação responsável dos resultados. No final de setembro, o AGMAI instou os laboratórios de IA a liberar os resultados matemáticos prontamente e por meio de canais acadêmicos estabelecidos, quando possível. O grupo também recomendou divulgar detalhes como o nome do modelo usado, prompts e custos de computação.

O AGMAI afirmou que as empresas de IA devem "abster-se de tratar o lançamento de resultados matemáticos como veículos de marketing para promover seus modelos", uma prática que, segundo eles, causa danos significativos à comunidade matemática. A declaração da OpenAI observa que a empresa tem consultado o AGMAI no Institute for Advanced Study para desenvolver as melhores práticas e se baseado em seus conselhos para informar como libera esses resultados.

Planos Futuros e Impacto na Comunidade

A OpenAI diz que está continuando a explorar outras alternativas hospedadas pela comunidade para este lançamento que atendam às diretrizes do comitê. Para lançamentos futuros, a empresa afirma estar comprometida 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.

A empresa também anunciou planos para financiar uma série de workshops, conferências e programas especiais sobre a compreensão dos principais resultados produzidos pela IA. A OpenAI diz que deseja capacitar diretamente os cientistas com capacidades de ponta e está trabalhando para liberar de forma responsável o modelo que produziu esses resultados.

Por que isso importa

O lançamento se soma a um corpo crescente de resultados matemáticos de laboratórios de IA, incluindo a OpenAI e laboratórios rivais como a Anthropic, que o campo ainda está processando. A velocidade com que os laboratórios de IA entraram na disciplina este ano provocou debates sobre práticas de pesquisa, ética e como as empresas creditam os matemáticos humanos. O impacto total dos resultados provavelmente levará tempo para ser sentido, à medida que os matemáticos avaliam e assimilam esses resultados.

Fontes (em inglês)

• theverge.com: OpenAI drops another batch of mathematical breakthroughs | The Verge
• openai.com: Sharing AI progress in mathematics | OpenAI

Tradução feita com IA do artigo original em inglês, revisada automaticamente para dizer o mesmo que o original. As fontes foram verificadas em inglês.