GPT-5.6 chama 64 Agentes para apresentar prova do Teorema de 50 anos

O GPT-5.6 Sol Ultra da OpenAI chamou 64 subagentes e, em menos de 1 hora, forneceu uma prova para a "conjectura de cobertura dupla cíclica". A OpenAI divulgou o prompt completo e o texto da prova, além de liberar uma versão formalizada em Lean, cujo código já foi verificado pelo núcleo do Lean. Atualmente, a comunidade matemática ainda não completou a revisão independente, portanto, este resultado só pode ser chamado temporariamente de "prova apresentada", e não pode ser diretamente considerado uma "solução formal".

Este conteúdo é fornecido apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou tributário. Quaisquer eventos, recompensas, promoções online ou informações relacionadas mencionadas neste documento não devem ser consideradas uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar qualquer outra transação com criptoativos. Criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar conforme a região. É de sua responsabilidade garantir que sua participação esteja em conformidade com as leis e regulamentações locais aplicáveis.