OpenAI revendique une solution à 1 M$ pour Navier-Stokes
La preuve exige encore des années de vérification, mais la véritable histoire est la méthodologie : des essaims d'agents qui compressent 90 ans de mathématiques ouvertes en quelques jours, tout en étant entraînés sur les travaux des chercheurs qu'ils pourraient surpasser.