Era maio de 1997 e Garry Kasparov sofreu a derrota definitiva contra o Deep Blue. O homem considerado até então o melhor jogador de xadrez da história não estava apenas triste e envergonhado: ele começou uma guerra. Na coletiva de imprensa ele disse: "Que ninguém interprete isso como uma derrota definitiva do homem diante da máquina. A competição está apenas começando."
Agora parece que temos outro por perto. Uma que não é mais sobre xadrez, mas sobre matemática.
A OpenAI revelou a Astra, uma versão interna de seu novo modelo de IA generativa. A empresa também fez isso de forma grandiosa, afirmando que esse modelo conseguiu resolver ou avançar na resolução de dez problemas matemáticos que não eram avançados há pelo menos uma década, "e, na maioria dos casos, por muito mais tempo".
Os problemas vão desde empacotamento de esferas de alta dimensão até criptografia baseada em rede, e todos foram resolvidos por uma versão interna da Astra, com um custo total inferior a $2.000 em tokens pelo preço da API GPT-5.6 Sol.
Conforme descrito por autoridades da OpenAI, a Astra foi combinada com supervisão humana em diferentes fases. Enquanto a Astra gerava argumentos matemáticos, especialistas nessa área os convertiam em manuscritos e depois formalizavam cada argumento em um certificado Lean - um sistema que permite a verificação automática de que uma prova está correta. A empresa também publicou um documento adicional gerado por sua IA que reconstrói todo o processo de ...
Matérias relacionadas
As duas configurações invisíveis que determinam se a sua IA acerta ou sai dos trilhos
-s15kuqjq4z1g.jpg)
