推文
@Daviswh · 2026-10-15 22:54
OpenAI 刚宣布出 500 万美元，支持西蒙斯基金会一个新项目：让数学家去检查、读懂、再往下推 AI 做出来的结果。 我觉得这钱花得对。 AI 出结果越来越快，瓶颈已经变成有没有人核对得过来。 没人核对过、讲不清楚的结果，数学界不会真拿来当定理用。
曝光 22 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 1.998677695933524
@Daviswh · 2026-10-15 22:54
OpenAI 刚宣布出 500 万美元，支持西蒙斯基金会一个新项目：让数学家去检查、读懂、再往下推 AI 做出来的结果。 我觉得这钱花得对。 AI 出结果越来越快，瓶颈已经变成有没有人核对得过来。 没人核对过、讲不清楚的结果，数学界不会真拿来当定理用。
曝光 22 · 评论 0 · 点赞 0 · 书签 0 · 曝光/时 1.998677695933524