Can a Lightweight Automated AI Pipeline Solve Research-Level Mathematical Problems?
Este trabajo demuestra que una pipeline automatizada ligera, que integra modelos de lenguaje avanzados optimizados para la verificación basada en citas, es capaz de generar y resolver problemas matemáticos de nivel de investigación, incluyendo conjuntos de problemas del ICCM y preguntas de investigación inéditas, cuyos resultados han sido verificados y publicados.
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