Anthropic's Claude criou com sucesso a primeira demonstração completa verificada por computador do Último Teorema de Fermat em 11 dias usando Lean, enquanto a OpenAI anunciou planos para desenvolver um investigador de IA automatizado até março de 2028.
- Claude provou 29.500 teoremas intermediários e gerou 13 milhões de linhas de código para a verificação formal.
- A OpenAI visa melhorar a eficiência da pesquisa com supervisão humana para garantir alinhamento e segurança.
- GPT-6 Astra demonstrou capacidades de manipulação robótica, completando uma tarefa de tigela em 19 dos 20 ensaios.
- Grok Imagine Video 1.5 agent entrega narrativas de maior qualidade usando Image 2.0.
Estes desenvolvimentos destacam o papel crescente da IA na formalização matemática complexa e nos fluxos de trabalho de pesquisa autônomos.