OpenAI a récemment publié 722 manuscrits contenant des solutions générées par l’IA à des problèmes mathématiques de longue date. Ces articles ont été mis en ligne la semaine dernière. Selon des mathématiciens, il pourrait falloir des années pour vérifier cette avalanche de résultats, et l’absence de raisonnement clairement exposé risque de rendre ces travaux difficiles à exploiter.
Pourquoi la communauté mathématique est inquiète
Le modèle d’IA à l’origine des démonstrations n’a pas été nommé, mais des analystes tentent déjà de vérifier les affirmations. Des experts soulignent qu’une solution qui passe directement d’une consigne à une réponse finale, sans présenter les étapes, apporte peu d’éclairage. Sans savoir comment le résultat a été obtenu, les chercheurs ne peuvent ni élaborer de nouvelles théories ni s’appuyer sur ces conclusions pour poursuivre leurs travaux.
Pourquoi c'est important
Pour tous ceux qui s’appuient sur la recherche mathématique — étudiants, ingénieurs ou scientifiques — cet afflux soudain de démonstrations non vérifiées pourrait ralentir les progrès, car chaque résultat risque de nécessiter un examen approfondi par des humains. Il soulève aussi des questions sur la confiance accordée aux découvertes produites par l’IA et leur utilisation dans des applications concrètes.
