AI 挖掘已故数学家 Cohen 笔记本，揭示超前时代的发现
irrelevantusername24 · reddit · 2026-11-14
《卫报》报道，AI 被用于解读数学家 Paul Cohen 遗留的笔记本，帮助挖掘这位「超前于时代」的数学家隐藏的发现。Cohen 以证明连续统假设与选择公理独立于标准 ZF 公理系统而获得 1966 年菲尔兹奖，其发明的力迫法（forcing）能在不违反原有规则的情况下构造使这些命题为真或为假的数学宇宙，证明标准数学「规则书」本质上是不完备的——这些问题在系统内不可判定。
「研究」频道最新
- Hugging Face 推出 Decision Models:不生成文本直接输出决策概率分布 — ariG23498 · 2026-11-14
- 可计算拓扑学新结果:计算数学结构被压缩为定理 A 与 B 两个 — jessi_cata · 2026-11-14
- BAAI 开源无编码器 VLM 系列 EVE,登 NeurIPS 与 ICCV 获 spotlight/highlight — liuziwei7 · 2026-11-14
- 《递归模型坍缩》：模型如何在自我投喂中变成乖顺助手 — sebkrier · 2026-11-14
- SGLang 峰会分享：NVFP4 4-bit 低精度 RL 千卡实战经验开源 — ericzelikman · 2026-11-14
- 实测决策模型：训练仅换来速度与成本，推理能力并未恢复 — someone_12443 · 2026-11-14