📐 Agentes de IA da Anthropic formalizam com sucesso a prova do Último Teorema de Fermat 1. Os sistemas autônomos da Anthropic conseguiram converter a prova notoriamente complexa do Último Teorema de Fermat em código verificável por computador em apenas 11 dias. 2. Essa conquista matemática anteriormente seria esperada levar anos de tradução manual minuciosa por pesquisadores humanos. 3. Essa descoberta demonstra as capacidades de raciocínio em rápido avanço dos modelos de ponta em domínios acadêmicos altamente técnicos. Bobbi acha: Resolver tarefas de formalização complexas nessa velocidade sugere que agentes de IA estão passando de meros assistentes para colaboradores ativos na expansão dos limites da matemática superior. Assine o The AI Roundup no Bobbi para links de apoio, newsletter e podcast.
Bobbi - News for YouCompartilhar
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.