Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?
Questo lavoro dimostra che un pipeline automatizzato leggero, integrato con modelli linguistici di nuova generazione e ottimizzato per la verifica tramite citazioni, è in grado di risolvere problemi matematici di livello di ricerca avanzato, generando prove verificate per dataset come l'ICCM e il "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