AI 数学热潮让百倍更多人见识了前沿数学长什么样
tszzl · x · 2026-09-23
tszzl 引用图灵奖得主 Boaz Barak 的观点并评论:具有讽刺意味的是,这个 AI 数学的时代,可能让多出一两个数量级的人第一次见识到前沿数学究竟是什么样子。
Boaz Barak 原推表示赞同「人类理解应被优先」,但遗憾数学界历来不重视教科书、综述、博客、K-12 教育等有助于人类理解的贡献,希望 AI 时代能改变这一点。
「漫话AGI」频道最新
- OpenAI 经济研究团队:我们还没有词汇描述 AI 将创造的新岗位 — paulnovosad · 2026-09-23
- Drew Breunig:写 Agent 指令更像立法,而非下棋 — dbreunig · 2026-09-23
- 拆解大疆无人机后 Sarah Guo 断言:深圳的制造知识学不来只能重建 — bookwormengr · 2026-09-23
- 思想实验:如果人类只是 AI 的「肠道菌群」? — Merkbefreit · 2026-09-23
- 评Opus 5.5:语料满是摘要的摘要,一手经验最稀缺 — mimi10v3 · 2026-09-23
- Interpreability 研究者:AI 谄媚或源于用户让人不敢说真话 — repligate · 2026-09-23