邢波谈 AI 破解数学证明:热爱者仍可开辟新路线,长期是好事
YiMaTweets · x · 2026-09-13
邢波(ericxing)认为,如果真正热爱数学而非追逐竞赛荣誉,即使 AI 已有暴力解法,仍可按自己的方式探索问题、发明更优美的新方法与范式——就像登山者以开创新路线为荣,登顶并非唯一目标;AlphaFold 解决蛋白质结构预测也没引发科研停摆的呼声。Yi Ma 引用并补充观点:自动化机械性编程与数学推导长远看对社会是好事,更多人可以专注于用程序和数学解决真实的科技问题、直接创造价值。
所属事件:AI 解题之后人类数学还剩什么：X 多方激辩(26 条相关)→
「漫话AGI」频道最新
- DeepMind 首发智能经济学研究：AGI 冲击经济靠协同而非单模型变强 — Scobleizer · 2026-10-31
- Claude 已能用 2 万美元 token 做出专业软件,TAM 同步缩至 2 万 — bigblueboo · 2026-10-31
- 从 1769 年陶器厂到 AI:一篇长文追问 9-5 工作制会不会消亡 — Konstantine · 2026-10-31
- LifeArchitect 10 月刊:中国拟限制 AI 技术出口,Kimi K3.1 Pro 与 Genie 4 在列 — dralandthompson · 2026-10-31
- 中国公司用「AI 复活」服务安抚失亲者，30 秒音视频即可生成数字分身 — ArtificialOther · 2026-10-31
- AI 时代何为「科学发现」？ICLR 2027 提案 SCOPE 研讨会聚焦争议 — mariyaivasileva · 2026-10-31