OpenAI Astra resolve 10 problemas históricos da matemática
Quando a OpenAI revelou que seu modelo avançado Astra havia produzido soluções para 10 problemas matemáticos que desafiavam acadêmicos há décadas, a comunidade matemática entrou em um turbilhão de emoções contraditórias. Para James Maynard, professor da Universidade de Oxford e vencedor da prestigiosa Medalha Fields, o momento desencadeou uma profunda “busca interior” sobre o futuro de sua disciplina.
“Há entusiasmo palpável com a perspectiva de acelerar as descobertas matemáticas — mas também apreensão e, em alguns casos, desespero, sobre o que isso pode significar para as pessoas que dedicaram suas vidas a essa busca, e para as gerações de futuros matemáticos que as seguirão”, relatou Maynard ao The Verge. Poucos duvidam que uma transformação profunda já está em andamento.
De esferas a códigos: a amplitude dos resultados
Os problemas resolvidos pelo Astra cobrem um espectro impressionante da matemática. Um dos avanços diz respeito a como empacotar esferas em mais de três dimensões — um problema com implicações diretas para a eficiência da codificação e transmissão de dados. Outro empurrou os limites dos códigos corretores de erro, essenciais para recuperar informações de sinais ruidosos em telecomunicações e armazenamento digital.
Um terceiro resultado resolveu duas questões que estavam em aberto há anos sobre quão complexas as redes conectadas podem se tornar antes que padrões estruturais emerjam. A lista inclui ainda avanços em teoria quântica de jogos e na busca por alvos em grades de alta dimensionalidade, com implicações para técnicas usadas em cibersegurança pós-quântica.
A controvérsia dos grupos não-sóficos
O resultado que mais chamou atenção — e polêmica — foi sobre a existência de grupos não-sóficos, estruturas matemáticas infinitas que, grosso modo, não podem ser aproximadas por estruturas finitas. A questão estava em aberto há décadas.
O problema não foi apenas matemático. Francesco Fournier-Facio, matemático da Universidade de Cambridge, afirmou ao The Verge que a OpenAI minimizou as contribuições dos pesquisadores Andreas Thom e Gábor Kun, cujos trabalhos recentes ajudaram a pavimentar o caminho para o resultado. A controvérsia levanta uma questão espinhosa: quanto crédito pertence à IA e quanto aos matemáticos humanos cujo trabalho ela utilizou como base?
Como a IA “pensa” matematicamente
Diferente dos modelos generativos que produzem texto e imagens, o Astra aprende padrões e conexões a partir da vasta quantidade de material em que foi treinado e os utiliza para criar algo novo. Aplicado à matemática, isso significa combinar resultados, métodos e ferramentas conhecidos de maneiras inéditas para atacar um problema — às vezes traçando conexões entre campos díspares ou resgatando conceitos enterrados na literatura acadêmica.
Para matemáticos como Maynard, o dilema vai além do crédito. A matemática sempre foi uma disciplina que avança lentamente, construída sobre o trabalho meticuloso de gerações. O que acontece quando uma IA pode comprimir décadas de progresso em dias?
O que está em jogo para o Brasil
O Brasil tem uma tradição matemática respeitada internacionalmente, com instituições como o IMPA (Instituto de Matemática Pura e Aplicada) produzindo pesquisa de ponta e vencedores da Medalha Fields como Artur Avila. Ferramentas como o Astra podem tanto acelerar a pesquisa brasileira quanto levantar questões sobre o papel do matemático humano em um futuro onde a IA resolve os problemas mais rapidamente do que qualquer equipe.
O que está claro é que a matemática — como a programação, a tradução e tantas outras áreas — está entrando em território desconhecido. A pergunta não é mais se a IA vai transformar a disciplina, mas como e para quem.
Descubra mais sobre noticiAI
Assine para receber nossas notícias mais recentes por e-mail.
