IA da Anthropic prova conjectura de Aaronson-Ambainis, aberta desde 2008
文章分类: Ciência
Um sistema de pesquisa da Physical Superintelligence, com um modelo não público da Anthropic, encontrou uma prova da conjectura de Aaronson-Ambainis, aberta desde 2008. A prova foi verificada pelo assistente Lean, mas ainda não passou por revisão por pares.
阅读全文