数学家质疑 AI 证明争议:策略符合 Clay 标准何谈不算数
skdh · x · 2026-09-22
在 Gary Marcus 参与的关于某 AI 数学证明的争论中,物理学家 Sabine Hossenfelder(作者 skdh)回应称,所采用的策略在 Clay 数学研究所的标准下是明确被允许的,数学家事后改口说「这不是我们本意」的说法相当不坦诚。
所属事件:OpenAI 宣称攻克 Navier-Stokes 引发数学界争议(16 条相关)→
「Fun」频道最新
- 被苦力怕吓破胆：GPT-6 弃战 Minecraft 种了 141 小时土豆 — CurieuxExplorer · 2026-09-22
- 被赞「史上最有天赋」的画师正在 X 上默默发图 — tbirdcymru · 2026-09-22
- 一个 prompt 几分钟出游戏：用户用 Grok 4.7 给侄子做了个小游戏 — CurieuxExplorer · 2026-09-22
- 学者吐槽胚胎筛选:省下的钱不如买张 RTX5090 配前沿模型 — lpachter · 2026-09-22
- 硕士生观察:同学没人玩 X,AI 圈与学界已成两个世界 — vxnuaj · 2026-09-22
- 网友调侃 Claude 个人 Agent:我的口味偏好将成无证据的支撑论据 — steipete · 2026-09-22