资深工程师也该学的六大未解 CS 方向清单

一份面向资深工程师和科学家的清单列出六个仍待解决、值得研究的 CS 方向：规模化形式化方法与验证、自主多智能体系统、博弈论、分布式系统、大型 AI 系统的可解释性以及人机交互。原作者还建议顺便学习国际象棋、围棋和扑克。