alphaevolve 1

• AI 正在改变数学：从 IMO 竞赛到研究级证明，拐点已至 2026/04/14