“Of everyone I’ve t, Jere is the st erudite fellow around.”
（在我見過的人當中，傑里米是最博學的）
這是AC席戴維·H·布蘭丁詢問費曼，對曲某人的通用量子計算機構架和基礎演算法的判斷時，費曼的回答。
於是，在會務組的協調下，轉過天上午，曲卓在圓桌論壇按計劃做了題為“人工智慧應用及未來”的發言後，下午又被安排了一場名為“拓展丘奇–圖靈論題”的學術演講……
丘奇是“阿隆佐·丘奇”，20世紀極具影響力的數學家、邏輯學家和計算機科學家。也是理論計算機科學的核心奠基人之一。
他發明的λ演算，是函數語言程式設計的核心理論基礎，直接催生了LISP等經典程式語言。
艾倫·圖靈是他在普林斯頓大學任教時的學生。
36年丘奇與圖靈分別獨立提出等價的可計算性模型，共同確立“丘奇-圖靈論題”，為現代計算機的計算能力邊界劃定了理論框架。
這很重要。
80年，保羅·貝尼奧夫提出量子圖靈機模型。這套模型存在侷限，每一輪運算結束疊加態就會發生坍縮，無法持續利用量子並行特性，僅能夠模擬經典計算。
81年，費曼提出量子模擬器構想，但沒有給出形式化計算模型，也沒有探討通用計算。
這次曲卓在“拓展丘奇–圖靈論題”的演講中，提出了由狀態集、字母表、初始態、終止態和量子轉移振幅函式，五部分構成的通用量子圖靈機五元組形式化定義。
如果說費曼給出的是“量子模擬器”，曲卓讓“量子模擬器”有了嚴謹的數學載體。銜接費曼的猜想，完成了量子計算從理論到落地的基石。
隨後，曲卓又丟擲了人類歷史上第一個嚴格證明量子計算相對經典計算，具備理論加速優勢的量子演算法，並命名為“葉潔經典演算法”。
之所以不直接命名“葉潔演算法”，是因為曲某人堅信，這才只是一個開始……
曲卓的演講結束時，只得到了禮貌性的掌聲。
因為，這個世界上真正的“天才”，是極度稀缺的。
絕大多數所謂專家和學者，只能被定義為聰明人，或者聰明人中的聰明人。
“天才”與“聰明人”的區別在於，前者可以發明工具，後者只會使用工具。
眼下理論計算機圈子，幾乎不關心量子力學。可逆計算屬於小眾冷門方向，主要是門檻太高。
對於曲卓的演講，不少聽眾只會當成一個新奇數學模型，看不出長遠工程價值。
或者說，以現有的科技水平，看不到真正物理意義上的實踐化落地的希望。
一個只能存在於理論中的“東西”，即便它的理論意義再大，也大的有限。
更重要的是……絕大多數人根本無法理解。
其他的不算，只一個引入么正演化轉移函式，允許計算全程維持疊加態，就讓全場至少百分之八十的人如同鴨子聽雷。
極少數能聽懂的那部分，也需要事後拿出大量時間去驗算論證。
其實曲卓知道一種在現有科學框架下，物理層面實踐驗證量子計算可行性的方式。
但是不著急，先讓子彈飛一會兒。
。果的己自紹介臺登，間時的鐘分十二概大有人個每，半點11到點9。臺舞的己自示展，們者學輕年的些一大稍或，齡同人某曲與些一是，午上號01
。式幕閉和結總會大是，半點21到54點11
。了程行排安由自以可便，餐午助自的單簡頓一了吃員人會與，後束結式幕閉
。了媽各找各家各回各以可……是就
。的利便多許有是，員會為而，員CA是不還人某曲，出提的婉委，他到找斯克里德亨·傑羅與前發出，流觀參工理州加了去請邀的曼費應卓曲
。利便丟丟小一麼那有會，員CA為道知卓曲
