sytelus 谈 AI 数学证明骂战:谁先 prompt 的终究无人 cares
sytelus · x · 2026-10-27
sytelus 评论近期围绕 AI 生成数学证明的激烈互撕(mud slinging)：他认为重要的是长期来看，没人会在乎到底是谁第一个 prompt 出了这个证明——暗指争论署名权毫无意义，价值最终归于证明本身。
「漫话AGI」频道最新
- dotey 长文反驳「多 Loop 浪费注意力」:每人终将转型管理一群 Agent 的 Manager — dotey · 2026-10-28
- Genie 4 实时模拟 Blender 跑通，研究者预言两年内全双工 UI 交互上端侧 — mathemagic1an · 2026-10-28
- Ben Goertzel 用玩具模拟探索超级智能吸引子：自私优化器与仁慈智能体的动力学 — bengoertzel · 2026-10-28
- Jay Kreps：前沿 AI 竞赛自带自稳定机制，弱模型反而攒出大算力 — olcan · 2026-10-28
- Pessiland 未来只剩三种工作：水管工、肉身代理与一次性密码本分发员 — jfischoff · 2026-10-28
- Mercor 发布开源任务目录 TaskNet：六大职业 79 项任务未被官方职业分类收录 — Diyi_Yang · 2026-10-28