IA Soluciona Problema
O novo modelo de inteligência artificial da OpenAI, GPT-5.6 Sol Ultra, produziu uma prova da Conjectura da Cobertura Dupla de Ciclo utilizando 64 subagentes trabalhando em paralelo. O matemático Thomas Bloom elogia a prova, mas critica a falta de citações. A OpenAI anunciou que o GPT-5.6 Sol Ultra gerou uma prova completa da chamada Conjectura […]