當AI微微一笑，把人類壓了上百年的數學題輕鬆破解，
人類除了拔電源，還能給出怎樣的回應？
整整一個月前，包括鄧·百合二次元·煜大神在內的25位菲爾茲獎得主成立了一個組織：
人類數學協會（AHM）。
該協會要求加入者做出兩項承諾：
①絕不爲商業性質的人工智能巨頭效力；
②絕不發表任何由生成式算法撰寫的論文手稿。
可就在剛剛過去的這個十一長假，就好像是要故意和這25顆人類最強大腦叫板一樣，AI巨頭OpenAI一次性發布722份數學手稿，372個相關成果，並在github上建立了一個名爲叫openai/math的集。
據說，這些成績是基於AI大模型對4000個【開放問題】的"思考"，平均每個結果只消耗掉ChatGPT Pro3小時的"思考"。
我是學渣，所以我也是從網上去搜了一些普通人能看懂的報導，在此和hym分享一下。
首先說一下，啥是【開放問題】？
簡單說，就是數學界公認的、表述清晰但還沒人能證明或推翻的問題。
比如著名的黎曼猜想、哥德巴赫猜想，還有千禧年大獎難題裏的BSD猜想、霍奇猜想等等，都屬於這類。一旦有人解決了，它就會從"開放問題"裏剔除出去。
也就是說，OpenAI是把4000道這種天花板級別的題目拋給AI，然後就一下蹦出來700多份手稿、300多個成果——這絕對比midjourney對畫師設計師的衝擊、suno對編曲作曲家的衝擊更甚。
要知道，藝術這玩意，玄之又玄，行與不行，主觀色彩很重。
但科學，一是一二是二，講究推導和邏輯，而這正是AI和計算機的立足之本。
再說另一個里程碑事件——
昨天，由著名華裔數學家丘成桐牽頭的"數學與人工智能實驗室聯盟"在清華大學成立。
同時，由他主編的名爲《Journal of AI-Assisted Mathematics》即《人工智能輔助數學雜誌》期刊將於2027年起出版，聚焦AI輔助純數學研究領域。
面對AI帶來的巨大機遇和挑戰，這位菲爾茲獎首位華人得主表示——
這是最興奮的時代，也是最危險的時代。
看來，丘老並不是絕對意義上的擁抱AI，他也持着相當審慎的態度。
早在今年7月的國際數學家大會上，AHM的陶哲軒也表達過對AI高度介入數學研究的尖銳見解：
AI可以大幅提高知識鏈前端的生產效率，卻無法自動擴建後端。等待驗證、闡釋和整理的證明會越來越多，論文不斷擠壓同行評審系統；即使最終發表，數學界也未必有足夠的人力和時間，把這些成果真正吸收、消化，並整合進成熟的理論框架。
這被稱作"證明消化不良"。
就好比說，我們現在能夠拿AI工具一下出成千上萬張圖、或者幾百萬字小說，但是呢，要多少人力去一一驗證、篩選呢？這就是前端後端的不匹配。
AHM在一封名爲《AI在數學中的嚴重錯位》的聯名信中，也提出過類似的觀點。
愛AI還是反AI？
這可能是當下互聯網一個非常容易引起站隊的話題。
在xhh的很多AI遊戲帖子評論區，大家都是噴來噴去。
對不喜歡AI的人來說，侵權、塑料質感、量產垃圾……都是十惡不赦的罪名。
對另一些人來說，AI是萬能鑰匙，是技術平權的神。
從當初唱衰AlphaGo的棋評人，到A站上抵制midjourney的畫師聯盟……有時已經分不清，大家爭的是理念、倫理還是利益。
在兩個時代的夾縫處，無論理念、倫理、利益的碰撞，都在所難免。不過，一切也終將隨着時代的洗牌過程而漸漸平息。
到時候，每一個個體的分歧，會在集體無意識中形成人類的最大公約數，從而浮現出，歷史向何處去。
拭目以待……
更多遊戲資訊請關註：電玩幫遊戲資訊專區
電玩幫圖文攻略 www.vgover.com
