AIGC動態(tài)歡迎閱讀

原標(biāo)題：AI搶攻人類奧賽金牌！DeepMind數(shù)學(xué)模型做對25道IMO幾何題，GPT-4慘敗得0分
關(guān)鍵字：幾何,數(shù)據(jù),符號,數(shù)學(xué),奧林匹克
文章來源：新智元
內(nèi)容字?jǐn)?shù)：10069字

內(nèi)容摘要：

新智元報(bào)道編輯：編輯部
【新智元導(dǎo)讀】今天，谷歌DeepMind的AlphaGeometry模型登上了Nature！30道IMO幾何題中，它能做出25道，已經(jīng)接近人類金牌選手的水平！而GPT-4，卻一道題都沒做出來，直接掛了零蛋。谷歌DeepMind的AI智能體，又破紀(jì)錄了！
這個(gè)名叫AlphaGeometry的AI系統(tǒng)，能做出國際數(shù)學(xué)奧林匹克（IMO）的30道幾何題中的25道，這個(gè)表現(xiàn)，已經(jīng)接近了人類的奧數(shù)金牌得主。
從此，AI在數(shù)學(xué)領(lǐng)域的推理能力再次實(shí)現(xiàn)史詩級升級，超越此前的最高水平。
這一研究已經(jīng)登上Nature。
論文地址：https://www.nature.com/articles/s41586-023-06747-5
下面這道IMO大賽幾何真題，曾經(jīng)難倒了一大批參賽選手，而如今，AI卻能把做出來了！
更特別的是，這個(gè)模型是靠合成數(shù)據(jù)訓(xùn)練出來的，而非通常使用的真實(shí)數(shù)據(jù)。
訓(xùn)練過程是這樣的：先初始生成了十億個(gè)隨機(jī)幾何圖形，全面分析每個(gè)圖形中點(diǎn)和線的所有關(guān)系。
隨后，AlphaGeometry找出了每個(gè)圖形中所有的證明，并反向追溯出為得到這些證明所需添加的額外幾何元素（如果有

原文鏈接：AI搶攻人類奧賽金牌！DeepMind數(shù)學(xué)模型做對25道IMO幾何題，GPT-4慘敗得0分

聯(lián)系作者

文章來源：新智元
作者微信：AI_era
作者簡介：智能+中國主平臺，致力于推動中國從互聯(lián)網(wǎng)+邁向智能+新紀(jì)元。重點(diǎn)關(guān)注人工智能、機(jī)器人等前沿領(lǐng)域發(fā)展，關(guān)注人機(jī)融合、人工智能和機(jī)器人對人類社會與文明進(jìn)化的影響，領(lǐng)航中國新智能時(shí)代。