在巴斯古城舉辦的2024年國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽（IMO）的舞臺(tái)上，一場(chǎng)科技與智慧的交融震撼上演。谷歌旗下的“深度思維”公司以其創(chuàng)新的人工智能系統(tǒng)，書(shū)寫(xiě)了歷史新篇章——該系統(tǒng)以一分之遙與金牌擦肩，榮獲銀牌，成為了首位踏足IMO榮耀殿堂的AI選手。這一壯舉，不僅是對(duì)機(jī)器智能邊界的勇敢探索，更是對(duì)未來(lái)教育與科技共生可能性的深刻預(yù)示。 

    據(jù)《自然》雜志網(wǎng)絡(luò)版7月27日?qǐng)?bào)道，“深度思維”正引領(lǐng)一場(chǎng)數(shù)學(xué)界的AI革命，向那些長(zhǎng)期以來(lái)被認(rèn)為是人類(lèi)智慧獨(dú)占領(lǐng)域的難題發(fā)起挑戰(zhàn)。IMO，這一數(shù)學(xué)精英的競(jìng)技場(chǎng)，逐漸成為衡量人工智能高級(jí)邏輯推理能力的黃金標(biāo)準(zhǔn)。此次AI的卓越表現(xiàn)，宛如一束光芒，照亮了AI在破解數(shù)學(xué)謎題領(lǐng)域超越頂尖學(xué)生的曙光之路。 

    在這場(chǎng)智力盛宴中，“深度思維”的AI系統(tǒng)猶如一位深邃的數(shù)學(xué)哲學(xué)家，優(yōu)雅地解決了六道試題中的四道，以28分的總成績(jī)傲立銀牌之位。這一系統(tǒng)集成兩大“智腦”——AlphaProof與AlphaGeometry 2。AlphaGeometry 2，作為AlphaGeometry的升級(jí)迭代，以一種近乎藝術(shù)的方式破解了IMO的幾何難關(guān)，而AlphaProof則以其敏銳的邏輯洞察力，在代數(shù)與數(shù)論的迷宮中找到了通往真理的道路。 

    值得注意的是，AlphaGeometry 2在賽前就已經(jīng)展現(xiàn)出非凡的實(shí)力，能夠攻克過(guò)去25年間IMO幾何問(wèn)題中的絕大多數(shù)，相比其前輩，進(jìn)步之大令人贊嘆。對(duì)此，“深度思維”AI科學(xué)的掌舵者普什米特·科利自豪地宣布，這是AI系統(tǒng)首次達(dá)到IMO獎(jiǎng)牌級(jí)的成就。而IMO主席格雷戈?duì)枴ざ嗬{爾對(duì)AI的未來(lái)寄予厚望，他認(rèn)為AI終將跨越界限，在解決多數(shù)數(shù)學(xué)難題上超越人類(lèi)，其迅猛發(fā)展態(tài)勢(shì)令人咋舌。 

    幾乎同時(shí)，另一場(chǎng)AI的勝利也在上演，軟件公司Numina借助其語(yǔ)言模型摘得了AI數(shù)學(xué)奧林匹克獎(jiǎng)（AIMO）的“進(jìn)步獎(jiǎng)”。然而，Numina團(tuán)隊(duì)也謙遜地指出，欲攀數(shù)學(xué)高峰，還需更多創(chuàng)新與努力。 “深度思維”團(tuán)隊(duì)在AlphaProof上的創(chuàng)新在于融合了預(yù)訓(xùn)練語(yǔ)言模型與AlphaZero的強(qiáng)化學(xué)習(xí)策略，通過(guò)自我博弈，不斷精進(jìn)解題技巧，這種自學(xué)習(xí)機(jī)制讓人聯(lián)想到人類(lèi)棋手的閉關(guān)修煉，每一次自我對(duì)弈都是對(duì)未知的探索，直至那靈光一現(xiàn)的解法躍然紙上。 

    盡管如此，AlphaProof在速度與組合數(shù)學(xué)問(wèn)題上的局限也昭示了未來(lái)的研發(fā)方向。約瑟夫·邁爾斯等數(shù)學(xué)界權(quán)威人士對(duì)此持審慎樂(lè)觀態(tài)度，認(rèn)為這一技術(shù)的完善還需時(shí)日，而何楊輝教授則看到了AI在數(shù)學(xué)證明上的輔助價(jià)值，同時(shí)也指出了AI在創(chuàng)造性思維領(lǐng)域的局限。 

    “深度思維”團(tuán)隊(duì)并未止步，他們正積極探索更多推動(dòng)數(shù)學(xué)推理的前沿AI技術(shù)，夢(mèng)想著未來(lái)數(shù)學(xué)家與AI并肩作戰(zhàn)，共同揭開(kāi)宇宙的數(shù)學(xué)奧秘。AlphaProof的此次亮相，或許正是這一美好愿景的序章，預(yù)示著人機(jī)協(xié)作新紀(jì)元的黎明。