😂 « Les LLM ne sont pas de l’IA » — C’est simplement un déplacement des objectifs. L’IA résout des problèmes en mathématiques qui restaient insolubles pour les humains depuis des décennies. D’autres points méritent d’être discutés. Problème d’Erdős #1196 : En avril 2026, GPT-5.4 Pro a résolu cette conjecture en théorie des nombres en environ 80 minutes, en utilisant la fonction de von Mangoldt, une stratégie jamais envisagée auparavant par les humains. Conjecture de Jacobien : En juillet 2026, le mathématicien Levant Alpöge a utilisé Claude Fable 5 d’Anthropic pour trouver un contre-exemple à ce problème vieux de 87 ans, marquant ainsi la résolution la plus complexe jamais accomplie par une IA. Conjecture de Dinitz-Garg-Goemans : Également en juillet 2026, ChatGPT 5.6 Pro a réfuté cette conjecture en théorie des graphes vieille de 30 ans en n’utilisant que quatre simples invites.