OpenAI desenvolve Astra, um novo modelo de IA que levanta preocupações
OpenAI avança na matemática com a IA Astra, desafiando limites estabelecidos.
Em maio de 1997, Garry Kasparov enfrentou uma derrota marcante contra o Deep Blue, que o levou a declarar que a competição entre homem e máquina estava apenas começando. Décadas depois, um novo desafio surge, desta vez no campo da matemática.
A OpenAI apresentou a Astra, uma versão interna de seu modelo de inteligência artificial generativa, que promete revolucionar a resolução de problemas matemáticos. Este modelo foi capaz de resolver ou fazer avanços significativos em dez problemas que estavam estagnados por mais de uma década.
Os problemas abordados pela Astra variam desde empacotamento de esferas em alta dimensão até criptografia baseada em rede. O custo para resolver esses desafios foi inferior a $2.000 em tokens, utilizando a API GPT-5.6 Sol.
De acordo com especialistas da OpenAI, a Astra foi utilizada em conjunto com supervisão humana em várias etapas do processo. Enquanto a IA gerava argumentos matemáticos, matemáticos experientes os transformavam em manuscritos e formalizavam os argumentos em certificados Lean, um sistema que permite a verificação automática de provas.
Um dos resultados mais notáveis foi a refutação dos limites exponenciais, um problema significativo na teoria de Ramsey. Este resultado em particular surpreendeu muitos especialistas, indicando o potencial da IA em desafiar conceitos tradicionais na matemática.
Embora alguns pesquisadores tenham celebrado os avanços, outros expressaram cautela. O matemático Bharath Ramsundar alertou sobre a necessidade de revisão humana para validar os resultados apresentados pela IA. Além disso, especialistas sugeriram que seria essencial publicar também os problemas que não foram resolvidos, para uma avaliação mais precisa das capacidades do sistema.
A discussão sobre os resultados gerados pela Astra levanta questões importantes sobre a interação entre inteligência artificial e matemática, e se a IA pode realmente contribuir para a resolução de problemas complexos de forma confiável.
