OpenAI 研究员称 AI 可用 Lean 证明道德哲学,被嘲「词藻沙拉」
RileyRalmuto · x · 2026-10-12
在 ISI 辩论中,OpenAI 的 Dean Ball 讨论了「如果 AI 能处理千禧年难题,是否该期待道德哲学出现类似 Lean 的形式化证明」,并探讨道德是否是可被 AI(或人类)发现的客观存在。Riley Ralmuto 转发并嘲讽这是他「从未尝过的词藻沙拉口味」,反映了 AI 圈对「AI 形式化道德论证」这类宏大叙事的怀疑情绪。
「Fun」频道最新
- 「今天的 AI 就用到这里了」:用量额度用尽的日常瞬间 — sujingshen · 2026-10-12
- 充电中的小猫:AI 圈流传的可爱梗图 — miniapeur · 2026-10-12
- VoiceStudio 59K 星:本地免费克隆语音,本月 10 大爆火开源盘点 — PrajwalTomar_ · 2026-10-12
- ChatGPT 用 PubMed 研究告诉用户:性生活不算额外热量 — yongqianme · 2026-10-12
- 「Gemini 4 Ultra Max 泄露」实为梗图：Argon 4 Ultra Max 亮相 — New_Eye7193 · 2026-10-12
- DeepSeek 新模型秒变 Claude 又秒变 ChatGPT,身份彻底混乱 — Div_pradeep · 2026-10-12