OpenAI 数学证明发布后,r/mathematics 社区反应两极
petburiraja · reddit · 2026-10-07
OpenAI 数学模型发布后，r/mathematics 上出现了不少值得玩味的讨论。帖子收集了数学社区对该次发布的反应，数学界对 AI 证明能力的态度呈现明显分歧，有人惊讶于进展，也有人质疑或抵触。具体争论细节见 reddit 原帖评论区。
「Fun」频道最新
- 学者暗讽 AI 安全圈红人 Jacob Coxon：像气候圈的通贝里 — mjdramstead · 2026-10-07
- 网友发现模型推理token大量被"Redwood"重复占据 — cis_female · 2026-10-07
- 开发者吐槽：AI agent 在生产环境里保守得让人抓狂 — alexmacgregor__ · 2026-10-07
- 网友用 Opus 5.5 搞定代码与素材,复刻「模型发布周期」视频 — techartist_ · 2026-10-07
- 让 Opus 拍「人生的意义」短片,作者称美得不像 AI — char-gen · 2026-10-07
- 数学家 Timothy Gowers 转述 Venkatesh 名言：我是想象自己读完了那篇论文 — gleech · 2026-10-07