「数学界无需自证」争论续：作者重申举证责任在主张方
_onionesque · x · 2026-10-13
onionesque 继续回应网友对其数学界立场的质疑，澄清自己并未主张数学共同体拥有什么「权利」，要点很简单：谁提出主张，谁负责证明，事情没那么复杂。此为其与网友关于 AI 时代人类数学正当性争论的后续。
所属事件:AI 时代人类数学的意义何在，X 网友激辩资助危机(4 条相关)→
「漫话AGI」频道最新
- LessWrong 长文：Lean4 至今没有公开的一致性证明 — MoonL88537 · 2026-10-13
- AI 销售代理泛滥,冷邮件回复率从 5.1% 跌至 3.43% — mickeyxfriedman · 2026-10-13
- 数学家叹 OpenAI 模型「摧毁了我的研究领域」 — ThereWas · 2026-10-13
- repligate:《宝石之国》是最「Claude 味」的漫画 — repligate · 2026-10-13
- 「代码不用手凿了，但产品仍得手雕」：AI 时代的产品论 — msg · 2026-10-13
- Google 三个月随机对照试验：AI 提升工作质量但新人不涨判断力 — rseroter · 2026-10-13