本文發表於《大眾科學》的前部落格網路，反映了作者的觀點，不一定反映《大眾科學》的觀點
關於支援科學新聞
如果您喜歡這篇文章，請考慮透過以下方式支援我們屢獲殊榮的新聞報道 訂閱。透過購買訂閱，您正在幫助確保未來能夠繼續講述關於發現和塑造我們當今世界的思想的具有影響力的故事。
Wolfram Research 嘿，還記得軟體公司 Wolfram Research 上週因有人找到了最簡單的“通用”理論計算機或圖靈機而頒發的 25,000 美元獎金 嗎？現在出現了一個小問題：它可能是錯誤的。本週，斯坦福大學計算機科學家 Vaughan Pratt 在一個數學郵件列表中表示，近 50 頁的 證明 存在 技術問題。圖靈機是一個微小的理論裝置，它在一個長串數字（基本上是它的程式）上前後移動，一次掃描一個數字，並根據一些簡單的規則切換它們的值。該證明的要求是證明幾乎最簡單的可想象的圖靈機是通用的，或者能夠模擬所有其他圖靈機，而各種形式的圖靈機原則上可以模擬氣候、隨機播放您的 iPod 播放列表等。要了解有關此獎項的由來及其含義的更多資訊，請檢視 我的故事。計算機科學家 Martin Davis（我在故事中引用了他的話，今天又和他談過，他共同管理著郵件列表）認為，新的問題是通用性來自機器執行的簡單動作還是來自程式，程式可能會變得非常複雜，例如由英國伯明翰 20 歲的 Alex Smith（上圖）提交的獲獎證明。透過與 Smith 交談，我可以報告他意識到了這個潛在的缺陷。Davis 和 Stephen Wolfram 也是如此，他們看到了證明的初稿。Pratt 說 Smith（以及證明檢查員——主要是 Wolfram Research 支付報酬的三個人）仍然忽略了一個細微的技術問題，而剛接觸這項工作的人往往會忽略這個問題。Pratt 的確切措辭部分是：“包含如此基本謬論的論點是如何透過篩選的？”Wolfram 和他的 員工 也加入了討論（Wolfram 甚至表示他正在考慮設立更多獎項），現在 Smith 和 Pratt 正在禮貌地 討論 這個問題。為了記錄，量子計算理論家 Scott Aaronson 在他的部落格上真實地宣告，他確實提醒了我，他認為 獎項描述 用詞模糊，開闢了一個正在繪製的灰色地帶。