AI 發(fā)展的速度比我們想象得更快。

就在上個(gè)月，我們?cè)鴪?bào)道頂尖的大語(yǔ)言模型們還在奧數(shù)級(jí)別的基準(zhǔn)測(cè)試中集體受挫，而僅僅一個(gè)月后，AI 便已能在真正的國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽中斬獲金牌。

當(dāng)?shù)貢r(shí)間 7 月 21 日，谷歌 DeepMind 宣布，其研發(fā)的人工智能系統(tǒng)在國(guó)際數(shù)學(xué)奧林匹克（IMO，International Mathematical Olympiad）中取得了歷史性的突破，正式獲得了“金牌”級(jí)別的成績(jī)。這標(biāo)志著人工智能首次在官方認(rèn)證的 IMO 競(jìng)賽中達(dá)到如此高的成就，同時(shí)也表明 AI 在復(fù)雜推理能力上邁出了關(guān)鍵一步。

在今年于澳大利亞舉行的第 66 屆國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽中，谷歌 DeepMind 參賽的 AI 模型“Gemini Deep Think”成功解答了全部六道題目中的五道，最終獲得了 35 分（滿分 42 分）的優(yōu)異成績(jī)。根據(jù) IMO 的評(píng)分標(biāo)準(zhǔn)，這一分?jǐn)?shù)足以摘得金牌。IMO 主席 Prof. Dr. Gregor Dolinar 評(píng)價(jià)這些解答“在許多方面都令人震驚”，認(rèn)為它們“清晰、準(zhǔn)確，大部分都容易理解”。

圖丨本次 IMO 的題目之一（來(lái)源：DeepMind）

此次谷歌的勝利，不僅在于分?jǐn)?shù)的突破，更重要的是其實(shí)現(xiàn)方式也產(chǎn)生了巨大變革。去年，DeepMind 的兩個(gè)系統(tǒng) AlphaGeometry 和 AlphaProof 聯(lián)手獲得了銀牌，解決了六題中的四題。但當(dāng)時(shí)的系統(tǒng)需要人類專家先將自然語(yǔ)言描述的賽題手動(dòng)翻譯成名為“Lean”的形式化計(jì)算機(jī)語(yǔ)言，AI 才能進(jìn)行處理，整個(gè)過(guò)程耗時(shí)兩到三天。而今年的 Gemini Deep Think 則完全不同，它是一個(gè)能夠直接理解并處理自然語(yǔ)言問(wèn)題的“推理系統(tǒng)”，在與人類選手相同的 4.5 小時(shí)競(jìng)賽時(shí)限內(nèi)，端到端地完成了從讀題到生成嚴(yán)謹(jǐn)數(shù)學(xué)證明的全過(guò)程，無(wú)需任何人工干預(yù)。

（來(lái)源：DeepMind）

Gemini Deep Think 的成功，得益于谷歌在 AI 推理技術(shù)上的最新研究成果。該模型采用了一種被稱為“并行思維”（parallel thinking）的先進(jìn)技術(shù)，使其能夠同時(shí)探索和整合多個(gè)潛在的解題思路，而不是像傳統(tǒng) AI 模型那樣沿循單一的線性推理路徑，從而大大提升了解決復(fù)雜問(wèn)題的效率和創(chuàng)造性。此外，DeepMind 團(tuán)隊(duì)還運(yùn)用了新的強(qiáng)化學(xué)習(xí)技術(shù)，通過(guò)一個(gè)包含高質(zhì)量數(shù)學(xué)解題方案的精選數(shù)據(jù)庫(kù)對(duì) Gemini 進(jìn)行專門訓(xùn)練，使其掌握了更高級(jí)的多步推理和定理證明能力。

有意思的是，在解決其中一道許多人類選手需要?jiǎng)佑醚芯可?jí)別數(shù)學(xué)知識(shí)的難題時(shí)，Gemini Deep Think 卻另辟蹊徑，僅憑基礎(chǔ)的數(shù)論知識(shí)就給出了一個(gè)“絕妙的觀察”和自洽的證明，其解法比許多人類參賽者的更為簡(jiǎn)潔優(yōu)雅。這在某種程度上也表明，AI 在復(fù)雜問(wèn)題面前，已經(jīng)具備了超越常規(guī)思路、發(fā)現(xiàn)創(chuàng)新解法的潛力。

不過(guò)，這次成就的發(fā)布過(guò)程頗具戲劇性。就在谷歌公布消息的兩天前，OpenAI 的一位研究員在社交媒體上搶先宣布，他們的一款實(shí)驗(yàn)性 AI 模型也在今年的 IMO 中取得了出色的“金牌”成績(jī)——同樣是解出五道題，獲得 35 分。

但區(qū)別在于，OpenAI 并未正式參與 IMO 的官方評(píng)估流程，而是他們組建了一個(gè)由三位前 IMO 獎(jiǎng)牌得主構(gòu)成的獨(dú)立小組來(lái)為自己的 AI 打分。而谷歌則是與 IMO 官方合作，由競(jìng)賽協(xié)調(diào)員根據(jù)學(xué)生評(píng)分標(biāo)準(zhǔn)正式評(píng)定成績(jī)，也因此，只有谷歌的成績(jī)得到了 IMO 官方的認(rèn)證。

此外，據(jù)多方消息透露，IMO 官方曾請(qǐng)求所有參與測(cè)試的 AI 公司在閉幕式后等待一周再公布成績(jī)，以便讓焦點(diǎn)首先集中在獲獎(jiǎng)的青少年學(xué)生身上。谷歌 DeepMind 遵守了這一約定，而 OpenAI 則在閉幕式當(dāng)天就迫不及待地公布了其“自評(píng)”的成績(jī)，這種做法在 AI 社區(qū)引發(fā)了激烈爭(zhēng)議。DeepMind CEO Demis Hassabis 在社交媒體上含蓄地諷刺了一下友商：“順便說(shuō)一下，我們沒(méi)有在周五宣布，是因?yàn)槲覀冏鹬?IMO 委員會(huì)的原始要求，即所有 AI 實(shí)驗(yàn)室都應(yīng)該在官方結(jié)果得到獨(dú)立專家驗(yàn)證且學(xué)生們理應(yīng)獲得應(yīng)有的贊譽(yù)之后才分享他們的結(jié)果。”

圖丨相關(guān)推文（來(lái)源：X）

值得注意的是，無(wú)論是谷歌的 Gemini Deep Think 還是 OpenAI 的模型，都未能攻克本屆 IMO 難度最高的第六題。這道題目要求計(jì)算覆蓋一個(gè)給定空間所需的最少矩形數(shù)量，最終只有 5 名人類學(xué)生成功解出。據(jù)悉，Gemini 在解這道題時(shí)，從一個(gè)錯(cuò)誤的假設(shè)出發(fā)，最終未能找到正確路徑。這也從側(cè)面說(shuō)明，盡管 AI 在邏輯推理方面取得了長(zhǎng)足進(jìn)步，但在面對(duì)某些極具挑戰(zhàn)性和創(chuàng)造性的問(wèn)題時(shí)，與頂尖的人類智慧相比，仍有其局限性，需要從這些年輕的數(shù)學(xué)天才身上學(xué)習(xí)。

著名數(shù)學(xué)家陶哲軒也在社交媒體上詳細(xì)分析了評(píng)估 AI 能力的復(fù)雜性，他表示，AI 系統(tǒng)的表現(xiàn)很大程度上取決于被給予的資源和輔助條件。他用人類參賽者的類比來(lái)說(shuō)明，如果改變競(jìng)賽格式（比如給學(xué)生幾天時(shí)間而不是 4.5 小時(shí)，或者允許使用工具），那么成績(jī)和排名可能會(huì)發(fā)生巨大變化。因此，在不同規(guī)則下對(duì) AI 的能力進(jìn)行比較，需要格外謹(jǐn)慎。

圖丨相關(guān)推文（來(lái)源：X）

但無(wú)論如何，這次比賽對(duì)谷歌而言，都堪稱一次“雙贏”——由他們贏兩次，不僅證明其在與 OpenAI 等對(duì)手的“AI 競(jìng)賽”中占據(jù)了有利身位，還因?yàn)楦?jìng)爭(zhēng)對(duì)手本身的搶跑而獲得了好名聲。

基于這次的成功，谷歌方面也公布了后續(xù)的商業(yè)化路徑：計(jì)劃向一組由數(shù)學(xué)家組成的受信任測(cè)試者提供一個(gè)版本的 DeepMind 模型，之后會(huì)將其推廣給每月支付 250 美元的 Google AI Ultra 訂閱用戶。他們相信，這種結(jié)合了自然語(yǔ)言流暢性和嚴(yán)謹(jǐn)推理能力的 AI 系統(tǒng)，將成為數(shù)學(xué)家、科學(xué)家和工程師的寶貴工具，最終推動(dòng)人類知識(shí)的邊界，加速 AGI 的到來(lái)。

參考資料：

1.https://deepmind.google/discover/blog/advanced-version-of-gemini-with-deep-think-officially-achieves-gold-medal-standard-at-the-international-mathematical-olympiad/

2.https://x.com/demishassabis/status/1947337618787615175?ref_src=twsrc%5Etfw%7Ctwcamp%5Etweetembed%7Ctwterm%5E1947337618787615175%7Ctwgr%5Ee2bf7e56b25bf6a4597610749ec8ad1afdee0a50%7Ctwcon%5Es1_&ref_url=https%3A%2F%2Fventurebeat.com%2Fai%2Fgoogle-deepmind-makes-ai-history-with-gold-medal-win-at-worlds-toughest-math-competition%2F

運(yùn)營(yíng)/排版：何晨龍