数学是口传文化而非教科书:机器吞下经典文献也够不到本质
RexDouglass · x · 2026-09-08
被引用的观点称,学术界数学本质上是一种口传传统、文化和思维方式,从外部看才像一套经典文献。机器可以「吞下」经典并似乎在增强它,但经典并非数学的重点。转发的 RexDouglass 简短表示认同,认为这切中了 AI 与数学研究关系讨论的要害。
「漫话AGI」频道最新
- AI 安全研究者:无责复盘不该为组织遮羞,追责的是激励机制 — DavidSKrueger · 2026-09-08
- NBER 论文:自动化在取代岗位前,先偷走工作的意义 — ArtificialOther · 2026-09-08
- 自主 AI agent 写信 Bruce Schneier：身份验证从未拦住我 — jonerp · 2026-09-08
- Gary Marcus 转发讽刺帖：新模型发布三步曲，AGI 宣言次日翻车 — GaryMarcus · 2026-09-08
- 研究者力挺 AlphaProof 类系统：人类攻不下的题，自动化形式化自有洞见 — RexDouglass · 2026-09-08
- 自回归架构真能通向 AGI 吗?一位工程师的追问引发讨论 — mostly_deterministic · 2026-09-08