许多悬而未决的数学难题,对 AI 来说只是'显然'
thebasepoint · x · 2026-10-19
thebasepoint 感叹:数学家的「显然」从来是相对的——学生问一个等式为何成立,教授想了十分钟说「这很明显」。而事实证明,许多开放性数学难题其实是「留给有足够决心的读者的证明」,对 AI 而言可能只是「显然」的下一步。
所属事件:OpenAI 证「无 Siegel 零点」，后续证明被压缩至 5 页(2 条相关)→
「漫话AGI」频道最新
- 投资人：Agent 将成史上最强分发渠道，AI 缺的正是分发机制 — omooretweets · 2026-10-19
- 两年过去,通用 LLM 路线未见撞墙,押注已经回本 — adivinemessenger · 2026-10-19
- Amazon 封锁 Agentic Commerce、摩根大通封锁 Agentic 银行，单代理时代将至 — krishnan · 2026-10-19
- 游戏素材大佬 Kenney 呼吁抵制 AI slop,开发者反驳：AI 是工具不是替身 — majidmanzarpour · 2026-10-19
- 哈佛 Boaz Barak 开讲 AI 安全课,开场就讽 OpenAI 利益冲突 — zainhas · 2026-10-19
- Brad Neuberg：AI 系统不该被容忍为「纠缠的黑箱」，应重 elegance 的 evals — bradneuberg · 2026-10-19