“如果你只有一把錘子，那么你看什么都像釘子”。

這就是著名的馬斯洛錘子理論，這告訴我們，具體問(wèn)題要具體分析，過(guò)分依賴某種熟悉的工具或方法會(huì)使自己深陷其中，難以獲得新的“解題思路”。

在計(jì)算機(jī)領(lǐng)域中，我們更要警惕這種“一刀切”的思維模式。

對(duì)位于英國(guó)劍橋微軟研究實(shí)驗(yàn)室的跨學(xué)科研究團(tuán)隊(duì)而言，他們的任務(wù)就是要研制出在迅速解決問(wèn)題的同時(shí)，能夠超越二進(jìn)制系統(tǒng)不足的新型電腦。但要成功研制出可以光速解決實(shí)際問(wèn)題的電腦，愿意去思考諸如“我們正在設(shè)計(jì)的工具的本質(zhì)是什么？”以及“我用錘子敲的是什么釘子呢？”之類的大問(wèn)題，就十分關(guān)鍵。

起初，他們研制出了首臺(tái)八變量光學(xué)計(jì)算器。該電腦使用不同強(qiáng)度的光源在同一存儲(chǔ)信息的地方進(jìn)行計(jì)算。研究人員把這一他們?cè)O(shè)計(jì)的設(shè)備稱作AIM，也就是模擬迭代機(jī)。

“通常情況下，如果你取得了一些技術(shù)進(jìn)步，尤其是最開(kāi)始，那在實(shí)踐中如何使用，相對(duì)是沒(méi)有那么清楚的，”該項(xiàng)目的三名主要研究人員之一Christos Gkantsidis說(shuō)道。他回憶他們最初是怎樣希望利用AIM這一工具來(lái)加快機(jī)器學(xué)習(xí)的?！靶枰パ芯颗靼啄囊环N實(shí)踐問(wèn)題才是更符合他們的。”

?

AIM，模擬迭代機(jī)，是由現(xiàn)有元件組裝而成，比如微型LED燈和你在自己的智能手機(jī)攝像頭里可以看到的傳感器。

由Chris Welsch為Microsoft攝圖

大約三年前，他們嘗試使用AIM來(lái)處理一個(gè)特別煩人但又相當(dāng)重要的數(shù)學(xué)問(wèn)題——最優(yōu)化。他們很快意識(shí)到，在解決這些最優(yōu)化問(wèn)題方面，這一新設(shè)備有著巨大潛力來(lái)超越傳統(tǒng)電腦所用的二進(jìn)制系統(tǒng)的速度和容量。

Gkantsidis指出，“通俗來(lái)講，正如我們所知，最優(yōu)化是這個(gè)世界運(yùn)行的規(guī)則?！弊顑?yōu)化問(wèn)題構(gòu)成了當(dāng)今社會(huì)很多最為重要行業(yè)的基礎(chǔ)——其中就有：銀行金融，健康醫(yī)療，物流和制造。

這一全新電腦的能力促成了與英國(guó)巴克萊銀行的一年期研究協(xié)議，以研究使用它來(lái)解決實(shí)際問(wèn)題的潛能——大批量的交易是如何在大多數(shù)銀行所采用的清算中心妥善處理的。交易的數(shù)字每天成千上百萬(wàn)。跟大部分最優(yōu)化問(wèn)題類似，正是其巨大規(guī)模使得二進(jìn)制電腦無(wú)法很好地處理它。

巴克萊銀行首席技術(shù)辦公室的負(fù)責(zé)人和卓越的工程師Lee Braine說(shuō)到，“實(shí)際上，要花費(fèi)無(wú)窮的時(shí)間才能評(píng)估所有可能的選項(xiàng)。”他說(shuō)當(dāng)前來(lái)講，已經(jīng)采用了諸多的計(jì)算和數(shù)學(xué)捷徑，來(lái)系統(tǒng)估算處理成千上百萬(wàn)批次交易的最高效方式。

模擬迭代機(jī)團(tuán)隊(duì)已經(jīng)運(yùn)作了一個(gè)他們稱作的“玩具版本”的交易結(jié)算問(wèn)題，該問(wèn)題由Braine提出，而這臺(tái)光學(xué)計(jì)算機(jī)每次都以百分之百的準(zhǔn)確率解決了這個(gè)問(wèn)題。而此前使用另一項(xiàng)不同技術(shù)解決同個(gè)問(wèn)題的研究嘗試，只有一半次數(shù)嘗試時(shí)獲得了同樣的分值。

能夠參與到有潛力帶來(lái)創(chuàng)新變革的事物中，非常讓人興奮。

Braine本人就曾經(jīng)是一個(gè)對(duì)最優(yōu)化進(jìn)行過(guò)大量研究的計(jì)算機(jī)科學(xué)家?，F(xiàn)在他和微軟團(tuán)隊(duì)都已經(jīng)開(kāi)始使用更多的數(shù)據(jù)和變量設(shè)計(jì)一個(gè)更大規(guī)模的問(wèn)題版本。他們希望今年夏天晚些時(shí)候在一個(gè)AIM的更新版本上測(cè)試一下這臺(tái)計(jì)算機(jī)。Braine說(shuō)和微軟的AIM團(tuán)隊(duì)合作是一個(gè)難得的機(jī)會(huì)。他提到，“能夠參與到有潛力帶來(lái)創(chuàng)新變革的事物中，非常讓人興奮。這樣也能夠在所有可能的領(lǐng)域里立于潮頭?！?/p>

摩爾定律的終結(jié)

1965年，工程師Gordon Moore(同時(shí)也是Intel的創(chuàng)始人之一)預(yù)測(cè)，在一條集成電路上的晶體管數(shù)量每年都將翻倍。后來(lái)他又修正了自己的預(yù)測(cè)，改為每隔兩年。最近幾十年來(lái)，計(jì)算機(jī)的容量基本上就是以這種速度提升的，運(yùn)行速度更快，體積更小，而價(jià)格卻沒(méi)有更昂貴。但到了近十年，這一趨勢(shì)似乎停滯。同時(shí)，對(duì)計(jì)算機(jī)容量和速度的需求也僅僅是增加了而已。

?

左起，Kirill Kalinin, Christos Gkantsidis 和Hitesh Ballani, 位于英國(guó)劍橋的微軟研究實(shí)驗(yàn)室的研究人員正在討論巴克萊銀行Lee Braine提出的交易清算問(wèn)題。

由Chris Welsch為Microsoft攝圖

“問(wèn)題是，一旦你超過(guò)拐點(diǎn)，就很難維持之前的那種增長(zhǎng)，”微軟研究光學(xué)計(jì)算機(jī)的其他研究人員之一Hitesh Ballani說(shuō)，并且解釋了開(kāi)發(fā)光學(xué)等替代技術(shù)背后的緊迫性?！耙?yàn)槲覀円呀?jīng)在研究光存儲(chǔ)和網(wǎng)絡(luò)連接，所以逐漸地想過(guò)渡到光學(xué)計(jì)算，盡管這是最棘手的問(wèn)題?！?/p>

位于劍橋的實(shí)驗(yàn)室已經(jīng)在光學(xué)存儲(chǔ)方面取得了一些成就。該團(tuán)隊(duì)研發(fā)了一套可以存儲(chǔ)海量嵌入在鏡片中的數(shù)據(jù)的系統(tǒng)。

Ballani在實(shí)驗(yàn)室的一間會(huì)議室內(nèi)振奮不已，口若懸河。他解釋了光學(xué)計(jì)算的基礎(chǔ)，并闡明了為什么團(tuán)隊(duì)要引入一位數(shù)學(xué)專家來(lái)幫助研發(fā)新型算法以解決最優(yōu)化問(wèn)題。他拿著一只紅色馬克筆遮著白板，還有兩套寫滿了筆記、等式和圖表的玻璃白板來(lái)闡釋他的觀點(diǎn)。

“這不是一臺(tái)多功能的計(jì)算機(jī)，”他提到?！暗鼘?duì)在數(shù)學(xué)運(yùn)算、線性代數(shù)和非線性代數(shù)是關(guān)鍵的操作瓶頸的應(yīng)用提升方面，十分有益。”

五十多年來(lái)，光已經(jīng)被用于光纖電纜傳播數(shù)據(jù)。光子互相之間并無(wú)交互，但是通過(guò)某種中介傳播，比如你智能手機(jī)上的攝像頭，他們就可在某種意義上被人們看到。

就模擬迭代機(jī)而言，光的不同強(qiáng)度可以進(jìn)行加法和乘法運(yùn)算，這就是最優(yōu)化問(wèn)題的基礎(chǔ)。Ballani提到，要以光速運(yùn)行，AIM的高級(jí)版本就必須超過(guò)二進(jìn)制計(jì)算機(jī)速度的大約一百倍才行。此外，在AIM中計(jì)算和存儲(chǔ)發(fā)生在同一場(chǎng)所，這不同于二進(jìn)制計(jì)算機(jī)，因?yàn)楹笳咝枰粋€(gè)場(chǎng)所存儲(chǔ)另一場(chǎng)所計(jì)算方能運(yùn)作。

開(kāi)辟算法新領(lǐng)域

談到AIM可以解決的問(wèn)題類型的具體例子時(shí)，他引用了與微軟健康研究人員的一次交流，具體內(nèi)容是關(guān)于如何減少進(jìn)行磁共振成像掃描所需的時(shí)間，同時(shí)又保持同樣的精度。（通常，根據(jù)掃描區(qū)域的大小，檢查需要15到90分鐘不等的時(shí)間。）有些縮短檢查時(shí)間的技術(shù)已經(jīng)投入使用但會(huì)影響精度。運(yùn)行目前看來(lái)還比較費(fèi)時(shí)間的最優(yōu)化方程從理論上看，還是會(huì)帶來(lái)更高的精確性和速度的。Ballani說(shuō)，“如果我們能十分迅速地處理好最優(yōu)化問(wèn)題，有可能不到一分鐘就能夠完成核磁共振檢查?！?/p>

?

Francesca Parmigiani是位于英國(guó)劍橋的微軟研究實(shí)驗(yàn)室的新型光學(xué)計(jì)算機(jī)硬件制造的團(tuán)隊(duì)負(fù)責(zé)人。

由Chris Welsch為Microsoft攝圖

AIM項(xiàng)目的第三位主要研究員Francesca Parmigiani的博士研究就是光學(xué)通信。目前她正在引領(lǐng)研制光學(xué)計(jì)算機(jī)。她和她的小團(tuán)隊(duì)目前正在研發(fā)一個(gè)可以在48個(gè)變量下運(yùn)行的升級(jí)版本，極大擴(kuò)展了光學(xué)計(jì)算機(jī)能解決的問(wèn)題的復(fù)雜程度。最終他們是希望能造出一臺(tái)處理成千上萬(wàn)變量的AIM版本。

該AIM團(tuán)隊(duì)目前正在使用現(xiàn)有且具備制造系統(tǒng)的組件——從光纖電纜到調(diào)制器到微型LED燈——來(lái)創(chuàng)造并在升級(jí)AIM。目前情況，這臺(tái)計(jì)算機(jī)建造在一個(gè)大約是一個(gè)餐桌大小的金屬長(zhǎng)凳上，從調(diào)制解調(diào)器出來(lái)的線路纏繞聯(lián)結(jié)研究員有時(shí)叫“投影儀”的設(shè)備上，就好像是一臺(tái)多媒體投影儀來(lái)存儲(chǔ)和計(jì)算數(shù)據(jù)。

Parmigiani說(shuō)，“要研制這臺(tái)計(jì)算機(jī)，我就得學(xué)習(xí)很多東西。我對(duì)最優(yōu)化還沒(méi)有什么頭緒?！?/p>

建造AIM的過(guò)程和模擬問(wèn)題的最初形態(tài)讓Parmigiani和光學(xué)和模擬團(tuán)隊(duì)進(jìn)行了大量的相互交流和理解妥協(xié)。該團(tuán)隊(duì)負(fù)責(zé)硬件研發(fā)，Ballani, Gkantsidis 和數(shù)學(xué)專家Kirill Kalinin負(fù)責(zé)在這其中運(yùn)行的算法和軟件。研究人員說(shuō)，他們開(kāi)發(fā)的數(shù)學(xué)和算法創(chuàng)新在解決優(yōu)化問(wèn)題方面與機(jī)器本身一樣至關(guān)重要。AIM正在采用的算法最初形態(tài)叫QUMO，也就是二次無(wú)約束混合最優(yōu)化的簡(jiǎn)寫，而它在光學(xué)計(jì)算機(jī)中的運(yùn)用才是讓AIM在全世界獨(dú)一無(wú)二的所在。

“因?yàn)槲覀冎獣允裁词切兄行?，什么又是行不通的，所以我們一直在向前，故事也一直在改變，”Parmigiani說(shuō)到?！拔覀円庾R(shí)到，我們真的需要再加把勁，搞清楚如何一起研制適配算法的硬件?！?/p>

?

團(tuán)隊(duì)成員Grace Brennan正在研制升級(jí)版本的AIM，

位于英國(guó)劍橋的微軟研究實(shí)驗(yàn)室，

由Chris Welsch為Microsoft攝圖

研究“尖端技術(shù)”

AIM團(tuán)隊(duì)正轉(zhuǎn)向用行專家和高?？蒲腥藛T提出的問(wèn)題測(cè)試該設(shè)備和QUMO算法。他們正用一個(gè)AIM模擬器開(kāi)設(shè)服務(wù)，這個(gè)模擬裝置可以用圖形處理器（GPU）來(lái)解決大型最優(yōu)化問(wèn)題。該團(tuán)隊(duì)希望能有更多測(cè)試案例幫助他們了解他們創(chuàng)建的工具的潛力。

當(dāng)然巴克萊銀行的Lee Braine提出的交易清算問(wèn)題依舊是首要問(wèn)題。

這個(gè)問(wèn)題主要是因?yàn)榻灰琢看髮?dǎo)致很棘手。Braine說(shuō)這些交易通常是被描述成貨銀對(duì)付。證券現(xiàn)金兌付的一個(gè)簡(jiǎn)單例子就是公司的一百股代表一千美金。但問(wèn)題主要是，每筆交易和每個(gè)參數(shù)都取決于不同的約束，包括規(guī)則和可用賬戶余額。

在臨界點(diǎn)反復(fù)研究，以微小的方式不斷突破極限并對(duì)此做出貢獻(xiàn)，相當(dāng)令人興奮。

這些交易的數(shù)量非常讓人震驚。他只引用了一個(gè)清算中心的例子，DTCC，其子公司2022年處理的業(yè)務(wù)額價(jià)值2.51015美金。（一個(gè)quadrillion等于1000個(gè)萬(wàn)億。）

因?yàn)槎鄶?shù)大銀行采用的都是清算中心，本研究也有望能讓整個(gè)銀行系統(tǒng)受益。為期一年的實(shí)驗(yàn)結(jié)果將在一份研究報(bào)告中進(jìn)行分享。

Braine說(shuō)這是一個(gè)很好的測(cè)試案例，如果真的奏效，它就可以為使用光學(xué)計(jì)算處理比如欺詐檢測(cè)等銀行業(yè)內(nèi)的其他問(wèn)題奠定基礎(chǔ)。

他提到這個(gè)項(xiàng)目很好地滿足了他內(nèi)在的好奇心?！澳撤N程度上，好像回到了做博士論文那段學(xué)術(shù)時(shí)光，你總是在尋找最尖端的東西?！彼a(bǔ)充道，“在臨界點(diǎn)反復(fù)研究，以微小的方式不斷突破極限并對(duì)此做出貢獻(xiàn)，相當(dāng)令人興奮?！?/p>

作為微軟卓越工程師和團(tuán)隊(duì)帶頭人的Ant Rowstron說(shuō)，看到自己的跨學(xué)科團(tuán)隊(duì)通力合作研發(fā)新型計(jì)算機(jī)工具，克服各種困難并尋找使用該工具的潛在方向，感覺(jué)十分值得。

他提到，“我工作的職責(zé)之一就是努力去理解我們何時(shí)要去研究新事物，有風(fēng)險(xiǎn)時(shí)支持幫助那些遇到風(fēng)險(xiǎn)的人們。我們堅(jiān)信，如果我們研制出來(lái)了，我們就會(huì)進(jìn)一步研究如何讓它繼續(xù)優(yōu)化改善。而現(xiàn)在我們有了一個(gè)很重要的問(wèn)題空間，這里有迫切的需求，而我們的計(jì)算機(jī)又能真正發(fā)揮作用”。