Avanços da OpenAI em matemática

A OpenAI anunciou que um novo modelo interno resolveu mais de 100 problemas matemáticos não resolvidos, incluindo o problema de Navier-Stokes. A pesquisa envolveu 10.000 agentes de IA e foi concluída em apenas 24 dias.

Devido à rápida evolução, a OpenAI formou um grupo consultivo independente de matemáticos. O objetivo é discutir como publicar e validar os resultados gerados pela IA para auxiliar a comunidade científica.

O modelo foi desenvolvido aplicando reforço em larga escala a um sistema já pré-treinado. Durante os 24 dias, agentes de IA foram atualizados continuamente, permitindo que o modelo aprendesse com suas próprias tentativas de resolução.

Antes deste marco, a OpenAI já havia demonstrado capacidades em álgebra e geometria. O progresso incluiu o uso de provas formais Lean, com custos computacionais estimados em 2.000 dólares via API.

A OpenAI apresentou um contraexemplo para o problema de Navier-Stokes, demonstrando que a velocidade do fluido pode divergir em tempo finito. O modelo construiu um fluxo onde a energia permanece finita enquanto a velocidade aumenta.

Cerca de 10.000 agentes colaboraram, com o Codex organizando resultados intermediários. A solução foi encontrada em 88 horas, com mais 17 horas dedicadas à verificação formal via Lean.

Relatos indicam que a OpenAI está próxima de resolver a Conjectura de Hodge. Embora não haja anúncio oficial, a empresa estaria focando em diferentes áreas matemáticas simultaneamente.

Especula-se sobre o uso de um modelo chamado 'Bel', mas a OpenAI refere-se apenas a um 'novo modelo interno'. A empresa afirma que este sistema é significativamente mais potente que o Astra.

A OpenAI descreve o modelo como um 'estagiário de pesquisa automatizado'. A capacidade de explorar provas e corrigir erros pode ser estendida para codificação e design de experimentos científicos.

Especialistas como Jay Cummings e Mark Kissin enfatizam a importância de medir a taxa de sucesso em relação ao esforço. O novo modelo superou o Astra em eficiência sob condições similares.

O grupo consultivo, que inclui matemáticos renomados, avaliará como divulgar as descobertas. O foco é garantir que a comunidade acadêmica possa validar e utilizar essas novas ferramentas de pesquisa.

Há expectativa sobre se as técnicas de pesquisa multi-agente serão integradas aos produtos da OpenAI. O evento DevDay, em 29 de setembro, pode revelar mais sobre essas ferramentas para desenvolvedores.

A longo prazo, espera-se que pesquisadores externos utilizem milhares de agentes para resolver problemas complexos. A democratização desse método de pesquisa pode acelerar drasticamente a inovação científica.

A OpenAI disponibilizou detalhes adicionais sobre o grupo consultivo de matemática e IA em seu portal oficial.