人工智能成功挑战奥数难题
据美国《纽约时报》网站1月17日报道,人工在4年时间里,成功计算机科学家郑潮(音)一直被某件类似于元数学问题的挑战任务弄得心神不宁:如何构建一个可以解答国际数学奥林匹克竞赛中的几何题的人工智能模型。国际奥数竞赛是奥数一年一度全世界最有数学才能的高中生的比赛。
上周,难题郑潮在纽约大学成功地进行了自己有关该课题的人工博士学位论文答辩。他在学术期刊《自然》杂志上介绍了自己辛苦研究的成功成果。这个名为“阿尔法几何”(AlphaGeometry)的挑战系统能够以接近于人类金牌得主的水准解答奥数竞赛中的几何题。
在开发该项目的奥数过程中,郑潮向谷歌公司的难题两位研究科学家进行了推介,他们举荐他在2021年至2023年间担任了谷歌公司常驻科学家。人工“阿尔法几何”系统加入了谷歌旗下“深层思维”公司的成功人工智能系统群体,该群体已经因为解决重大挑战而被人熟知。挑战其中最著名的奥数也许是2017年征服了国际象棋的深度学习算法“阿尔法零”。数学是难题一类更加困难的问题,因为通往答案的可能路径的数目有时是无限的,而国际象棋的套路总是有限的。
论文第一作者、该项目的主要推手郑潮说:“走在错误的道路上,我曾不断地进入死胡同。”
论文的联合作者包括:郑潮在纽约大学的博士生导师何河、被称为“托尼”的xAI公司联合创始人吴宇怀,以及来自谷歌的主要研究者梁胜(音)和同样来自谷歌的黎国(音)。吴宇怀以前也在谷歌工作,他曾在2019年独立地开始探索一种类似的设想。
郑潮的坚持有了收获。他说:“我们谈不上是循序渐进。我们是在一步登天,即在结果方面取得了重大突破。”“只是不要过分夸大这一点。”
郑潮从2000年至2022年的国际奥数竞赛试卷中抽取30道几何题组成一套试卷,对“阿尔法几何”系统进行测试。该系统解出了25道题;在奥数竞赛史上,同时期的人类金牌得主平均解出25.9道题。郑潮还把这些题目交给上世纪70年代开发出的一个曾被认为是最强几何定理证明器的系统;它解出了10道题。
在过去几年里,谷歌“深层思维”公司开展了若干探索人工智能的数学应用的项目。而在这个研究领域中,更为普遍的做法是把奥数竞赛题作为一种基准:OpenAI和元宇宙AI公司已经取得了一些成果。作为额外要求,还有“国际奥数大挑战题”以及去年11月宣布的一项新挑战——“人工智能数学奥林匹克奖”,该奖项悬赏500万美元以征集第一个可以赢得奥数竞赛金牌的人工智能系统。
介绍“阿尔法几何”系统的论文开门见山提出了证明奥数定理“代表人类级自动推理技术的一个重要里程碑”的论点。
爱丁堡大学数学和科学史学家迈克尔·巴拉尼说,他想知道这是不是一个有意义的数学里程碑。他说:“国际奥数竞赛所考察的东西,与绝大多数数学家心目中的创造性数学是截然不同的。”
加利福尼亚大学洛杉矶分校数学家、12岁时成为史上最年少奥数金牌得主的陶哲轩说,他认为“阿尔法几何”系统“干得不错”,取得了“令人意想不到的厉害结果”。
他说,对某个人工智能系统进行微调以解答奥数题或许不会提升其深度研究技能,但在这个案例中,过程或许被证明比目标更有价值。
正如郑潮认为的,数学推理只是推理的一种类型,但它具有易验证的优势。他说,“数学是真理的语言。如果你想构建某种人工智能,重要的是构建你可以信赖的求真、可靠的人工智能”,尤其是对于“安全性至关重要的应用”。(编译/曹卫国)
相关文章
- 每四個高中以上學生,就有一個借錢上學,借錢總人數已突破五十萬。 從「白手起家」變成「負債起家」, 當「負債」變成普遍的現象,對台灣會有什麼影響?2024-05-21
三星擬擴大「台韓聯盟」,委外代工聯電、世界先進與力積電,專心對抗台積電
面對台積電TSMC)市占率持續領先,韓國三星Samsung)考慮讓更多晶片「委外生產」,除了目前的戰略夥伴聯電UMC),再傳還要將世界先進Vanguard)和力積電PSMC)等台廠納入供應鏈,並啟動歐2024-05-21《瘋人說》:在社區的人眼裡,是「瘋女人和傻子」;在醫生眼裡,是「康復患者和患者」
文:穆戈壓抑的性欲望——強迫症我輪值到CDC隨訪出院病人時,參加過一個康復患者的相親。她叫淑芬,三十四歲,離異單身,病症是思覺失調症伴隨嚴重強迫症。我隨訪時她已經出院一個半月了。這場相親非常尷尬,我幾2024-05-21資金轉入美元避險,全球央行逢低搶買黃金,Q3全球需求暴增近3成
近月原本相當弱勢的金價可能逆轉。世界黃金協會World Gold Council)昨2)日公布,今2022)年第3季黃金需求相較去2021)年同期成長近3成,達到1181頓,截至9月相較同期成長2成,2024-05-21- 稻田里的象山大白鹅(资料图)。黄黎娟摄中新网宁波6月2日电(林波 郁晶莹)漠漠水田飞白鹭,阴阴夏木啭黄鹂,在浙江省宁波市象山县黄避岙乡里海荷塘田园综合体的青青新苗中,大白鹅的身影若隐若现,一派田园好风2024-05-21
LGBT在東帝汶處境為何?法律保障性別認同,但性別暴力文化仍根深蒂固
在4月19號,東帝舉行了第二輪的總統大選投票。根據選舉機關的最初計票結果,前諾貝爾得主、2006-2007前首相、以及2007-2012前總統何塞.拉莫斯.霍塔José Ramos-Horta)以392024-05-21
最新评论