问题本身就是问题：迈向可扩展的数学发现

英文标题：The Problem Is the Problem: Towards Scalable Mathematical Discovery

论文指出，AI 系统正日益具备参与数学研究的能力。前沿模型的推理能力在实际研究中属于稀缺资源，而专家级数学审查的供给更加受限。作者聚焦于如何更有效地分配这些有限资源，以推动可扩展的数学发现。该议题对开发面向数学研究的 AI Agent、评测流程及人机协作机制具有重要意义。

2.1 KB 483 B 612 B 380 B 9.1 KB 32.7 KB 22.8 KB 24.2 KB 34.7 KB