在巴斯古城舉辦的2024年國際數學奧林匹克競賽(IMO)的舞臺上,一場科技與智慧的交融震撼上演。谷歌旗下的“深度思維”公司以其創(chuàng)新的人工智能系統(tǒng),書寫了歷史新篇章——該系統(tǒng)以一分之遙與金牌擦肩,榮獲銀牌,成為了首位踏足IMO榮耀殿堂的AI選手。這一壯舉,不僅是對機器智能邊界的勇敢探索,更是對未來教育與科技共生可能性的深刻預示。
據《自然》雜志網絡版7月27日報道,“深度思維”正引領一場數學界的AI革命,向那些長期以來被認為是人類智慧獨占領域的難題發(fā)起挑戰(zhàn)。IMO,這一數學精英的競技場,逐漸成為衡量人工智能高級邏輯推理能力的黃金標準。此次AI的卓越表現,宛如一束光芒,照亮了AI在破解數學謎題領域超越頂尖學生的曙光之路。
在這場智力盛宴中,“深度思維”的AI系統(tǒng)猶如一位深邃的數學哲學家,優(yōu)雅地解決了六道試題中的四道,以28分的總成績傲立銀牌之位。這一系統(tǒng)集成兩大“智腦”——AlphaProof與AlphaGeometry 2。AlphaGeometry 2,作為AlphaGeometry的升級迭代,以一種近乎藝術的方式破解了IMO的幾何難關,而AlphaProof則以其敏銳的邏輯洞察力,在代數與數論的迷宮中找到了通往真理的道路。
值得注意的是,AlphaGeometry 2在賽前就已經展現出非凡的實力,能夠攻克過去25年間IMO幾何問題中的絕大多數,相比其前輩,進步之大令人贊嘆。對此,“深度思維”AI科學的掌舵者普什米特·科利自豪地宣布,這是AI系統(tǒng)首次達到IMO獎牌級的成就。而IMO主席格雷戈爾·多利納爾對AI的未來寄予厚望,他認為AI終將跨越界限,在解決多數數學難題上超越人類,其迅猛發(fā)展態(tài)勢令人咋舌。
幾乎同時,另一場AI的勝利也在上演,軟件公司Numina借助其語言模型摘得了AI數學奧林匹克獎(AIMO)的“進步獎”。然而,Numina團隊也謙遜地指出,欲攀數學高峰,還需更多創(chuàng)新與努力。 “深度思維”團隊在AlphaProof上的創(chuàng)新在于融合了預訓練語言模型與AlphaZero的強化學習策略,通過自我博弈,不斷精進解題技巧,這種自學習機制讓人聯想到人類棋手的閉關修煉,每一次自我對弈都是對未知的探索,直至那靈光一現的解法躍然紙上。
盡管如此,AlphaProof在速度與組合數學問題上的局限也昭示了未來的研發(fā)方向。約瑟夫·邁爾斯等數學界權威人士對此持審慎樂觀態(tài)度,認為這一技術的完善還需時日,而何楊輝教授則看到了AI在數學證明上的輔助價值,同時也指出了AI在創(chuàng)造性思維領域的局限。
“深度思維”團隊并未止步,他們正積極探索更多推動數學推理的前沿AI技術,夢想著未來數學家與AI并肩作戰(zhàn),共同揭開宇宙的數學奧秘。AlphaProof的此次亮相,或許正是這一美好愿景的序章,預示著人機協(xié)作新紀元的黎明。