AI 证明之辩：连命题都写不准，谈何理解
jacobaustin132 · x · 2026-10-22
同串补充：jacobaustin132 澄清自己说的「理解」不是指看懂证明，而是指能确信自己理解了命题陈述——甚至能自己写出与心中所想一致的形式化命题，这在他看来是「理解」相当基础的部分。
所属事件:AI 数学形式化激辩：信任证明与理解命题之争(5 条相关)→
「漫话AGI」频道最新
- Dramstead 吐槽:EA 双关——被有效利他主义碰过都变味 — mjdramstead · 2026-10-22
- 机器人将抹平人力成本：昂贵商品的 价格趋向材料加能源 — Dr_Singularity · 2026-10-22
- Dan Faggella 看多 Nvidia 的理由:其硬件或可承载「灵魂」 — danfaggella · 2026-10-22
- 当软件变概率化：界面从「定义功能」退居「收敛可能性」 — round · 2026-10-22
- 前 FTC 主席 Lina Khan:当下盛行的「AI 豁免论」极其荒唐 — AINowInstitute · 2026-10-22
- Model Constitution 新文:AI 宪法如何治理多智能体组织的失配风险 — sethlazar · 2026-10-22