跳到正文
热点事件持续更新

AI能解前沿数学难题,却难以递归自我改进

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

Anthropic 于10月20日发布 AGENT4SCI 评测,斯坦福等机构于10月28日推出 After42 项目,共同解释前沿模型为何能攻克 ETH 证伪、挂谷猜想、四维杨-米尔斯证明等难题,却难以实现递归自我改进(RSI)和经验学科创新。

AI 根据报道生成 · 2 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

11月2日
  1. 36氪 · AI
    为什么AI能解千禧年难题,却做不到递归自我改进

    文章结合 Anthropic 10月20日发布的 AGENT4SCI 评测与斯坦福等机构 10月28日的 After42 项目,解释前沿模型为何能攻克 ETH 证伪、挂谷猜想、四维杨-米尔斯证明等难题,却在 RSI 和经验学科创新上受限。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。