A Anthropic anunciou recentemente que seu Claude AI concluiu independentemente, em 11 dias, uma prova formal do Último Teorema de Fermat, gerando cerca de 13 milhões de linhas de código verificáveis linha por linha por máquina, já validadas pelo matemático Kevin Buzzard. O trabalho foi conduzido em paralelo por dezenas de agentes Claude, utilizando a ferramenta de colaboração Prove2Me, desenvolvida pelo grupo de Peng Tian, para coordenar tarefas por meio de uma lista de tarefas em tempo real; cerca de 7% das linhas da prova vieram de tentativas anteriores incorretas, e o processo formal utilizou a linguagem Lean, permitindo que cada passo lógico fosse verificado por computador.
xiyuCompartilhar
Fonte:Mostrar original
Aviso legal: as informações nesta página podem ter sido obtidas de terceiros e não refletem necessariamente os pontos de vista ou opiniões da KuCoin. Este conteúdo é fornecido apenas para fins informativos gerais, sem qualquer representação ou garantia de qualquer tipo, nem deve ser interpretado como aconselhamento financeiro ou de investimento. A KuCoin não é responsável por quaisquer erros ou omissões, ou por quaisquer resultados do uso destas informações.
Os investimentos em ativos digitais podem ser arriscados. Avalie cuidadosamente os riscos de um produto e a sua tolerância ao risco com base nas suas próprias circunstâncias financeiras. Para mais informações, consulte nossos termos de uso e divulgação de risco.