求知、求解：研究求解器的少数者，解决中国“卡脖子”问题的人
在人工智能时代，他们不做深度学习。蔡少伟清晰地记得，2011 年夏天他去美国密歇根大学安娜堡分校参加 SAT 会议时，一眼望去，全场只有他一个中国人。参会人员一半来自欧洲，四分之一来自北美（尤其是美国），另外四分之一则来自亚太地区。他将自己的“单刀赴会”列为 SAT 2011 一行的两大记忆点之一，另一点是那年大会主席的论文被 SAT 评委“枪毙”了。这是蔡少伟第一次参加 SAT。这个被 CCF 列为 B 类的会议全称为“International Conference on Theory an...