标签
本技术报告介绍了ICML 2026 AI4Math Workshop中SeePhys Pro挑战赛的第一名解决方案，该方案采用两阶段框架，结合视觉信息提取和多智能体辩论，从图像中回答大学物理问题。
这篇立场论文回顾了LLM驱动的形式化数学的现状，指出了将这些系统应用于开放性研究数学的关键局限性，并提出了一条战略性路线图，用于开发能够推进数学前沿的AI智能体。
讨论了AI在数学领域的现状与未来，引用事例称ChatGPT 5.5 Pro自主解决了高维计算几何中死卡多年的最远点对问题，显示AI在数学发现上的潜力。