当前位置:首页 > 外汇资讯 > 正文内容

数学界的AlphaGo时刻:谷歌DeepMind AI 19秒解 IMO几何题,仅差1分即可摘金牌

激石外汇2024-07-26 11:58:53外汇资讯219

激石Pepperstone(http://www.paraat.net/)报道:

高级数学推理是现代人工智能的关键能力。今天,Google宣布了一项长期重大挑战中的一个重要里程碑:Google混合人工智能系统在今年的国际数学奥林匹克竞赛(IMO)中获得了相当于银牌的成绩

具体来说google展示了第一个以银牌级别解决国际数学奥林匹克问题的人工智能

它结合了 AlphaProof(一种新的突破性形式推理模型)和 AlphaGeometry 2(之前系统的改进版本)

国际数学奥林匹克竞赛是全球最悠久、规模最大、最具声望的青年数学家比赛,自1959年起每年举办一次。参赛者需要解决六道涉及代数、组合学、几何和数论的极其困难的问题。许多菲尔兹奖得主曾在青年时期代表国家参加过IMO。近年来,IMO也成为了机器学习领域的一个重要挑战,被视为衡量人工智能系统高级数学推理能力的标杆

在今年的比赛中,DeepMind的AI系统获得了28分(满分42分),相当于银牌获得者的水平。这一成绩仅差1分就能达到金牌标准,而在今年的609名参赛者中,只有58人获得了金牌

AlphaProof:形式化数学推理的突破

AlphaProof系统采用强化学习方法,将预训练的语言模型与AlphaZero算法相结合。这种方法的优势在于可以正式验证涉及数学推理的证明的正确性。为了克服形式化语言训练数据不足的问题,研究团队通过微调Gemini模型,创建了一个包含各种难度的形式化问题库

AlphaProof是一个自学习系统,专门用于在形式化数学语言Lean中证明数学陈述。它的核心创新在于结合了预训练语言模型和AlphaZero强化学习算法

工作流程如下:

1.问题转化:首先,使用经过微调的Gemini模型将自然语言的数学问题自动转换为Lean的形式化语言。这一步骤创建了一个大型的形式化问题库,涵盖不同难度级别

2.解决方案生成:面对一个新问题时,AlphaProof会生成可能的解决方案

3.证明搜索:系统在Lean中搜索可能的证明步骤,试图证明或反驳这些解决方案

4.强化学习:每找到并验证一个证明,就用它来强化AlphaProof的语言模型,提高系统解决后续更具挑战性问题的能力

5.持续训练:在准备IMO比赛期间,AlphaProof在数周内证明或反驳了数百万个问题,覆盖各种难度和数学主题。在比赛过程中,它还继续应用这个训练循环,通过证明自己生成的比赛问题变体来增强能力,直到找到完整解决方案

AlphaGeometry 2

AlphaGeometry 2是AlphaGeometry的改进版本,它的语言模型基于Gemini,并在比前代多一个数量级的合成数据上进行了训练

AlphaGeometry 2是一个神经符号混合系统。主要改进包括:

1.增强的语言模型:基于Gemini,从头开始训练,使用了比前代多一个数量级的合成数据。这大大提高了模型处理复杂几何问题的能力,包括物体运动、角度方程、比例或距离等问题

2.更快的符号引擎:新版本的符号处理引擎速度提高了两个数量级,大大加快了问题解决速度

3.知识共享机制:引入了新的知识共享机制,能够高级组合不同的搜索树,以解决更复杂的问题

4.性能提升:在接受今年IMO比赛前,AlphaGeometry 2能够解决过去25年IMO几何问题的83%,远超前代系统53%的解决率

5.实时表现:在今年的IMO中,AlphaGeometry 2在接收到形式化的第4题后,仅用19秒就解决了这个问题

6.DeepMind的研究团队还在探索基于自然语言推理的系统,这种系统不需要将问题转换为形式化语言,可能与其他AI系统结合使用。这种方法在今年的IMO问题上也显示出了巨大的潜力         

扫描二维码推送至手机访问。

版权声明:本文由激石Pepperstone发布,如需转载请注明出处。

本文链接:http://www.paraat.net/news/3371.html

分享给朋友:

“数学界的AlphaGo时刻:谷歌DeepMind AI 19秒解 IMO几何题,仅差1分即可摘金牌” 的相关文章

半年收官,十大牛股出炉,“榜一”27个涨停板!多数板块调整,唯独它逆势大涨!

半年收官,十大牛股出炉,“榜一”27个涨停板!多数板块调整,唯独它逆势大涨!

激石Pepperstone(http://www.paraat.net/)报道: 6月最后一个交易日,A股三大股指以阳线收官,为上半年行情画上圆满句点。上证指数定格3398.62点,半年下跌6.63%;深证成指报12896.20点,半年下跌13.20%;创业板指报2810.60点,...

A股冲高回落!锂电股上冲 电力、稀土震荡走强 食品饮料、猪肉股疲软

A股冲高回落!锂电股上冲 电力、稀土震荡走强 食品饮料、猪肉股疲软

激石Pepperstone(http://www.paraat.net/)报道:7月5日周二,三大指数高开后冲高回落。其中创业板指一度涨逾1%,随后下行翻绿。 截至发稿,沪指涨0.10%,深成指跌0.45%,创业板指跌0.55%。 盘面上,锂电板块活跃,电力、稀土震荡走强,煤炭板块走高,旅游酒店、...

美联储“信誉”岌岌可危!继续激进紧缩才是出路?

激石Pepperstone(http://www.paraat.net/)报道:物价还在飙涨,衰退已经逼近,在驯服通胀和保全经济之间如何选择,是当下美联储面临的最大考验。 美联储官员的最新表态,以及本周公布的6月FOMC会议纪要都表明,控制通胀依然是美联储的头号优先级,因为这事关美联储的“信誉”问题...

伊朗大动作!原油市场迎来关键时刻!拜登即将出访中东,要施压沙特增产?

伊朗大动作!原油市场迎来关键时刻!拜登即将出访中东,要施压沙特增产?

激石Pepperstone(http://www.paraat.net/)报道:本周,美国总统拜登将开启中东之行。按此前计划,拜登将于7月13日至16日访问以色列、约旦河西岸和沙特阿拉伯。 分析人士认为,拜登此次中东之行有三重考量。首先,要争取说服海湾产油国增产石油,以缓解因为制裁俄罗斯引发的能源...

6月原煤生产增速加快 原油、天然气生产保持增长 电力生产由降转增

6月原煤生产增速加快 原油、天然气生产保持增长 电力生产由降转增

激石Pepperstone(http://www.paraat.net/)报道:7月15日国家统计局发布,6月份规模以上工业原煤、原油、天然气、电力生产均保持增长。与5月份相比,原煤生产增速加快,原油生产保持稳定增长,天然气生产放缓,电力生产由降转增。 原煤、原油和天然气生产及相关情况 原煤生产增速...

由降转升!中国6月社会消费品零售总额同比增长3.1% 汽车消费强劲反弹

由降转升!中国6月社会消费品零售总额同比增长3.1% 汽车消费强劲反弹

激石Pepperstone(http://www.paraat.net/)报道:连续三个月负增长后,中国6月社会消费品零售总额同比增速转正,其中汽车类、石油及制品类零售增速反弹明显。 7月15日,统计局公布数据显示,6月份,社会消费品零售总额38742亿元,同比增长3.1%,前值为下滑6.7%。其中...