GPT-5.6 cria 64 agentes e, em uma hora, apresenta uma prova de uma estimativa de 50 anos

robot
Geração do resumo em andamento
De acordo com monitoramento de Beating, a OpenAI afirma que o GPT-5.6 Sol Ultra chama 64 subagentes, em menos de 1 hora, para fornecer uma prova da formulação de uma “conjectura de dupla cobertura cíclica” com cerca de 50 anos.

A OpenAI já publicou o prompt completo e o texto integral da prova, além de disponibilizar uma versão formalizada em Lean. O código relacionado já foi verificado pelo kernel do Lean. No entanto, isso ainda é um resultado divulgado pela OpenAI. A comunidade matemática ainda não concluiu uma revisão independente; portanto, por enquanto só é possível dizer “forneceu uma prova”, não “solucionou oficialmente”.
Ver original
Esta página pode conter conteúdo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
  • Recompensa
  • Comentário
  • Repostar
  • Compartilhar
Comentário
Adicionar um comentário
Adicionar um comentário
Sem comentários
  • Fixado