数学家发起“First Proof”挑战,测试AI在研究级数学证明中的能力边界 科学 2026-03-20 由哈佛、斯坦福等多所高校数学家组成的团队发布10道未公开研究题,邀请AI公司作答,以更客观评估人工智能在研究数学证明环节的实际水平。