PSI usou modelo não lançado da Anthropic em possível solução de problema quântico
🎧 Ouça esta notícia
David Turturean, pesquisador da Physical Superintelligence (PSI), usou o Fable 5.2, modelo não lançado da Anthropic, para produzir uma prova relacionada à conjectura de Aaronson-Ambainis, que trata da capacidade de computadores quânticos resolverem problemas mais rapidamente que computadores clássicos. Scott Aaronson, um dos pesquisadores que formularam o problema, disse ao TechCrunch que acredita que a prova está correta porque ela foi formalizada no Lean e explicada por pesquisadores experientes, embora ele ainda não a compreenda completamente. O resultado parece fechar uma das possíveis rotas para computadores quânticos resolverem certos problemas difíceis rapidamente, mas não todas.
A PSI pretende transformar sistemas de IA especializados, com ferramentas, memória e simulações, em um negócio de descoberta científica. Por enquanto, sua receita vem da otimização de data centers; a estratégia de longo prazo é converter avanços em física teórica em tecnologias. O CEO Matt Pines disse ao TechCrunch que validar resultados de física com experimentos continua sendo mais difícil do que trabalhar com matemática formalizada.
Por que importa · interpretação editorial
O caso sugere que modelos ainda não lançados podem contribuir para matemática formalizada, mas a avaliação de Aaronson mantém a validação humana como parte importante do processo. A distinção entre provar um resultado em Lean e confirmá-lo experimentalmente também delimita o alcance prático dessa abordagem para a descoberta científica.
Fontes
Pesquisa