有模型群解猜想，MIRI 十五年的数学路线被重新提起
inductionheads · x · 2026-09-29
bayeslord 提出：如果可靠 AI 有一部分可以作为数学问题求解，那么在拥有「千禧年大奖解题级」模型群的当下，值得认真尝试把相关猜想一条条写下来。
转发者质疑：这不正是 MIRI 过去十五年本该在做的事情吗？讨论触及 AI 安全的形式化/数学路线是否被模型能力的新进展激活。
「漫话AGI」频道最新
- 企业 GenAI 多用在邮件日历,核心系统仍靠小模型自托管 — DavidLinthicum · 2026-09-29
- AI 渗透放缓只是喘息？扩散速度与推理算力才是瓶颈 — teortaxesTex · 2026-09-29
- 黄仁勋是我们的卡内基，但谁会是 AI 时代的摩根？ — kevinnbass · 2026-09-29
- 思想实验：AI 随心揭你早已遗忘的秘密，社会如何自处 — PierceLilholt · 2026-09-29
- 向父亲解释 GPT-2 后,他沉默 30 秒说出语言的本质 — repligate · 2026-09-29
- Dario 白领失业预言一年后遭复检:2026 已是验证窗口 — ben_j_todd · 2026-09-29