😂 “LLMs não são IA” Isso é apenas mudança de critério. A IA está resolvendo problemas em matemática que permaneceram sem solução por humanos por décadas. Outros pontos, dignos de discussão. Problema de Erdős #1196: Em abril de 2026, o GPT-5.4 Pro resolveu essa conjectura da teoria dos números em aproximadamente 80 minutos, usando a função de von Mangoldt, uma estratégia anteriormente não considerada por humanos. Conjectura de Jacobian: Em julho de 2026, o matemático Levant Alpöge usou o Claude Fable 5 da Anthropic para encontrar um contraexemplo a esse problema de 87 anos, marcando o problema mais complexo resolvido por IA até hoje. Conjectura de Dinitz-Garg-Goemans: Também em julho de 2026, o ChatGPT 5.6 Pro refutou essa conjectura da teoria dos grafos de 30 anos usando apenas quatro prompts simples.