新“First Proof”考试揭示 AI 数学竞赛的付费参与现象

Scientific American 报道称，First Proof 基准确认部分 AI 正成为研究级数学的出色工具，但开源模型仍面临困难；该基准同时显示 AI 数学领域存在付费参与的特征。

AI推荐理由 Scientific American 报道的 First Proof 基准显示部分 AI 已成为研究级数学的有效工具，但开源模型仍表现吃力，并指出 AI 数学存在付费参与现象；该内容提供了基准层面的新信息，但摘要未给出具体模型名称与分数，结论需以正文证据为准。