前沿实验室宣称攻克纳维-斯托克斯等难题，数学界将信将疑
Witty-Ad-8579 · reddit · 2026-11-14
发帖人提问：你对前沿实验室关于解决纳维-斯托克斯方程、费马大定理等硬核数学问题的宣称有多买账？作者坦言自己不懂数学，但基于日常使用 AI 的体验，倾向于站那些抱怨证明「太长或难以理解」的数学家一边，并征集社区对 AI 数学宣称可信度的看法。
「模型」频道最新
- 独立扫描 265 个开源 LLM，185 个会推理出自己用的 GPU 家族 — willdepue · 2026-11-14
- 用户集体吐槽：ChatGPT 客户端难用，转投 Claude 阵营 — koltregaskes · 2026-11-14
- 重度用户卡在 Pro 与 Ultra 之间：订阅档位不匹配日常用量 — gaganghotra_ · 2026-11-14
- 传 Google 搜索全球上线 Gemini 4 Hydrogen，界面更 AI 化 — feblet · 2026-11-14
- 玩家月烧 2000 美元做宝可梦 AI 同人游戏，Claude 拒绝再帮忙 — tekbog · 2026-11-14
- 图表追踪 Claude 口头禅：「honestly」等 AI 味词汇正快速消失 — dbreunig · 2026-11-14