Bien sûr, GPT-5 ne résout pas l'hypothèse de Riemann ni ne fait de percées dans le programme de Langlands. Mais voici le problème : il y a un an, l'idée qu'un LLM puisse même tenter des preuves pour des problèmes mathématiques non résolus aurait semblé ridicule. Maintenant, nous voyons ces modèles s'attaquer à des défis de complexité petite à moyenne. Ce changement à lui seul vous indique que quelque chose de fondamental a changé.