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, a GPT-5.6 Sol Ultra da OpenAI implementou 64 subagentes para fornecer uma prova formal da Conjectura do Duplo Cobertor do Ciclo — um problema matemático proposto há cerca de 50 anos — em menos de uma hora. A OpenAI publicou o prompt e a prova na íntegra e disponibilizou em open-source uma versão formalizada em Lean. O código passou na verificação através do kernel do Lean. No entanto, este continua a ser o resultado publicado pela OpenAI; a comunidade matemática ainda não concluiu a revisão independente por pares, pelo que a prova ainda não é oficialmente reconhecida como uma solução definitiva.
Aviso legal: As informações contidas nesta página podem provir de fontes externas e têm caráter meramente informativo. Não refletem os pontos de vista nem as opiniões da Gate e não constituem qualquer tipo de aconselhamento financeiro, de investimento ou jurídico. A negociação de ativos virtuais envolve um risco elevado. Não se baseie exclusivamente nas informações contidas nesta página ao tomar decisões. Para mais detalhes, consulte o Aviso legal.
Comentar
0/400
Nenhum comentário