Quanta Magazine retrace comment erdosproblems.com — un catalogue d'amateur recensant les plus de 1 200 problèmes laissés par Paul Erdős — est devenu l'arène où les laboratoires d'IA éprouvent leurs mathématiciens artificiels. Les modèles d'OpenAI ont résolu en mai le problème de la distance unité, vieux de 80 ans, puis trois autres problèmes d'Erdős le 1er août ; Google DeepMind en a résolu quatre, exhumé neuf solutions oubliées et clos de façon autonome 9 des 353 problèmes posés formellement. Le site compte désormais 565 problèmes résolus contre 652 ouverts, et les problèmes d'Erdős se concentrent en théorie des nombres et en combinatoire — précisément là où les modèles de langage excellent.