一、数学证明的”无人区”突围：当AI直面未解之谜2026年2月，由顶尖学术机构联合设计的FirstProof数学挑战赛引发计算科学界震动。这套包含10道未公开研究级难题的题集，专门针对AI的”记忆作弊”漏洞设计——所有题目均……
