L'IA pour la recherche en mathématiques est arrivée
Tap title to read story
OpenAI a publié 722 articles de recherche en mathématiques générés entièrement par un modèle interne d'intelligence artificielle non publié, abordant des problèmes complexes historiquement non résolus dans les domaines des mathématiques et de l'informatique. Regroupés en 372 familles distinctes de résultats, ces découvertes comprennent des affirmations mathématiques de haut niveau touchant à l'hypothèse quasi-Riemann, la conjecture des jeux uniques et les limites de la multiplication matricielle. De nombreuses preuves générées comportent des formalisations vérifiées par Lean, un prouveur de théorèmes informatiques interactif conçu pour vérifier les étapes logiques. Bien que cette publication marque une avancée majeure dans la découverte scientifique automatisée et les capacités de raisonnement complexe, les observateurs notent que les articles n'ont pas fait l'objet d'un examen par les pairs humain traditionnel. Les chercheurs soulignent que si les outils automatisés peuvent explorer de vastes trajectoires logiques efficacement, une supervision humaine reste nécessaire pour garantir une précision absolue et développer une intuition mathématique profonde. OpenAI a publié la recherche sur GitHub pour encourager une inspection généralisée, une vérification communautaire et une évaluation scientifique plus poussée dans les institutions académiques et techniques.
OpenAI a publié 722 articles de recherche en mathématiques générés entièrement par un modèle interne d'intelligence artificielle non publié, abordant des problèmes complexes historiquement non résolus dans les domaines des mathématiques et de l'informatique. Regroupés en 372 familles distinctes de résultats, ces découvertes comprennent des affirmations mathématiques de haut niveau touchant à l'hypothèse quasi-Riemann, la conjecture des jeux uniques et les limites de la multiplication matricielle. De nombreuses preuves générées comportent des formalisations vérifiées par Lean, un prouveur de théorèmes informatiques interactif conçu pour vérifier les étapes logiques. Bien que cette publication marque une avancée majeure dans la découverte scientifique automatisée et les capacités de raisonnement complexe, les observateurs notent que les articles n'ont pas fait l'objet d'un examen par les pairs humain traditionnel. Les chercheurs soulignent que si les outils automatisés peuvent explorer de vastes trajectoires logiques efficacement, une supervision humaine reste nécessaire pour garantir une précision absolue et développer une intuition mathématique profonde. OpenAI a publié la recherche sur GitHub pour encourager une inspection généralisée, une vérification communautaire et une évaluation scientifique plus poussée dans les institutions académiques et techniques.
JQJO Editorial Desk · Human reviewed · AI assisted. Report a correction.