時刻新聞
衷子
機(jī)器之心報道
機(jī)器之心編輯部
人工智能和數(shù)學(xué)是密不可分的。
AI的發(fā)展離不開數(shù)學(xué)的進(jìn)步，同時AI的進(jìn)步也離不開解決數(shù)學(xué)問題的能力。
在剛結(jié)束不久的IMO競賽中，谷歌的新一代Gemini進(jìn)階版模型成功解決了六道超高難度試題中的五道，達(dá)到了今年IMO的金牌水平（35/42)，成為首個獲得奧賽組委會官方認(rèn)定為金牌的AI系統(tǒng)。
加州大學(xué)洛杉磯分校數(shù)學(xué)系終身教授，菲爾茲獎獲得者，被稱為「數(shù)學(xué)莫扎特」的華人數(shù)學(xué)家陶哲軒，參加了今年度IMO競賽的頒獎典禮。
他同樣也對在IMO取得成績的AI模型十分關(guān)注。
但他同樣表達(dá)了一定程度的擔(dān)憂，希望明年能夠在更加受控的環(huán)境下對AI模型進(jìn)行科學(xué)比較和評估。
陶教授認(rèn)為：一些在標(biāo)準(zhǔn)考試條件下可能連銅牌都難以穩(wěn)定獲得的學(xué)生或隊伍，在某些經(jīng)過修改的賽制下，反而可能穩(wěn)定地達(dá)到金牌水平。
因此，在沒有采用統(tǒng)一、非參賽隊自選的控制性測試方法的前提下，對于不同AI模型在類似IMO等競賽中的表現(xiàn)，應(yīng)當(dāng)謹(jǐn)慎看待，避免作出過于簡單化的「對等」比較。
陶教授對人工智能的發(fā)展和評估的關(guān)心是一貫的。就在剛剛，他在mathstodon上發(fā)表了對于人工智能發(fā)展現(xiàn)狀的觀點和對于未來的評估策略的建議。
人工智能技術(shù)現(xiàn)已迅速接近從定性到定量成果的轉(zhuǎn)型階段。
隨著一項技術(shù)成熟，關(guān)注點往往會從定性的成就轉(zhuǎn)移，例如誰第一個實現(xiàn)了某個目標(biāo)，轉(zhuǎn)向更定量的衡量標(biāo)準(zhǔn)，例如完成單個任務(wù)需要多少資源和專業(yè)知識，以及會產(chǎn)生多少環(huán)境影響和傷害風(fēng)險。
這是一個必要的轉(zhuǎn)變，以便將技術(shù)從概念驗證擴(kuò)展到大規(guī)模應(yīng)用。
舉兩個例子：諸如萊特兄弟在1903年首次實現(xiàn)動力、可控、比空氣重的飛行；林德伯格在1927年首次獨自不間斷跨大西洋飛行。
但真正讓跨大西洋航空旅行變得低成本、安全且對發(fā)達(dá)國家中產(chǎn)階級來說可以定期負(fù)擔(dān)得起的，并不是這些初期的壯舉，而是從上世紀(jì)50年代開始，長達(dá)數(shù)十年的噴氣式航空技術(shù)的持續(xù)發(fā)展，以及與之配套的基礎(chǔ)設(shè)施和后勤系統(tǒng)的穩(wěn)步完善。這些工作雖枯燥，卻至關(guān)重要。
相比之下，阿波羅計劃雖曾在1969年成功實現(xiàn)了載人登月的里程碑，但代價極為高昂。與航空領(lǐng)域的發(fā)展不同，太空探索在成本降低方面并未取得顯著進(jìn)展。
如今，幾乎任何一個具體的概念驗證目標(biāo)，只要投入足夠的資源和專業(yè)團(tuán)隊，都有可能在未來幾年內(nèi)通過類似「登月計劃」式的AI項目實現(xiàn)。
但真正要將這些技術(shù)大規(guī)模部署到現(xiàn)實世界中，關(guān)鍵問題已經(jīng)從「能否做到」轉(zhuǎn)向了「如何以更低成本、更高安全性和更強(qiáng)可擴(kuò)展性實現(xiàn)」。
簡而言之，就是人工智能需要「降本增效」。這與評估AI模型的方式密不可分。
在宣布某一目標(biāo)完成時，顯然有必要同步報告其所消耗的資源成本。但同樣重要的是，也應(yīng)報告失敗案例，以更準(zhǔn)確地評估成功率——這是衡量預(yù)期成本的關(guān)鍵部分。
舉例來說，如果某個先進(jìn)的AI工具每次嘗試解決一道奧賽級別的問題需要耗費約1000美元的算力資源，但成功率只有20%，那么平均每成功解決一次問題的實際成本就是5000美元。如果只報告那20%的成功案例，就會對實際成本形成嚴(yán)重誤導(dǎo)。
同理，如果這些成功案例是在有高薪專家全程監(jiān)督、監(jiān)控，甚至準(zhǔn)備隨時介入的前提下完成的——即使最終沒有觸發(fā)人工干預(yù)，這部分「待命成本」也應(yīng)計入整個過程的實際成本。
盡管未來的擴(kuò)展規(guī)律（scalinglaws）可能會有所變化，但可以預(yù)見的是，最耗費資源的AI系統(tǒng)依然會比那些廉價模型更強(qiáng)大。因此，在實際應(yīng)用中，「輕量型」與「密集型」AI工具各有其用武之地。
以陶教授最近完成的「等式理論項目（EquationalTheoriesProject）」為例：在總共需要證明的2200萬條蘊涵關(guān)系中，絕大多數(shù)是通過非常簡單的暴力方法完成的；剩下的很大一部分則由中等強(qiáng)度的自動定理證明器（ATP）解決；再往后，一部分由人類參與者解決，最后少數(shù)幾個疑難問題，則依賴多個研究人員與ATP工具協(xié)作攻克。
盡管并未大量使用像大型語言模型這樣的現(xiàn)代AI，但陶教授預(yù)計未來類似的大規(guī)模項目會呈現(xiàn)類似的發(fā)展路徑：
項目的絕大部分由「廉價」AI完成，而「昂貴」的高級AI則與人類專家協(xié)同作戰(zhàn)。
展望未來，標(biāo)準(zhǔn)化的基準(zhǔn)測試和競賽將變得越來越重要，特別是那些要求提前披露資源使用和方法細(xì)節(jié)的評測機(jī)制。這對于準(zhǔn)確衡量AI技術(shù)的「量變」進(jìn)展至關(guān)重要。
這與陶教授在IMO競賽后對AI公司自我披露競賽結(jié)果擔(dān)憂的觀點是一脈相承的。
當(dāng)前依賴自我報告成果的現(xiàn)狀，在技術(shù)發(fā)展的「質(zhì)變」初期階段尚且可以接受，但隨著AI進(jìn)入廣泛落地和實際部署階段，這種方式就必須被更透明、可對比的標(biāo)準(zhǔn)化評估所取代。
陶哲軒教授的觀點站在了歷史的角度，但同樣也有網(wǎng)友回望歷史而對人工智能的普及暗含的風(fēng)險而表示擔(dān)憂。
完整內(nèi)容請參閱原始推文：https://mathstodon.xyz/@tao/114910028356641733
對話描寫的技巧在這里,不難?？驊駿說教育
說話要因人制宜，回話也要因人制宜，這樣才能保證回話的效果最佳。在溝通過程中，很多人不管面對怎樣的溝通對象，都會說些千篇一律的話，絲毫沒有變化。這樣一來，雖然自己說話很省心，但是在溝通效果方面會大打折扣_|。我們常常需要面對不同的溝通對象，對此，一定要摸清對方的脾氣秉性，這樣才能讓回話發(fā)揮更大的作用——_。
一等獎作文《孟婆湯》,樸實深摯,最后一句太驚艷,我給滿分
你要通過這樣一些方式，調(diào)動你自己全部的感官和你的聯(lián)想能力，實際上這也是作家寫作的時候，所依據(jù)的最基本的一個方式-。03 熱愛生活建議人：遲子建我熱愛世俗生活，安然過著自己的小日子。平淡，樸素，但不潦草_。如果因為寫作就活得潦草，那是傻瓜。寫小說是蠻有情調(diào)的事，如果一個作家的生活過得無滋無味，那么希望你能滿意。
告別寫作誤區(qū)!四字助你掌握寫作技巧
小稚，你能原諒我嗎？不，小稚，我不值得你諒解！ 然而，小稚，你那么寬容地，又一次諒解了我——_。初二下半學(xué)期，上海市舉辦初中作文競賽，學(xué)校派你我兩人前去參賽，本來，我是決不夠格的，是你，小稚，在老師那兒那樣堅決地為我爭取。我該感謝你，但我沒有表示，六年來的孤獨早使我忘卻了人間仍有愛。比賽揭曉，你一等獎，到此結(jié)束了？|。
來源：紅網(wǎng)
作者：業(yè)芊麗
編輯：析元瑤
本文為紅辣椒評論 原創(chuàng)文章，僅系作者個人觀點，不代表紅網(wǎng)立場。轉(zhuǎn)載請附原文出處鏈接和本聲明。