资深工程师也该学的六大未解 CS 方向清单
JosephJacks_ · x · 2026-10-30
转发 @raminmh 的观点：即使对资深工程师/科学家，这些计算机科学分支仍未解决、值得研究：
- 规模化形式化方法与验证（scaled formal methods & verification）
- 自主多智能体系统
- 博弈论
- 分布式系统
- 大型 AI 系统的可解释性
- 人机交互
最后他还建议顺便下下国际象棋、围棋和扑克。
「漫话AGI」频道最新
- 观点：AI 成新流水线，富人拥有「人类+AI」家教，穷人只有 AI — feregri_no · 2026-10-30
- 经济学家撰文反对禁止蒸馏：对华模型管制或损害美国 AI 竞争力 — natolambert · 2026-10-30
- DeepMind 研究称工作价值远超薪水,AGI 时代政策须护住非货币意义 — ShaneLegg · 2026-10-30
- 机器人先驱 Hans Moravec 谈 AI 未来：50% 灭绝，50% 难以想象 — gleech · 2026-10-30
- 经济学家发文:蒸馏利好消费者和美国,最大输家是中国 AI 实验室 — kevinsxu · 2026-10-30
- 「做 100 次 x」:AI 时代的刻意练习为何仍不可替代 — generativist · 2026-10-30