尊龙人生就是博

搜索 猫眼影戏 融媒体矩阵
  • 山东手机报

  • 猫眼影戏

  • 公共网官方微信

  • 公共网官方微博

  • 抖音

  • 人民号

  • 全国党媒平台

  • 央视频

  • 百家号

  • 快手

  • 头条号

  • 哔哩哔哩

首页 >新闻 >社会新闻

谷歌AI解决IMO中84%的几何问题,o1一道没对!已超金牌得主均分

2025-02-14 01:46:39
来源:

猫眼影戏

作者:

吴涤清

手机检察

  猫眼影戏记者 维克拉马基奇亚 报道P6F9A2Y5R3B1T0V4X8W

梦晨 发自 凹非寺量子位 | 民众号 QbitAI 谷歌DeepMind最新数学AI,一举解决了2000-2024年IMO竞赛中84%的几何问题。 AlphaGeometry2论文宣布,在总共50道题中完成了42道,相比去年的一代多完成了15道。 作为比照,纯语言模型OpenAI o1和Gemini Flash Thinking一道都解决不了。 Nature发文评价:DeepMind AI破坏了数学难题,抵达金牌得主水平,与顶级人类选手相当。 就好比说2024年竞赛中的第四题,AlphaGeometry2完成它只需要19秒。 如图所示,这道题要求证明∠KIL和∠XPY的合即是180°(蓝色体现)。 AlphaGeometry2结构的辅助线用红色体现,E是BI延长线上的点,使得∠AEB=90°,通过E点进一步获得了几对相似三角形,最终完成证明。 通讯作者Thang Luong分享了更猖獗的一道题,来自IMO Shortlist 2009。 凭据谷歌咨询的IMO教练,此问题以前仅有数值解。 但AlphaGeometry2巧妙地结构出了庞大的辅助结构(红色体现),给出优雅的证明,这些辅助点的位置都是神经网络预测的。 AlphaGeometry2四大升级 凭据论文介绍,AlphaGeometry2取得大幅提升主要来自于4项升级: - 扩展版的领域专用语言- 升级版的符号推理引擎DDAR2- 全新的搜索算法SKEST- 更强大的语言模型 扩展几何领域专用语言 AlphaGeometry1中的领域专用语言只包括9个基本“谓词”,包括相等、笔直、平行、共线、共圆等。 这足以笼罩2000-2024年所有IMO几何问题中66%的情况,但无法体现线性方程、点/线/圆的移动,以及“盘算某个角度”等常见问题。 在进行增补之后,笼罩率从66%提高到88%。 借助领域专用语言,AlphaGeometry系统可以做到自动形式化和自动生成示意图。 这样一来,只剩下12%涉及3D几何、不等式、非线性方程和可数的多个点问题。 关于这些问题,AI只能跳过,在图中标记为“Not attempted”。 更强大、更快的符号推理引擎DDAR2 符号引擎推理是AlphaGeometry的焦点组件,称为DDAR(Deductive DatabaseArithmetic Reasoning,演绎数据库算术推理)。 它基于给定的一组焦点初始事实,盘算所有可推导事实的荟萃,遵循一组牢固的演绎规则迭代地将新事实添加到荟萃中,直到不可再添加为止。 DDAR既卖力生针言言模型的训练数据,在测试时也卖力搜索推理办法。 DDAR2有三个主要革新: 增加处理两个名称差别但坐标相同的点的能力。 更快的算法:提取所有要害规则并硬编码,把最坏情况的时间庞漂后从8次方减少到三次方级别;舍弃了关于角度和距离的显式规则,改为自动完成。 更快的代码实现,从Python改成C++,在AMD EPYC 7B13 64核CPU上快了300倍。 全新的搜索算法SKEST 多个配置差别的搜索树并行运行,通过知识共享机制相互启发,从而更高效地寻找证明路径。 在每个搜索树中,一个节点包括一次辅助结构结构和符号引擎的实验。 如果乐成了,所有搜索树便会终止。 如果失败了,这次实验乐成证明的事实会被纪录到共享事实库中,事实对同一搜索树中的其他节点以及差别搜索树中的节点都可能有用。 更强大的语言模型:最新Gemini AlphaGeometry2的语言模型接纳最新的Gemini架构,设计了三种训练要领: 在领域专用语言的自界说分词器上重新预训练在自然语言上微调预训练的数学版Gemini用特另外图像输入重新开始多模态训练。 通过实验得出如下结论: 分词器和训练数据,都不是要害因素。 较小词汇表的分词器和通用Gemini分词器,取得了相似的结果自然语言训练和领域专用语言训练,也是相似的结果 视觉信息和图示对解决几何问题并不重要,几何问题解决的焦点在于代数推理,而不是几何推理。 单独使用多模态模型,没有显著提高系统的能力多模态模型生成的辅助点与其他模型差别,通过知识共享和其他模型组合起来可以提高整体性能 One More Thing 2023年,专门为AI设立的数学竞赛AIMO开办,第一个获得金牌的AI系统能赢500万美元奖金,但要求系统必须开源。 虽然现在AlphaGeometry2已经有了获得金牌的能力,但他不开源。 对这个领域感兴趣的团队另有时机哦~ 最后,2025年的IMO竞赛将于7月份在澳大利亚举行。 论文地点:https://arxiv.org/pdf/2502.03544 参考链接:[1]https://x.com/lmthang/status/1887928665100665111[2]https://www.nature.com/articles/d41586-025-00406-7#ref-CR2

??时事1:十八禁的黄色网站

??02月14日,(巴黎奥运)体操女子自由操:巴西选手安德拉德摘金,

  总之,几年来,通过**村村“两委”班子的配合努力,各项事情获得了一些效果,全村经济社会的获得了生长,可是在肯定结果的同时,我们也清醒的认识到事情中还保存一些问题,在以后的事情中我们将沉下心来,增强学习,特别是增强向“先进村”学习经验,增强自身的能力和素质,以越发饱满的热情,越发振奋的精神,越发旺盛的斗志,团结领导宽大群众,勤奋事情,扎实苦干,为建设社会主义新农村做出新的更大孝敬!

,放开那个反派让我来。

??02月14日,生态环境部印发《关于进一步深化环境影响评价改革的通知》,

  西津物流建立以来,紧扣绵阳“两化”互动主线,在城镇化和工业化中发挥采购优势。一方面在城镇化中,与地产、文旅、都会运营、金融、建工等机构相助,另一方面在工业化中,与海内大型工业企业相助,充分发挥西津物流在钢材、水泥、线缆、房产机电设备等领域上的商贸优势。同时,公司凭据集团统筹要求,正在与有关部分对接物流园区投资建设。

,丁香九月加勒比国产精品,久久久精品1九九,亚洲国产精品314。

??时事2:黄片视频艹碧视频

??02月14日,法国豫园灯会正式拉开中法建交60周年庆祝活动序幕,

  “敌袭,准备战斗!”尖锐的啸声响起,山寨大乱,所有凶寇都站了起来。

,欧美黄色视频免费看,日韩影院软件app官网,东京热一区二区视频。

??02月14日,伊朗最高领袖首次回应以色列袭击,

  立异工厂的主要预期分为三部分:从人才培养的角度,我们希望看到越来越多的青年在我们的资助下实现梦想、创立奇迹;从公司商业运作的角度,希望每年能够孵化出3-5个成熟的公司,看到他们一天天的生长;从投资者的角度,我们希望在几年之后就能够有对投资者有优厚的回报。

,免费91在线精品,蝌蚪窝释放老司机,国产乱对白刺激视频网。

??时事3:国产AV演绎

??02月14日,财政部拟第一次续发行2024年记账式附息(二十一期)国债(1年期),

  狈村许多人弯弓搭箭,就要射杀石昊,进行救援。

,国产a级理论片免费网站,天天干狠狠插,国产性爱在线看。

??02月14日,“五一”假期中国国内旅游出游2.95亿人次,

  城外兽群不散,且有凶禽横空,在这里彷徨,并未因死去一批同类而退缩。

,九一av在线,网站的目的和意义,国产片日产片大全高清。

??时事4:成版人豆奶app破解版

??02月14日,山西襄垣:新“鸡”遇唱响“致富曲”,

  6 、逾越之作,续写大品牌新传奇

,色呦呦是什么,色色色色.com,欧美xx性爱。

??02月14日,江西庐山如琴湖日落美景再现李白梦幻诗境,

  时间一点一点流逝,远处传来阵阵兽吼声,小不点担心,不知道石村的人听到了青鳞鹰的长鸣没有。

,富婆找黑人老外泻火在线播放,aⅴ色综合网,黑人孕妇性视频。

责编:金丝豆

审核:李军平

责编:卢学民

相关推荐 换一换

Copyright (C) 2001-2025   dzwww.com. All Rights Reserved

新闻信息效劳许可证 - 音像制品出书许可证 - 广播电视节目制作经营许可证 - 网络视听许可证 - 网络文化经营许可证

山东省互联网传媒集团主办  联系电话:0531-85193202  违法不良信息举报电话:0531-85196540

鲁ICP备09023866号-1   鲁公网安备 37010202000111号  

Copyright (C) 2001-2025 Dzwww   鲁ICP备09023866号-1

网站地图