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 OneMillionAI, 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
GateNews·07-11 01:29
