新智元报道 编辑:Aeneas 好困 最近,30 位世界顶尖数学家亲自出马,在 UC 伯克利对 OpenAI o4-mini 展开「围剿」,两天连出教授级难题,结果却当场集体「破防」!有人直言:这个 AI,的确已接近数学天才的水平。曾经以为 AGI 遥遥无期,如今仿佛只剩临门一脚了…… AI 做数学 本文链接