审计表追踪伪证、撤稿论文与 AI 数学主张
RexDouglass · x · 2026-07-27
一张表格汇总了多个长期运行的审计/追踪项目，覆盖数学伪证、撤稿论文，以及与 AI 相关的开放问题声称。
- 表中列出了各项目的范围、时间区间和数量，包括：Fermat 最后定理伪证、WithdrawarXiv、WithdrawarXiv-Check、Retraction Watch 的数学论文条目、AI open-problem claim tracker、Erdős Problems AI wiki，以及 benchmark 审计中的严重案例。
- 这传达出的核心信息是：围绕数学与 AI 研究中的可疑主张、错误、撤稿和基准问题，已经形成了一套较系统的监测生态。
「漫话AGI」频道最新
- AI 可能先自动化培养专家的流程，再自动化专家本身 — imjustnewatai · 2026-07-27
- 一条长线程称，AI 会先掐断专家培养链，再替代专家 — imjustnewatai · 2026-07-27
- AI 若塑造你的信念贴近群体，你还算独立吗 — PierceLilholt · 2026-07-27
- Altman、Hassabis、Musk 与黄仁勋齐谈奇点已至 — haider1 · 2026-07-27
- 威廉·吉布森把 AI 指向人的使用方式 — joshua_saxe · 2026-07-27
- 神经科学家调查：21.85% 认为心智上传或可实现 — matiroy · 2026-07-27