Astra da OpenAI: IA supera capacidades humanas na resolução de problemas matemáticos inéditos

A OpenAI revelou que seu modelo Astra, ainda não lançado, conseguiu algo impressionante: solucionar dez problemas matemáticos em aberto. Não estamos falando de exercícios de livro didático, mas sim de questões complexas que desafiam matemáticos há anos. O custo para essas soluções, usando as taxas da API do modelo Sol, foi de aproximadamente 2.000 dólares. A inteligência artificial, depois de encontrar as soluções, as formalizou usando um certificado Lean, o que garante a verificabilidade dos resultados. Essa capacidade de formalização e de resolução de problemas novos posiciona a IA em um patamar que a coloca, em matemática avançada, da mesma forma que computadores tradicionais se destacam em matemática básica: com performance super-humana.

A comunidade tech debate agora se Astra representa um verdadeiro

A capacidade de uma IA como Astra resolver problemas matemáticos em aberto tem implicações enormes. Primeiro, acelera a descoberta científica, derrubando barreiras que exigiriam anos ou décadas de pesquisa humana. Isso abre caminho para avanços em outras áreas, desde a física teórica até a criptografia pós-quântica, onde alguns dos problemas resolvidos têm aplicação direta.

Em segundo lugar, a verificabilidade formal das soluções, via certificados Lean, é um divisor de águas. Isso mitiga o ceticismo sobre a