Le mathématicien IA de Tsinghua est arrivé, des idées aux théorèmes, participe à la réalisation d'un article d'algorithme quantique de 84 pages
Le système AIM (Artificial Intelligence Mathematician) de l'Institut de recherche sur l'intelligence industrielle (AIR) de l'Université Tsinghua ne se contente plus de résoudre des problèmes mathématiques, mais commence à participer au processus de recherche scientifique en amont.
Une étude récente démontre son implication dans le développement d'algorithmes quantiques. À partir d'une intuition de départ fournie par des chercheurs humains - l'utilisation d'approximations rationnelles pour concevoir des algorithmes quantiques - AIM a contribué à explorer des pistes, organiser des théorèmes et générer des ébauches de preuves. Guidée et validée à chaque étape par le jugement humain, cette collaboration a abouti à un article de 84 pages proposant une nouvelle famille d'**algorithmes quantiques par encodage du signe (Sign Embedding Quantum Algorithms)**.
Le processus de travail collaboratif s'est articulé en cinq phases : expansion de pistes de recherche par l'IA, sélection et orientation par les humains, formation des théorèmes et dérivation assistée, audit et correction des complexités, et enfin validation et intégration finale par les chercheurs. Ce modèle met en avant non pas une découverte mathématique entièrement automatisée, mais une **synergie où l'IA augmente l'efficacité de l'exploration et de la dérivation, tandis que l'expert humain conserve le contrôle des décisions stratégiques, de l'évaluation de la valeur et de la validation rigoureuse**.
Cette étude illustre l'évolution du rôle de l'IA dans la recherche théorique, passant d'une assistance sur des tâches ponctuelles à une participation intégrée dans un flux de travail complet, ouvrant de nouvelles perspectives pour accroître la productivité dans les domaines scientifiques fondamentaux.
**Liens :** Rapport sur AIM : [arXiv:2606.24899](https://arxiv.org/abs/2606.24899) | Article sur les algorithmes quantiques : [arXiv:2604.25333](http://arxiv.org/abs/2604.25333)
marsbit07/10 02:58
