O GPT-5.6 da OpenAI usa 64 agentes para provar uma conjectura matemática de 50 anos em menos de uma hora

De acordo com OneMillion_AI, o GPT-5.6 Sol Ultra da OpenAI implantou 64 subagentes para fornecer uma prova formal da Conjectura do Ciclo de Duplo Cobertura — um problema matemático proposto há cerca de 50 anos — em menos de uma hora. A OpenAI publicou o prompt completo e a prova na íntegra, além de disponibilizar uma versão formalizada em Lean em código aberto. O código passou pela verificação via kernel do Lean. Ainda assim, este permanece como um resultado publicado pela OpenAI; a comunidade matemática ainda não concluiu uma revisão independente por pares, portanto a prova ainda não é oficialmente reconhecida como uma solução definitiva.
Isenção de responsabilidade: as informações nesta página podem ter origem em fontes terceiras e servem apenas como referência. Não representam as opiniões da Gate e não constituem orientação financeira, de investimentos ou jurídica. A negociação de ativos virtuais envolve alto risco. Não tome decisões baseando-se apenas nas informações desta página. Para mais detalhes, consulte a Isenção de responsabilidade.
Comentário
0/400
Sem comentários