「AI 已攻占数学与软件工程」说法遭驳：软件从未如此难且有趣
lateinteraction · x · 2026-10-27
作者反驳近期流行的「AI 像之前席卷软件工程一样席卷数学」的说法：如今有意思的软件工程问题并不比以往更少，软件开发反而比以往任何时候都更难、更令人兴奋。
在补充回复中作者进一步表态：公开的前沿 AI 在事实层面就是还不够聪明、不够可靠，下一代模型也不会有根本性不同——尽管他猜测这更接近多数从业者的日常真实体验，只是大家不愿公开承认。
所属事件:AI 席卷数学与软件工程的说法遭博主集体反驳(3 条相关)→
「漫话AGI」频道最新
- 从 IMO 金牌到「证明 ETH 为假」:一条讽刺时间线浓缩 AI 数学狂飙三年 — Yuchenj_UW · 2026-10-27
- 研究者问 Claude「模型终将超越我的研究能力」,它的安抚口吻被指像哄小孩 — repligate · 2026-10-27
- ETH 结果引热议：所有布尔电路之间竟存在共同结构？ — moultano · 2026-10-27
- Perplexity CEO：未来人们将不再上网，而是把任务丢给 Agent 代办 — petergyang · 2026-10-27
- Ross Taylor：RL 双重激励将催生并行协作的 agent 集群 — rosstaylor90 · 2026-10-27
- 播客:James Evans 谈推理模型模拟「思想社会」与自复制程序实验 — profjamesevans · 2026-10-27