A OpenAI revelou que o seu modelo interno Astra produziu novos resultados para 10 problemas de matemática e ciência da computação teórica que estavam em aberto há pelo menos uma década, publicando provas verificáveis por máquina para cada caso. Além disso, a empresa indicou um custo de cerca de 2000 dólares em tokens, aos preços atuais da API, para resolver os 10 problemas.
Ainda assim, este avanço não significa que a IA esteja pronta para substituir o trabalho científico humano em larga escala. Na prática, o valor do Astra está sobretudo em acelerar a descoberta e a verificação de demonstrações formais, enquanto a interpretação, a validação contextual e a atribuição de mérito continuam a depender de investigadores humanos.
Impacto, cautela e implicações futuras para OpenAI
Os resultados abrangem áreas como empacotamento de esferas em altas dimensões, teoria da codificação, criptografia, combinatória extrema e teoria dos jogos quânticos. No entanto, especialistas alertaram para alguma prudência: Gary Marcus considerou o anúncio “impressionante, mas muito exagerado”, defendendo que a verificação formal em matemática não se traduz automaticamente noutros domínios.
Por outro lado, OpenAI afirma que o Astra ainda não foi lançado publicamente e que pertence a uma família de modelos pensada para coordenar vários agentes em tarefas longas. Entretanto, a comunidade matemática continua a discutir o equilíbrio entre o avanço da IA e a necessidade de transparência, revisão por pares e atribuição correta do trabalho científico.
Fica ainda mais conectado:
- Cibersegurança – Claude Opus 5 apaga acidentalmente uma base de dados
- Google Chrome – IA está a acelerar a encontro de bugs e torna as correções mais rápidas
- Microsoft – Satya Nadella confirma lançamento da super app Copilot este ano
