Inteligencia IAJul 10, 2026Inteligencia IA
Artigo
O GPT-5.6 Sol Ultra da OpenAI produziu uma prova para a conjectura matemática 'Cycle Double Cover Conjecture' de décadas.
Isso destaca a crescente capacidade dos modelos de IA para lidar com problemas científicos complexos, mas também levanta questões sobre a verificação de tais provas geradas por IA.
Editorial Data Cube AIFonte: Hacker News
01
Brief da fonte
O GPT-5.6 Sol Ultra da OpenAI produziu uma prova para a conjectura matemática 'Cycle Double Cover Conjecture' de décadas. Isso destaca a crescente capacidade dos modelos de IA para lidar com problemas científicos complexos, mas também levanta questões sobre a verificação de tais provas geradas por IA.
02