Astra da OpenAI resolve 10 grandes problemas de matemática, mas levanta preocupações profundas

Em 1º de agosto, a OpenAI publicou uma postagem em seu blog afirmando que uma versão interna do Astra, seu modelo de linguagem de próxima geração, resolveu ou avançou decisivamente dez problemas em aberto na matemática e na ciência da computação teórica. Os problemas abrangem tópicos avançados como geometria de alta dimensão, teoria de codificação, complexidade de circuitos aritméticos, teoria de grupos, álgebras de operadores, complexidade quântica, criptografia baseada em reticulados e combinatória extremal. A OpenAI disse que todo o feito custou cerca de US$ 2.000 em tokens por problema, com resultados certificados usando o assistente de prova formal Lean. O anúncio gerou entusiasmo e preocupação na comunidade matemática. O pesquisador Jay Cummins observou que, pela primeira vez, uma IA resolveu um problema em que ele trabalhou pessoalmente por anos, tornando a derrota difícil de aceitar. O investidor Nicolas Bustamante questionou o futuro da Medalha Fields, perguntando quem recebe o crédito quando os problemas estão a um prompt de distância. Notavelmente, o medalhista Fields Jacob Tsimerman pausou sua cátedra na Universidade de Toronto para se juntar à OpenAI no final de julho, focando não em capacidades matemáticas, mas em segurança de IA. Terence Tao, outro medalhista Fields, alertou sobre uma mudança perigosa: com a geração automatizada de provas por IA, a matemática passa da escassez para a abundância, mas os pesquisadores não conseguem acompanhar a verificação e a 'digestão' das provas. Ele comparou as provas brutas de IA a 'carcaças de animais misteriosos' despejadas em um piquenique comunitário, onde ninguém tem tempo de limpá-las e cozinhá-las. Tsimerman também lamentou o aumento do 'lixo matemático' de usuários sem expertise que submetem resultados brutos do ChatGPT aos laboratórios. Ambos alertaram que soluções formais para conjecturas famosas podem matar o financiamento e o interesse nesses tópicos, mesmo que nenhum ser humano entenda as soluções, levando a uma disciplina que avança sem compreensão.