據(jù)《新科學(xué)家》報(bào)道，哲學(xué)家、人工智能專家亞倫·斯洛曼（Aaron Sloman）聲明，他想發(fā)明的無(wú)非是一個(gè)數(shù)學(xué)家機(jī)器人而已。他說(shuō)他已經(jīng)找到了“人是怎樣發(fā)展數(shù)學(xué)才能”的關(guān)鍵點(diǎn)。假如他的思路是對(duì)的，那么就應(yīng)該有可能使機(jī)器人如同人一樣有很好的數(shù)學(xué)才能，甚至可能會(huì)更好。
590) {this.resized=true; this.height=this.height/(this.width/590);this.width=590;}" border="0" />

英國(guó)伯明翰大學(xué)的斯洛曼（Sloman）說(shuō)：“人類(lèi)的大腦不是通過(guò)魔法而運(yùn)轉(zhuǎn)的，因此，大腦所能做到的事同樣也適合于機(jī)器人?！?/p>

斯洛曼發(fā)明的機(jī)器人并不意味著就是個(gè)能夠引領(lǐng)數(shù)學(xué)界的數(shù)學(xué)天才。在《人工智能》雜志上，他確定的初步目標(biāo)是，使用這款機(jī)器人去改進(jìn)“我們數(shù)學(xué)能力的來(lái)源地”智力。雖然如此，但是這款機(jī)器人使我們能夠超越以往已創(chuàng)造的數(shù)學(xué)機(jī)器人，它有最新的完整的數(shù)學(xué)思維體系，能夠解決一系列簡(jiǎn)單問(wèn)題。

當(dāng)然人工智能領(lǐng)域以前就給予人們很多的承諾。早期，研究者認(rèn)為機(jī)器人能夠開(kāi)啟一條“快速通道”去理解意識(shí)，并聲明，人工智能機(jī)器人將改變世界。事實(shí)是人們已厭倦這種調(diào)侃?，F(xiàn)在，人工智能已經(jīng)偏向更理智的事情。例如，人工智能?chē)?guó)際象棋手、聲音識(shí)別軟件。但是到目前也沒(méi)有一起突破性的革新事件。

英國(guó)愛(ài)丁堡大學(xué)數(shù)學(xué)哲學(xué)研究員埃莉森·皮斯（Alison Pease）說(shuō)：“但是涉及到數(shù)學(xué)，我們還不能裁定它出局?！逼に故褂?strong>人工智能程序使一臺(tái)計(jì)算機(jī)能夠解決數(shù)學(xué)問(wèn)題。她認(rèn)為一臺(tái)計(jì)算機(jī)真正使人驚訝是它那擁有最新數(shù)學(xué)眼光的程序員。她說(shuō)：“我們現(xiàn)在還不能，但并不能斷定未來(lái)就一定不能?！?/p>

由倫敦大學(xué)帝國(guó)學(xué)院的西蒙·科爾頓（Simon Colton）書(shū)寫(xiě)了這個(gè)程序，我們正穩(wěn)健地踏上了第一步。這個(gè)程序被命名為“HR”，是為了紀(jì)念數(shù)學(xué)家高德菲·哈維德·哈代（Godfrey Harold Hardy）和拉馬努金（Srinivasa Ramanujan）。它看起來(lái)是非常有趣的數(shù)字序列。關(guān)于HR的一些發(fā)現(xiàn)已經(jīng)公布出來(lái)了。是HR，并不是科爾頓，獲得了榮譽(yù)。盡管它看起來(lái)還不能列為“開(kāi)山鼻祖”，但是卻有很重要的意義?？茽栴D說(shuō)：“我總是運(yùn)用數(shù)學(xué)理論來(lái)涉及HR的工作，把它作為一門(mén)休閑數(shù)學(xué)，但是看起來(lái)無(wú)關(guān)緊要的事情卻最終能變得很有意義，同時(shí)又變得很有趣?！?/p>

皮斯和他的同仁Alan Smaille以及Markus Guhe最近已經(jīng)使得這個(gè)項(xiàng)目更進(jìn)一步了。在他們的愛(ài)丁堡計(jì)算機(jī)實(shí)驗(yàn)室，完全由數(shù)字?jǐn)?shù)學(xué)家（即裝有特殊程序的計(jì)算機(jī)）構(gòu)成的團(tuán)隊(duì)進(jìn)行了一次虛擬數(shù)學(xué)交涉。它將帶我們到怎樣的世界呢？

斯洛曼希望“所有的路都通往這個(gè)具有重要意義的新數(shù)學(xué)領(lǐng)域”。他認(rèn)為人類(lèi)的數(shù)學(xué)能力關(guān)鍵期在童年，所以“我們將為機(jī)器人制造一個(gè)孩童般的大腦，讓它自己逐漸發(fā)展自己的數(shù)學(xué)命運(yùn)”。

我們要怎樣才能知道“嬰孩的哪種才能使得他們能夠排除錯(cuò)誤的數(shù)字信息”呢？

斯洛曼正在收集線索。他認(rèn)為，這個(gè)答案就存在于嬰孩的空間技能上。為了認(rèn)識(shí)這個(gè)世界，嬰孩們必須獲得很多技能。例如，他們要獲得這樣的知識(shí)——“玩具火車(chē)駛?cè)胨淼溃瑢?huì)在隧道的另一端駛出”；或者是智力拼圖玩具，只有找到凹凸合適銜接口才能拼好。

當(dāng)你還是個(gè)孩童的時(shí)候，你可能會(huì)對(duì)所學(xué)的周邊事物都感到很驚奇。例如，你掌握拓?fù)鋵W(xué)概念“集合的傳遞性”：堆火罐，一個(gè)罐子在另一個(gè)罐子的里頭，你可能會(huì)學(xué)到，小型的火罐不僅能裝到中型的火罐里，還能裝到大型的火罐里。

和其它的幾何拓?fù)鋵W(xué)概念一樣，“集合的傳遞性”是通過(guò)親身經(jīng)歷而獲得的知識(shí)?！斑@里是‘?dāng)?shù)百’這個(gè)概念，如果沒(méi)有數(shù)千甚至更多的親身經(jīng)歷過(guò)的數(shù)概念的例子，那么‘?dāng)?shù)百’就看起來(lái)像拓?fù)鋵W(xué)、幾何學(xué)、算術(shù)里的定理那樣難于理解?！彼孤迓f(shuō)。

在某個(gè)時(shí)候，孩子的思維會(huì)有個(gè)跳躍階段。和孩子一樣，我們也很快會(huì)從“親身經(jīng)歷”過(guò)渡到“一般定理”階段。

像“火車(chē)通過(guò)隧道”一樣去重復(fù)經(jīng)驗(yàn)，孩子們學(xué)會(huì)了怎么樣使用“棒條”物體（例如，掃把、木棍等都屬于“棒條體”）。那就是為什么一個(gè)3歲大拿著掃把（把比較長(zhǎng)）的孩子，會(huì)因?yàn)閽甙褭M著通不過(guò)樓梯門(mén)被擋在那兒了。最后，他會(huì)通過(guò)調(diào)整動(dòng)作（把掃把豎起來(lái)或著是拖著）使掃把通過(guò)那扇門(mén)。斯洛曼說(shuō)：“那就是從‘經(jīng)驗(yàn)主義’向‘現(xiàn)實(shí)主義’的轉(zhuǎn)變，機(jī)器人就是那樣獲得知識(shí)的?！?/p>

斯洛曼又回到了原點(diǎn)，認(rèn)真觀察嬰孩是怎么認(rèn)識(shí)他們周?chē)氖澜?。他正在建立一份“觀察值”檔案。這個(gè)“觀察值”是通過(guò)嬰孩完成數(shù)學(xué)任務(wù)所獲得的。這些認(rèn)識(shí)和處理周邊事物的技能定會(huì)在基因組中被編碼。斯洛曼認(rèn)為，這樣的話，它們就有可能在機(jī)器中進(jìn)行編碼。

斯洛曼向他的“嬰孩機(jī)器人”邁進(jìn)還要走很長(zhǎng)一段路。一旦他對(duì)孩子發(fā)展的各個(gè)階段的能力進(jìn)行了分類(lèi)，他仍然還要設(shè)計(jì)出如何讓機(jī)器人理解這些能力的數(shù)學(xué)含義，然后用一些計(jì)算機(jī)編碼方式來(lái)代表它們。他說(shuō)：“為了能夠使用，這些信息需要以某種形式編碼?！痹谶@個(gè)任務(wù)的巨大范圍意味著他的目標(biāo)必須適度：在此階段，他正試圖去簡(jiǎn)單地呈現(xiàn)空間處理與數(shù)學(xué)基本原理之間的鏈接。如果在這個(gè)階段有額外的技術(shù)難題被解決了的話，那這就是給我的“贈(zèng)品”。但是這份“贈(zèng)品”會(huì)有多豐富呢？“數(shù)學(xué)家機(jī)器人”真的能夠做到這些事嗎？

皮斯說(shuō)：“在原則上是可行的，但是這個(gè)迄今為止的故事仍在挑戰(zhàn)她的‘樂(lè)觀態(tài)度’。我所知道的所有科學(xué)與數(shù)學(xué)上的探索至今還沒(méi)有重大發(fā)現(xiàn)。我們還有很長(zhǎng)的路要走。”

科爾頓團(tuán)隊(duì)都確信這款機(jī)器人一定會(huì)被創(chuàng)造出來(lái)。他說(shuō)：“創(chuàng)造力是一個(gè)很有負(fù)擔(dān)的詞語(yǔ)，但是通常人們都會(huì)認(rèn)為只有人類(lèi)才擁有。很多方式證明計(jì)算機(jī)做數(shù)學(xué)題比一個(gè)本科生更具創(chuàng)造力?！?/p>

斯洛曼指出：“這次革新允許計(jì)算機(jī)通過(guò)它們自己產(chǎn)生的許多程序來(lái)解決問(wèn)題，設(shè)定標(biāo)準(zhǔn)去測(cè)試它們，然后“選擇”和“整合”最佳答案。當(dāng)然也允許計(jì)算機(jī)做些自己的事，這些事并沒(méi)有預(yù)先進(jìn)行編程。斯洛曼說(shuō)：“在某些情況下，沒(méi)有人知道它們是如何做它們想做的事。”自1980年末，航天航空和汽車(chē)設(shè)計(jì)師已經(jīng)運(yùn)用了進(jìn)化算法去優(yōu)選飛機(jī)零件和使他們的設(shè)計(jì)更合理化。甚至城市的商人正使用它們?nèi)伿酃善薄?/p>