后 破解一道无解的数学题 去年的问题,人工智能又回来解决几何问题了。
由 Google DeepMind 开发的一种新算法 AlphaGeometry 可以解决过去国际数学奥林匹克竞赛(针对高中生的顶级竞赛)中的问题,并且可以与之前的金牌得主的表现相媲美。
当面临 30 个几何难题的挑战时,人工智能在标准规定时间内成功解决了 25 个,比之前最先进的算法多出了 15 个答案。
虽然几何常常被认为是高中数学课的祸根,但它却深深植根于我们的日常生活中。艺术、天文学、室内设计和建筑都依赖于几何学。导航、地图和路线规划也是如此。从本质上讲,几何是一种使用逻辑推理来描述空间、形状和距离的方法。
在某种程度上,解决几何问题有点像下棋。给定一些规则(称为定理和证明),每个步骤的解决方案数量有限,但找到有意义的解决方案依赖于符合严格数学规则的灵活推理。
换句话说,解决几何问题既需要创造力,又需要结构。虽然人类通过多年的练习发展了这些心理杂技技能,但人工智能却一直在苦苦挣扎。
AlphaGeometry 巧妙地将这两个功能组合到一个系统中。它有两个主要组成部分:一个试图找到答案的受规则约束的逻辑模型,以及一个产生开箱即用想法的大型语言模型。如果人工智能无法仅根据逻辑推理找到解决方案,语言模型就会开始提供新的角度。其结果是人工智能具有创造力和推理能力,可以解释其解决方案。
该系统是 DeepMind 在利用机器智能解决数学问题方面的最新尝试。但他们的目光投向了更大的目标。 AlphaGeometry 专为复杂环境(例如我们混乱的日常世界)中的逻辑推理而构建。除了数学之外,未来的迭代可能会帮助科学家在其他复杂系统中找到解决方案,例如破译大脑连接或解开导致疾病的遗传网络。
研究作者 Trieu Trinh 博士表示:“就结果而言,我们正在取得重大飞跃、重大突破。” 告诉 此 “纽约时报”.
包夹
一道简单的几何题:画一个两边长度相等的三角形。如何证明底下两个角完全相同?
这是 AlphaGeometry 面临的首要挑战之一。为了解决这个问题,你需要充分掌握几何规则,但也要有创造力来逐步找到答案。
“证明定理展示了逻辑推理的掌握......标志着卓越的解决问题的能力,”该团队 在今天发表的研究中写道 自然.
这就是 AlphaGeometry 架构的优势所在。配音 神经符号系统,它首先解决其符号推演引擎的问题。将这些算法想象为一名严格学习数学教科书并遵守规则的A级学生。他们以逻辑为指导,可以轻松地列出得出解决方案的每一步,就像在数学测试中解释一系列推理一样。
这些系统是老式的,但非常强大,因为它们不存在困扰许多现代深度学习算法的“黑匣子”问题。
深度学习重塑了我们的世界。但由于这些算法的工作原理,它们通常无法解释其输出。这对于数学来说是行不通的,因为数学依赖于可以写下来的严格的逻辑推理。
符号推演引擎抵消了黑匣子问题,因为它们是理性且可解释的。但面对复杂的问题,他们行动缓慢,难以灵活适应。
这就是大型语言模型的用武之地。作为 ChatGPT 背后的驱动力,如果有足够的训练数据,这些算法非常擅长在复杂数据中查找模式并生成新的解决方案。但他们往往缺乏解释自己的能力,因此有必要仔细检查他们的结果。
AlphaGeometry 结合了两个世界的优点。
当遇到几何问题时,符号推演引擎会首先尝试。就拿三角问题来说吧。该算法“理解”了问题的前提,因为它需要证明底部的两个角度是相同的。然后,语言模型建议从三角形的顶部一直向下画一条新线以帮助解决问题。将人工智能推向解决方案的每个新元素都被称为“构造”。
符号推演引擎接受建议并写下其推理背后的逻辑。如果构造不起作用,两个系统就会经过多轮审议,直到 AlphaGeometry 找到解决方案。
整个设置“类似于‘思考,快和慢’的想法” 写 DeepMind 博客上的团队。 “一个系统提供快速、‘直观’的想法,而另一个系统则提供更加深思熟虑、理性的决策。”
我们是冠军
与文本或音频文件不同,缺乏针对几何的示例,这使得训练 AlphaGeometry 变得困难。
作为解决方法,该团队生成了自己的数据集,其中包含 100 亿个随机几何形状的合成示例以及点和线之间的映射关系 - 类似于数学课上解决几何问题的方式,但规模要大得多。
从那时起,人工智能掌握了几何规则,并学会从解决方案中逆向工作,以确定是否需要添加任何结构。这个循环使得人工智能能够在没有任何人类输入的情况下从头开始学习。
为了对人工智能进行测试,该团队用过去十多年比赛中的 30 道奥林匹克难题对其进行了挑战。生成的结果由前奥林匹克金牌得主 Evan Chen 进行评估,以确保其质量。
总而言之,人工智能的表现与过去的金牌获得者相当,在限定时间内完成了 25 个问题。这 之前的最先进结果 共有 10 个正确答案。
“AlphaGeometry 的输出令人印象深刻,因为它既可验证又干净,”Chen 说过。 “它像学生一样使用带有角度和相似三角形的经典几何规则。”
超越数学
AlphaGeometry 是 DeepMind 对数学的最新尝试。 2021年,他们的人工智能破解了困扰人类数十年的数学难题。最近, 他们用 用于推理大学水平的 STEM 问题的大型语言模型 皴 以前“无法解决”的数学问题,基于算法的纸牌游戏 趣搜.
目前,AlphaGeometry 是为几何体量身定制的,但有一些注意事项。大部分几何图形都是可视化的,但系统无法“看到”图纸,这可以加快问题解决的速度。添加图像,也许是 谷歌的双子座人工智能去年年底推出的 可能会增强其几何智能。
类似的策略还可以将 AlphaGeometry 的影响范围扩大到需要严格推理和创造力的广泛科学领域。 (说实话——都是他们。)
该团队写道:“鉴于利用大规模合成数据从头开始训练人工智能系统的更广泛潜力,这种方法可能会影响未来人工智能系统如何发现数学及其他领域的新知识。”
- :具有
- :是
- :在哪里
- 10
- 100
- 15%
- 25
- 30
- a
- 对,能力--
- 适应
- 加
- 添加
- 忠告
- AI
- 人工智能系统
- 算法
- 算法
- 所有类型
- 允许
- 单
- 还
- 时刻
- an
- 和
- 回答
- 答案
- 任何
- 的途径
- 架构
- 保健
- 艺术
- AS
- 天文学
- At
- 尝试
- 音频
- 作者
- 背部
- 基于
- BE
- 因为
- 背后
- 最佳
- 之间
- 超越
- 大
- 位
- 黑色
- 博客
- 加强
- 都
- 双方
- 半身裙/裤
- 盒子
- 大脑
- 突破
- 建
- 但是
- by
- CAN
- 卡
- 挑战
- 挑战
- ChatGPT
- 查
- 陈
- 棋
- 程
- 清洁
- 学院
- 结合
- 如何
- 购买的订单均
- 竞争
- 比赛
- 完成
- 复杂
- 复杂
- 组件
- 连接
- 考虑
- 建设
- 核心
- 正确
- 可以
- 抵消
- 皴
- 创造力
- 信用
- 周期
- data
- 十
- 几十年
- 决策
- 深
- 深入学习
- DeepMind
- 描述
- 设计
- 开发
- 难
- 通过各种方式找到
- 疾病
- do
- 不会
- 域名
- 别
- 翻番
- 向下
- dr
- 画
- 图纸
- 驾驶
- 配音
- 两
- 每
- 容易
- element
- 嵌入式
- 发动机
- 引擎
- 更多
- 确保
- 等于
- 评估
- 所有的
- 日常
- 究竟
- 例子
- 优秀
- 扩大
- 促进
- 说明
- 说明
- 眼部彩妆
- 面临
- 失败
- 远
- 高效率
- 特征
- 特色
- 数字
- 档
- 找到最适合您的地方
- 寻找
- 姓氏:
- 柔软
- 灵活地
- 重点
- 如下
- 针对
- 突袭
- 力
- 止
- 充分
- 未来
- 游戏
- 双子座
- 生成
- 产生
- 发电
- 遗传
- 几何
- 特定
- 给
- Go
- 黄金
- 谷歌
- 经验
- 把握
- 制导
- 民政事务总署
- 有
- 帮助
- 高
- 创新中心
- HTML
- HTTPS
- 人
- 人类
- 主意
- 思路
- if
- 图片
- 想像
- 有声有色
- in
- 其他
- 令人难以置信
- 输入
- 房源搜索
- 室内
- 国际
- 成
- IT
- 迭代
- 它的
- 跳
- 只是
- 前场任意球
- 知识
- 缺乏
- 语言
- 大
- 大规模
- 大
- 名:
- 去年
- 晚了
- 最新
- 推出
- 铺设
- 铅
- 领导
- 学习用品
- 知道
- 学习
- 长度
- Level
- 生活
- 喜欢
- 极限
- 有限
- Line
- 逻辑
- 合乎逻辑的
- 机
- 制成
- 主要
- 制作
- 制作
- 地图
- 掌握
- 匹配
- 火柴
- 数学
- 数学的
- 数学
- 可能..
- 心理
- 百万
- 模型
- 模型
- 现代
- 更多
- 移动
- 许多
- 多
- 自然
- 旅游导航
- 必要
- 需求
- 打印车票
- 需要
- 全新
- 新解决方案
- 现在
- 数
- of
- 经常
- 老
- 奥运会
- on
- 一
- or
- 其他名称
- 我们的
- 输出
- 产量
- 超过
- 己
- 过去
- 模式
- 性能
- 也许
- 图片
- 规划行程
- 柏拉图
- 柏拉图数据智能
- 柏拉图数据
- 播放
- 点
- 潜力
- 可能
- 强大
- 在练习上
- 以前
- 先前
- 奖金
- 市场问题
- 问题解决
- 问题
- 证明
- 提供
- 提供
- 出版
- 拼图
- 质量
- 题
- 快速
- 随机
- 范围
- 合理的
- 达到
- 上游
- 原因
- 最近
- 关系
- 依靠
- 卓越
- 要求
- 需要
- 研究
- 导致
- 成果
- 轮
- 路线
- 定位、竞价/采购和分析/优化数字媒体采购,但算法只不过是解决问题的操作和规则。
- 同
- 鳞片
- 学校
- .
- 科学家
- 划伤
- 感
- 格局
- 形状
- 形状
- 双方
- 类似
- 单
- 技能
- 技能
- 放慢
- So
- 方案,
- 解决方案
- 解决
- 解决
- 解决
- 一些
- 太空
- 标准
- 国家的最先进的
- 干
- 步
- 直
- 策略
- 严格
- 结构体
- 奋斗
- 学生
- 学生
- 研究
- 学习
- 顺利
- 这样
- 提示
- 象征
- 合成的
- 综合数据
- 系统
- 产品
- 滑车
- 铲球
- 抢断
- 量身定制
- 采取
- 需要
- 团队
- 条款
- test
- 文本
- 这
- 未来
- 其
- 他们
- 他们自己
- 然后
- 那里。
- 博曼
- 他们
- Free Introduction
- 通过
- 次
- 至
- 今晚
- 最佳
- 顶级
- 触摸
- 向
- 培训
- 产品培训
- 二
- 直到
- 使用
- 运用
- 可验证
- 视觉
- 是
- 方法..
- 为
- ,尤其是
- 这
- 而
- 全
- 宽
- 大范围
- 更宽
- 中
- 也完全不需要
- 话
- 工作
- 世界
- 世界
- 书面
- 写
- 年
- 年
- 纽约
- 您
- 和风网