A Astra da OpenAI acabou de resolver 10 problemas matemáticos de longa data. O novo modelo multiagente resolveu um conjunto de problemas matemáticos abertos difíceis que permaneceram sem prova por décadas — e depois formalizou as provas em Lean. Sam Altman apresentou a Astra em Washington esta semana. Ela está programada para se tornar o primeiro modelo a passar por um novo processo de aprovação governamental antes do lançamento. O detalhe mais impressionante: resolver todos os 10 problemas utilizou menos de US$ 2.000 em tokens ao preço de Sol. A OpenAI também testou outros problemas difíceis, alguns ainda não resolvidos — mas o potencial de escalabilidade é enorme. Isso poderia marcar uma nova era para a descoberta matemática assistida por IA?