在巴斯古城舉辦的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é)作新紀元的黎明。