一套新框架把数学正确性拆成七个维度
RexDouglass · x · 2026-07-27
- 这条配图帖的主旨是：数学命题本身可以是演绎性的，但论文认证过程并不可靠。
- 原因在于，正式证明之外，数学出版大量依赖压缩自然语言、图表、参考文献、计算结果和隐性学科知识。
- 作者因此建议把“正确性”拆成多个维度，而不是只看一个二元标签：
- 命题是否为真；
- 论文给出的证明是否真的成立；
- 形式化/实现是否忠实表达了原始主张；
- 引用、引理、数据和软件依赖是否正确；
- 计算结果是否可复现；
- 是否存在独立复核；
- 新颖性与重要性是否成立。
- 另一张图还提出了缺陷严重度分级，从排版问题到主结果为假，并强调计算不可复现、依赖错误和新颖性错误应该分开标记，而不是硬塞进同一个尺度。
所属事件:研究称数学缺乏群体层面元科学，认证过程并不可靠(4 条相关)→
「漫话AGI」频道最新
- Gary Marcus 呼吁：AI 公司应强制投入 30% 预算用于对齐研究 — GaryMarcus · 2026-07-27
- Sam Altman 说他想要一种“新型电脑” — ns123abc · 2026-07-27
- Alexandr Wang：要为未来建立自己的内在罗盘 — garrytan · 2026-07-27
- Chr Szegedy 探讨递归自我改善前的算法进展 — ChrSzegedy · 2026-07-27
- 游戏可能是最不适合交给 Agent 的软件 — petergyang · 2026-07-27
- LLM 自动化将把研究市场里的冗余挤出局 — RexDouglass · 2026-07-27