Revolução na Matemática: IA da OpenAI Soluciona Problemas em Aberto

A OpenAI deu um passo gigante, ou melhor, dez passos, ao anunciar que seu novo modelo de IA resolveu dez problemas matemáticos que estavam em aberto. Esta não é a primeira vez que vemos IAs da OpenAI se aventurando na matemática. O CEVIU News já cobriu, por exemplo, como o GPT-5.4 (xhigh), em março de 2026, solucionou um problema que até então nenhum outro modelo havia conseguido. Mais recentemente, em julho de 2026, noticiamos a ascensão da IA na matemática, com ferramentas gerando contraexemplos e formalizando provas. Este novo feito, contudo, é um divisor de águas por focar em problemas reconhecidamente não resolvidos, empurrando as fronteiras do conhecimento. É um avanço que pode redefinir o papel da inteligência humana na pesquisa científica.

A grande mudança é a escala e o tipo de problema. Anteriormente, as notícias destacavam a capacidade das IAs, como o GPT-5.6 Sol, de resolver