“OfeveryoneI’vemet,Jeremyisthemosteruditefellowaround.”
（在我見過的人當中，傑裡米是最博學的）
這是ACM竹席戴維·H·布蘭丁詢問費曼，對曲某人的通用量子計算機構架和基礎算法的判斷時，費曼的回答。
於是，在會務組的協調下，轉過天上午，曲卓在圓桌論壇按計劃做了題為“人工智能應用及未來”的發言後，下午又被安排了一場名為“拓展丘奇–圖靈論題”的學術演講……
丘奇是“阿隆佐·丘奇”，20世紀極具影響力的數學家、邏輯學家和計算機科學家。也是理論計算機科學的核心奠基人之一。
他發明的λ演算，是函數式編程的核心理論基礎，直接催生了LISP等經典編程語言。
艾倫·圖靈是他在普林斯頓大學任教時的學生。
36年丘奇與圖靈分別獨立提出等價的可計算性模型，共同確立“丘奇-圖靈論題”，為現代計算機的計算能力邊界劃定了理論框架。
這很重要。
80年，保羅·貝尼奧夫提出量子圖靈機模型。這套模型存在局限，每一輪運算結束疊加態就會發生坍縮，無法持續利用量子並行特性，僅能夠模擬經典計算。
81年，費曼提出量子模擬器構想，但沒有給出形式化計算模型，也沒有探討通用計算。
這次曲卓在“拓展丘奇–圖靈論題”的演講中，提出了由狀態集、字母表、初始態、終止態和量子轉移振幅函數，五部分構成的通用量子圖靈機五元組形式化定義。
如果說費曼給出的是“量子模擬器”，曲卓讓“量子模擬器”有了嚴謹的數學載體。銜接費曼的猜想，完成了量子計算從理論到落地的基石。
隨後，曲卓又拋出了人類曆史上第一個嚴格證明量子計算相對經典計算，具備理論加速優勢的量子算法，並命名為“葉潔經典算法”。
之所以不直接命名“葉潔算法”，是因為曲某人堅信，這才隻是一個開始……
曲卓的演講結束時，隻得到了禮貌性的掌聲。
因為，這個世界上真正的“天才”，是極度稀缺的。
絕大多數所謂專家和學者，隻能被定義為聰明人，或者聰明人中的聰明人。
“天才”與“聰明人”的區別在於，前者可以發明工具，後者隻會使用工具。
眼下理論計算機圈子，幾乎不關心量子力學。可逆計算屬於小眾冷門方向，主要是門檻太高。
對於曲卓的演講，不少聽眾隻會當成一個新奇數學模型，看不出長遠工程價值。
讓您第一時間享受最新章節，請訪問𝗼𝗼𝗽.𝘁𝘄
或者說，以現有的科技水平，看不到真正物理意義上的實踐化落地的希望。
一個隻能存在於理論中的“東西”，即便它的理論意義再大，也大的有限。
更重要的是……絕大多數人根本無法理解。
其他的不算，隻一個引入幺正演化轉移函數，允許計算全程維持疊加態，就讓全場至少百分之八十的人如同鴨子聽雷。
極少數能聽懂的那部分，也需要事後拿出大量時間去驗算論證。
其實曲卓知道一種在現有科學框架下，物理層麵實踐驗證量子計算可行性的方式。
但是不著急，先讓子彈飛一會兒。
10號上午，是一些與曲某人同齡，或稍大一些的年輕學者們，展示自己的舞台。9點到11點半，每個人有大概二十分鐘的時間，登台介紹自己的成果。
11點45到12點半，是大會總結和閉幕式。
閉幕式結束後，與會人員吃了一頓簡單的自助午餐，便可以自由安排行程了。
就是……可以各回各家各找各媽了。
曲卓應費曼的邀請去了加州理工參觀交流，出發前與羅傑·亨德裡克斯找到他，委婉的提出，曲某人還不是ACM會員，而成為會員，是有許多便利的。
。利便丟丟小一麼那有會，員會MCA為成道知卓曲
。料資果成和文論的發刊文全未者或，發刊未的前超些一到得能還，動活術學內構機些一加參邀受能。扣折定一有誌雜下旗MCA閱訂，如比
。準批得獲並，請申出提人個要員會為成但
。湊裡圈往子趕上趣興沒，了員一要重的視忽可不內業是經已問自人某曲
？費會交要年每，鍵關
？嗎幸榮的MCA是不，入加爺小讓能
？錢交爺小要還，了錯不就點要你跟不
”。我薦推人有沒為因是能可……乎似。請邀過到收有沒我“：樣模懂懵副一出捏拿，來出講白直麵當好不定肯話但，槽吐裡心
”。請申出提行自者會入要需，製請邀是不並MCA，授教曲“：釋解真認，語無大個了鬨斯克裡德亨·傑羅
。麼什他醒提在是傑羅，到識意有沒並乎似。態表續繼有沒但，樣模的然恍副一卓曲”~~哦？啊“
”。請申並一以可，格資的員會構機的MCA為成備具經已都，心中機算計的責負大東在你和室驗實壁石島港，實其“：道說勢順。慣習很斯克裡德亨·傑羅此對，的商情低是都候時多很，者學和員人研科
。準批的位單級上到得要都，所廁座一建修是隻怕哪，大東在“：奈無很情表卓曲”……道知該應你……且而。費會納繳來用費經有沒，窮很位單的責負大東在我“
”。握把有沒並我……費經和準批得獲能不能但，下一提院科國與著試會後去回我
。頭點的受身同感斯克裡德亨·傑羅”。解理“
。懇誠賊的說卓曲”。權策決有沒但，的達轉會我後去回。人責負是不並我，目項作合的校高與司公英戴和院科國大東是那……但。費經缺不是倒，室驗實壁石於至“
……題話個一下續繼，請申交提會後神過醒夥家這前眼為認，頭點斯克裡德亨·傑羅”。的好“
，章文術學的機算計子量用通於關
