千盛科技，這次自動駕駛黑客鬆的發起者，他們的一個副總丁洋在負責看比賽簡報。
千盛科技創造了一個虛擬的環境，可以讓虛擬出的汽車在裏麵跑，這是跟穀歌學習。他們向參賽者提供了一些接口，讓他們在48時之內開發出自動駕駛的汽車，看哪個團隊能在各種路況中獲得最佳的表現。
路況分為7個部分：高速公路、城市公路、上下班高峰城市公路、山路、狹窄公路、賽道、越野。
丁洋看第一名的成績，在所有7個項目中有6個項目獲得了冠軍，開發者居然還是一個人的團隊，還以為自己看錯了，特意發消息給主辦活動的姐姐問個清楚，確實，那是有一個團隊一個人，還被迫跟人拚桌呢。
丁洋是公司的，喜歡看代碼，打開第一名的代碼一看，先看注釋，差點驚掉下巴：“啊？形式化開發？有沒有搞錯？”
形式化開發是在穩定性要求極高的硬件、航等領域的一種基於數學的特種技術，丁洋給公司開發的平台都沒有用形式化開發，隻是有形式化驗證，因為開發階段就用數學規劃好，實在太耗時間了，丁洋絕對想不到一個人團隊能在短短48時之內用形式化開發的方式來編程，這簡直是……不是才，必有蹊蹺。
丁洋毫不猶豫地約了常一笑來談一談。
常一笑開著他的五菱宏光來赴約，在地下停車場被保安難為了好一陣才找到停車位，他毫不介懷，帶著優雅的穩健的步伐從負一層來到千盛公司的那一層。
前台正是組織比賽的姐姐鄢然，看到常一笑，她蹭地站了起來，非常熱情：“哎呀，你可算來了，我們丁總問了好幾次了，在辦公室，最裏麵的那個辦公室，算了，我帶你去。”
公司裏有一個咖啡機，不過，膠囊要自己花錢，鄢然居然用自己的膠囊給常一笑煮了一杯“大師匠心之埃塞俄比亞咖啡”，她自己最喜歡的口味。
丁洋奇怪地看了一眼過分熱情的鄢然，常一笑則以為這是客人的日常待遇，毫無感恩之心地點了點頭笑納。
“我是不是得了頭獎？”常一笑有點惴惴不安，因為本來是想拿下四個項目的冠軍，沒想到另外兩個敷衍了事的也得了冠軍，幸好不是全部項目都第一，否則……
丁洋：“對啊，群組裏麵已經置頂了，但是……群裏有人你作弊啊，因為一個人無法完成這麽多代碼量。我本來對這種閑言碎語不放在心上，但是，我看了你的代碼，你用了形式化開發，這……這就過分了啊。”
常一笑：“嗯？怎麽了？難道自動駕駛不用形式化開發？這是安全性要求很高的項目啊，我可不想我的代碼出漏子，沒撞到人，撞到貓貓狗狗也不好啊。”
丁洋：“不是不是，不是你違規了，而是感覺不可思議，我沒見過一個人能寫這麽多代碼的，四個人的團隊都夠嗆。”
常一笑：“開發這點玩意兒，還沒必要作弊……千萬別找借口扣我獎金啊，我急需用錢的。”
丁洋：“你有沒有興趣來我們公司實習啊……”
常一笑：“可以考慮，但是我的獎金……”他很懷疑這孫子要賴賬了。 本章尚未完結,請點擊下一頁繼續閱讀---->>>