Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?
Cet article démontre qu'un pipeline automatisé léger intégrant des modèles de langage de nouvelle génération peut résoudre et vérifier avec succès des problèmes mathématiques de niveau recherche, notamment sur des ensembles de données inédits comme l'ICCM et le "First Proof".
Lve Meng (University of Science,Technology of China, Zhongguancun Academy), Weilong Zhao (Université Paris Cité), Yanzhi Zhang (Zhongguancun Academy), Haoxiang Guan (Zhongguancun Academy), Jiyan He (Zhongguancun Academy)Tue, 10 Ma🔢 math