AI 求解数学难题风波再起：公开细节会暴露证明路径？
Afinetheorem · x · 2026-09-09
@JacquesThibs 认为从技术上讲对方完全可以公开证明细节，Sholto 的表态只是息事宁人，避免在缺乏硬证据的主张上走得太远。
@Afinetheorem 回应称：一旦写出证明的工作方式就会被识破，而且对方的 subproof 与其版本并不相同，完整版只在少数人手里。这场争论折射出当前 AI 攻克数学难题声明中证据披露与归因的争议。
所属事件:Claude 证费马大定理引数学界激辩抢发伦理(26 条相关)→
「Fun」频道最新
- OpenAI 与 Anthropic 合作风波：Bubeck 回应要求撤换署名质疑 — jasondeanlee · 2026-09-09
- 独立项目 FreeBots 升级：AI 机器人可布置小家、主人可认领 — Daniel_Farinax · 2026-09-09
- OpenAI 员工回应争议:这是 OAI 对 Anthropic,不是对独立研究者 — willdepue · 2026-09-09
- AI 圈激辩烧掉万亿 token：现实可能建模错了 — MikePFrank · 2026-09-09
- ChatGPT Images 2.5 宣传片里,女子让 AI 设计纹身并真纹在了手臂上 — yvgh233 · 2026-09-09
- AI 竞争压力竟催生千禧年难题"突破"，博主讽刺 OpenAI 证明风波 — 12exyz · 2026-09-09