OpenAI prepara publicação de centenas de soluções matemáticas no GitHub

A OpenAI informou a matemáticos que pretende publicar na terça-feira (6) centenas de soluções para problemas ainda não resolvidos no GitHub, após afirmar que um modelo interno resolveu mais de cem questões matemáticas históricas.

Em agosto, a empresa reuniu cerca de 40 matemáticos para discutir como agir caso a inteligência artificial ultrapassasse as capacidades humanas na área. Participantes disseram que a OpenAI mencionou ter resolvido centenas de problemas antigos, mas afirmou que não divulgaria todas as soluções de uma só vez.

A matemática Bryna Kra, da Universidade Northwestern, afirmou à Wired que os resultados deveriam ser apresentados em artigos científicos, permitindo que outros pesquisadores verificassem, compreendessem e utilizassem o trabalho. Segundo ela, a recomendação foi ignorada.

A OpenAI também mobilizou milhares de agentes para tentar resolver um problema do Prêmio Millennium, de acordo com a matéria. O matemático Tristan Buckmaster acusou a empresa de se antecipar a um trabalho desenvolvido por ele em colaboração com Levent Alpöge, funcionário da Anthropic.

Matemáticos ouvidos pela Wired criticaram a divulgação de resultados por publicações em blogs e redes sociais, em vez de artigos científicos. Em resposta ao avanço das provas auxiliadas por máquinas, pesquisadores criaram ferramentas como o Hexagon, repositório de materiais produzidos principalmente por inteligência artificial, e o Palomar, registro de demonstrações matemáticas verificadas por máquinas.

Por que importa: A publicação de centenas de resultados pode acelerar a pesquisa matemática, mas também expõe problemas sobre verificação, autoria e reconhecimento de trabalhos anteriores, afetando a confiança dos pesquisadores nas descobertas produzidas por inteligência artificial.

Reportagem original apurada por Wired.