湾区资本联合陆朝阳等人发起的“下一代可信自动驾驶开源基金会”正式成立,声势浩大。基金会官网同步上线,发布了第一个开源项目——一套基于形式化验证的自动驾驶场景描述语言和安全属性规范框架。虽然只是初版,但立意高远,逻辑严谨,立刻在学术界和开源社区引起了热烈反响。许多对现有自动驾驶系统“黑箱”属性不满的研究者,纷纷点赞、参与讨论,甚至提交代码。
小主,
更让陈启感到刺痛的是,他以前在海外学术会议上认识的一位德高望重的老教授,公开发表评论,认为“从形式化验证和可解释性角度重新构建自动驾驶安全基础,是比在现有系统上打补丁更具前瞻性的方向”,并欣然接受了基金会“学术顾问”的头衔。这位老教授,曾是陈启博士论文答辩委员会的成员,对他有知遇之恩。
一时间,舆论场上,“开源”、“透明”、“可验证”、“理论基础”成了更“政治正确”、更“高端”的词汇。而像“天穹”这样投入巨资、封闭开发、以工程落地为首要目标的“国家队”项目,在部分舆论和极客社区中,被隐隐贴上了“保守”、“笨重”、“黑箱操作”的标签。尽管“天穹”项目在真实道路测试里程、复杂场景处理能力上遥遥领先,但在“理念先进性”的舆论战场上,似乎落了下风。
这种舆论风向,不可避免地渗透到联合体内部。一些年轻的研究人员,在茶余饭后,也会小声讨论:“人家那个开源框架,理念是真牛,直接从根儿上重新思考安全。”“是啊,咱们这边天天抠参数、调接口,跟人家一比,感觉有点……土。” 虽然他们依然兢兢业业地完成手头工作,但那种对“更酷”、“更前沿”事物的向往,是掩藏不住的。
周哲敏锐地察觉到了这种氛围的变化。他找陈启深谈了一次。
“感觉到了吧?压力不仅仅来自技术整合的困难,还来自这种理念和舆论上的无形挤压。”周哲看着陈启疲惫的脸,“陆朝阳和湾区资本,很聪明。他们知道在工程落地、数据积累上短时间内无法超越我们,就另辟蹊径,抢占理论高地和道德制高点。用‘开源’、‘透明’对抗我们的‘集中’、‘封闭’,用‘理论突破’来质疑我们的‘工程优化’。这是更高维度的竞争。”
“那我们怎么办?”陈启问,声音有些干涩,“我们的路错了吗?”
“路没有错,只是走起来更难。”周哲摇头,“工程落地,解决实际问题,满足国家和人民对安全出行的迫切需求,这是我们的根本。但在这个过程中,我们不能忽视理论探索和原始创新。陈启,你的框架,本身就是理论结合实践的产物。你现在遇到的很多工程难题,比如如何量化风险、如何平衡安全与体验,这些都是极具理论价值的前沿问题。你不能只埋头解决具体的bug,也要跳出来,从更高的角度去思考、去提炼、去发声。”
“发声?”
“对,发声。”周哲肯定地说,“把你的思考,把你的实践,把你遇到的真实挑战和解决思路,写成高水平的论文,拿到国际顶会上去发表,去和陆朝阳他们辩论!用你的实践,去挑战他们的纯理论!告诉他们,在真实的复杂系统中,‘优雅’的理论往往需要向‘可行’的工程妥协,而这种妥协本身,就蕴含着深刻的科学问题。不要让他们垄断了话语权!”
陈启心中一动。这似乎是一条出路。埋头苦干,解决了一个又一个具体问题,却忘了抬头看路,忘了向世界阐述自己工作的价值和意义。也许,他确实需要改变。