Notícias do CoinDesk: a OpenAI anunciou que o GPT-5.6 SOL Ultra chama 64 subagents, em menos de 1 hora, para apresentar uma prova de uma proposta de 50 anos para a “Conjectura de Dupla Cobertura Cíclica”. A OpenAI publicou o prompt completo e todo o texto da prova, e também disponibilizou em código aberto uma versão formalizada em Lean; o código relacionado já foi verificado pelo kernel do Lean. No entanto, ainda se trata de um resultado publicado pela OpenAI, e a comunidade matemática ainda não concluiu uma revisão independente, então por enquanto só é possível dizer “apresentou uma prova”, não “solucionou oficialmente”.