DeepMind 2026-04-22 DeepMind的AI解了6道研究级数学难题：专家说5道够发论文，这条线正在移动 先说清楚这10道题是什么。 不是数学竞赛题，不是经典难题。是未发表的研究级数学问题，来自FirstProof挑战赛——参赛选手包括职业数学家和数学博士。这些题目的要求是：答案得对，还必须附带严格的数学证明，能经受同行评审。 Aletheia