💻 Tech

Des mathématiciens alertent sur les risques de l'IA dans les preuves

Des mathématiciens de Cambridge, Oxford, Columbia et ETH Zurich ont publié une déclaration dénonçant l'utilisation de l'IA pour produire des preuves mathématiques non vérifiables. Ils soulignent que les systèmes d'IA génèrent des arguments plausibles mais peu fiables, nécessitant une vérification humaine approfondie. Google DeepMind a annoncé en juillet 2024 qu'AlphaProof avait résolu trois problèmes de l'Olympiade Internationale de Mathématiques, mais la méthodologie détaillée n'a été publiée qu'en novembre 2025. Les modèles d'IA entraînent souvent des résultats sans citer les travaux humains utilisés, violant ainsi les normes de la discipline.