陶哲轩:盼 AI 助数学家挣脱「第一个证不出的猜想」的束缚
SammaVaco · reddit · 2026-11-02
Reddit 帖引用陶哲轩博客《Mathematics has changed. Let's act like it》中的一句话:希望 AI 能帮助数学家摆脱被自己第一个无法证明的自然猜想所束缚的「紧身衣」,转而探索数学中更深层的谜题。与 HN 讨论同源,聚焦其「singularity-whitepilled」的乐观态度。
「漫话AGI」频道最新
- MFord 与 Domingos 正面辩论：AI 到底会不会夺走大多数工作 — MFordFuture · 2026-11-02
- Ethan Mollick：即便只有 GPT-4 也会带来巨大冲击，只是组织吸收更慢 — emollick · 2026-11-02
- Hamel Husain:AI 基准公司与评级机构是同一门生意 — HamelHusain · 2026-11-02
- Karpathy 定义 slop 为"被后悔的注意力"，网友提议用自分类样本训练 AI 过滤器 — kellerjordan0 · 2026-11-02
- OpenAI 研究员寄语年轻人:别觉得错过 LLM,该抬高野心 — daniel_c0deb0t · 2026-11-02
- 经济学界反思 SFI 基于主体建模议程失败,数据驱动 ABM 成新方向 — sebkrier · 2026-11-02