First Proof 第一批研究级数学挑战启动：10 个自然产生的问题、隐藏人类解答与自主性要求

First Proof Project 于 2 月 5 日发布首批 10 个 research-level mathematics problems，覆盖代数组合、谱图论、代数拓扑、随机分析、辛几何、表示论、Lie 群格、tensor analysis 与 numerical linear algebra。每题都来自作者真实研究过程，已有约五页以内的人类解答但在实验期间隐藏；项目明确要求所谓 autonomous solution 不得依赖人类提供数学 idea、problem decomposition 或 core insight，并鼓励提交完整交互 transcript。