GPT-5.6 com 64 agentes, dá uma prova da hipótese de 50 anos em uma hora

robot
Geração de resumo em curso
De acordo com as observações de monitorização “Beating”, a OpenAI afirma que o GPT-5.6 Sol Ultra chama 64 subagents, em menos de 1 hora, para apresentar uma prova de uma proposta de cerca de 50 anos conhecida como “conjectura de dupla cobertura cíclica”.

A OpenAI já publicou o prompt completo e o texto integral da prova, e disponibilizou uma versão formalizada em Lean em código aberto. O código relevante foi verificado pelo kernel do Lean. No entanto, este ainda é um resultado publicado pela OpenAI. A comunidade matemática ainda não concluiu uma revisão independente, pelo que, por agora, só se pode dizer “apresentar uma prova”, não se pode dizer “resolver oficialmente”.
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
  • Recompensa
  • Comentar
  • Republicar
  • Partilhar
Comentar
Adicionar um comentário
Adicionar um comentário
Nenhum comentário
  • Fixado