AIGC動態歡迎閱讀

原標題：AI搶攻人類奧賽金牌！DeepMind數學模型做對25道IMO幾何題，GPT-4慘敗得0分
關鍵字：幾何,數據,符號,數學,奧林匹克
文章來源：新智元
內容字數：10069字

內容摘要：

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

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

聯系作者

文章來源：新智元
作者微信：AI_era
作者簡介：智能+中國主平臺，致力于推動中國從互聯網+邁向智能+新紀元。重點關注人工智能、機器人等前沿領域發展，關注人機融合、人工智能和機器人對人類社會與文明進化的影響，領航中國新智能時代。