Claro, o GPT-5 não está a resolver a Hipótese de Riemann nem a fazer avanços no Programa de Langlands. Mas aqui está a questão—há um ano, a noção de qualquer LLM sequer tentar provas para problemas matemáticos não resolvidos pareceria ridícula. Agora estamos a ver estes modelos a enfrentar desafios de complexidade pequena a média. Essa mudança por si só diz-lhe que algo fundamental mudou.