AI 解决 FrontierMath: Open Problems 中的一道难题,该基准测试收录数学家未能攻克的真实研究 · AI HOT