Et le problème numéro 3 d'Erdos a été résolu par GPT-5.2 pro (#379). Il a été accepté par Terence Tao. Je crois que les derniers jours ont été le moment de "décollage" pour la science de l'IA.