千盛科技，这次自动驾驶黑客松的发起者，他们的一个副总丁洋在负责看比赛简报。
千盛科技创造了一个虚拟的环境，可以让虚拟出的汽车在里面跑，这是跟谷歌学习。他们向参赛者提供了一些接口，让他们在48小时之内开发出自动驾驶的汽车，看哪个团队能在各种路况中获得最佳的表现。
路况分为7个部分：高速公路、城市公路、上下班高峰城市公路、山路、狭窄公路、赛道、越野。
丁洋看第一名的成绩，在所有7个项目中有6个项目获得了冠军，开发者居然还是一个人的团队，还以为自己看错了，特意发消息给主办活动的小姐姐问个清楚，确实，那天是有一个团队一个人，还被迫跟人拼桌呢。
丁洋是公司的CTO，喜欢看代码，打开第一名的代码一看，先看注释，差点惊掉下巴：“啊？形式化开发？有没有搞错？”
形式化开发是在稳定性要求极高的硬件、航天等领域的一种基于数学的特种技术，丁洋给公司开发的平台都没有用形式化开发，只是有形式化验证，因为开发阶段就用数学规划好，实在太耗时间了，丁洋绝对想不到一个人团队能在短短48小时之内用形式化开发的方式来编程，这简直是……不是天才，必有蹊跷。
丁洋毫不犹豫地约了常一笑来谈一谈。
常一笑开着他的五菱宏光来赴约，在地下停车场被保安难为了好一阵才找到停车位，他毫不介怀，带着优雅的稳健的步伐从负一层来到千盛公司的那一层。
前台正是组织比赛的小姐姐鄢然，看到常一笑，她蹭地站了起来，非常热情：“哎呀，你可算来了，我们丁总问了好几次了，在CTO办公室，最里面的那个办公室，算了，我带你去。”
公司里有一个咖啡机，不过，胶囊要自己花钱，鄢然居然用自己的胶囊给常一笑煮了一杯“大师匠心之埃塞俄比亚咖啡”，她自己最喜欢的口味。
丁洋奇怪地看了一眼过分热情的鄢然，常一笑则以为这是客人的日常待遇，毫无感恩之心地点了点头笑纳。
“我是不是得了头奖？”常一笑有点惴惴不安，因为本来是想拿下四个项目的冠军，没想到另外两个敷衍了事的也得了冠军，幸好不是全部项目都第一，否则……
丁洋：“对啊，群组里面已经置顶了，但是……群里有人说你作弊啊，因为一个人无法完成这么多代码量。我本来对这种闲言碎语不放在心上，但是，我看了你的代码，你用了形式化开发，这……这就过分了啊。”
常一笑：“嗯？怎么了？难道自动驾驶不用形式化开发？这是安全性要求很高的项目啊，我可不想我的代码出漏子，没撞到人，撞到猫猫狗狗也不好啊。”
丁洋：“不是不是，不是你违规了，而是感觉不可思议，我没见过一个人能写这么多代码的，四个人的团队都够呛。”
常一笑：“开发这点玩意儿，还没必要作弊……千万别找借口扣我奖金啊，我急需用钱的。”
丁洋：“你有没有兴趣来我们公司实习啊……”
常一笑：“可以考虑，但是我的奖金……”他很怀疑这孙子要赖账了。
丁洋老神在在道：“别着急嘛，我们要核实一下你的代码，应该是没问题，来我们公司实习一个月吧，我去给你申请……5000块钱的补贴？”
常一笑：“一等奖是10万块钱奖金啊，没拿到奖金，我寝食难安……”
丁洋拍胸脯保证：“你放心，我丁洋以人格担保，就算公司赖账，我个人给你10万块钱，我把话撂在这儿了。”
常一笑叹了口气：“好吧好吧，实习就实习，我可以周末来一天。”
丁洋：“课程很紧？哎呀，你是什么专业的？”
常一笑：“环境工程。”
丁洋：“并不是科班出身啊，江城大学果然出人才。”
常一笑沮丧地离开了CTO办公室，前台那里，鄢然问：“怎么了？好像不开心。”
常一笑：“你们公司上个月有没有拖欠工资？好像给钱不痛快啊，早知道不浪费我48小时了，回家我连续睡了16小时才缓过劲来，辛苦啊。”
他用控制情绪的能力才让自己连续48小时保持旺盛的精力，回到家，确实是睡了个16小时的囫囵觉。
鄢然：“怎么可能？我们公司很痛快的，一天都不拖，去年过年之前还提前发工资呢。怎么？很缺钱？”
常一笑：“急用，有机会你给你们老总说说情，拜托了。”
鄢然只好答应，她还不知道群组里有人举报他作弊，她对开发的代码量也毫无概念。
看看时间，快下班了，鄢然说：“快下班了诶，我最讨厌下班高峰了，所以，经常吃了饭才回家，大厦的饭堂挺不错的，你要不要尝尝？”
哎呀，快下班了吗？车技再好，也怕堵车，常一笑答应了一起吃饭。
男生女生一起吃饭，一般都是男生去打饭，不过，这里的食堂需要开卡，鄢然担当起打饭的任务，漂亮女生这么殷勤，羡煞旁人。
