A OpenAI solucionou dez problemas de matemática de longa data com um modelo avançado ainda não lançado, o Astra, segundo revelou o The Verge. A lista inclui questões abertas há décadas e deixou matemáticos como o medalhista Fields James Maynard em meio a um “exame de consciência” sobre o futuro da disciplina.
As soluções abrangem áreas como empacotamento de esferas em mais de três dimensões, códigos de correção de erros, redes complexas, teoria quântica dos jogos e a existência de grupos não sóficos. A empresa divulgou mais de 250 páginas de artigos e certificou cada resultado com o software Lean, usado para verificar provas matemáticas.
Crédito em disputa
O anúncio gerou uma controvérsia sobre a atribuição de mérito. Pesquisadores disseram que a OpenAI minimizou as contribuições de Andreas Thom e Gábor Kun, cujos trabalhos recentes embasaram a solução sobre grupos não sóficos. Kun, do Instituto Alfréd Rényi de Matemática, na Hungria, classificou a linguagem original do anúncio como “bastante cômica” e “descuidada”.
Após a publicação, a OpenAI voltou a falar com Kun e revisou o texto. “Atualizamos a linguagem para refletir melhor a pesquisa anterior sobre a qual esses resultados se baseiam”, afirmou o porta-voz Laurance Fauconnet. Kun disse que passou a se perguntar se erros semelhantes poderiam ter ocorrido nos demais resultados.
Temores para o futuro
Matemáticos relataram uma “transição de fase” na área nos últimos seis meses, com avanços reais produzidos por IA. Ao mesmo tempo, cresceram as preocupações com custos, acesso e a influência de empresas privadas em uma disciplina tradicionalmente aberta e de baixo custo.
A OpenAI estimou em cerca de US$ 2 mil o custo de gerar as dez soluções com o modelo Sol, valor que pesquisadores consideram alto para a realidade da matemática acadêmica. Em junho, matemáticos publicaram a Declaração de Leiden, com princípios para o uso responsável de IA, assinada por mais de 3,4 mil pessoas e endossada pela União Matemática Internacional.
A incerteza atinge principalmente pesquisadores em início de carreira. Muitos problemas que a IA começa a resolver são os mesmos que estudantes de pós-graduação usam para desenvolver suas habilidades, e alguns já se dizem “realmente assustados”, segundo o matemático Francesco Fournier-Facio, da Universidade de Cambridge.
Para James Maynard, da Universidade de Oxford, os resultados de Astra são “muito impressionantes”, mas não têm, em sua avaliação inicial, o nível conceitual de uma Medalha Fields. “Ainda é cedo para dizer”, afirmou. “Às vezes é preciso tempo e perspectiva para perceber que há uma ideia fundamentalmente nova.”
