谷歌数学大模型AlphaGeometry引热议,让AI做数学题到底有何重要性? 谷歌ai攻破数学难题 谷歌ai做最难数学题
admin
2024-01-24 18:30:32
0

近日,人工智能界对 在 Nature 上发表的一篇新论文议论纷纷。在论文中,研究人员创建了一个可以解决复杂几何问题的人工智能系统。

该系统名为 AlphaGeometry,它将一个语言模型与一种名为符号引擎的人工智能相结合,后者可以使用符号和逻辑规则进行推理。


(来源:AI 生成)

这是近几个月来人工智能世界第二次对数学感到兴奋。2023 年 11 月,当时有报道称, 董事会出现的戏剧性事件是由一个新的强大人工智能突破引起的。一时间,各种谣言遍布社交媒体。

据报道,该人工智能系统名为 Q*,可以解决复杂的数学计算。该公司尚未对 Q*发表评论,我们仍然不知道这是否与其 CEO 曾被罢免有关。

你不需要真的很了解数学,就能明白为什么这些进展可能非常令人兴奋。数学对人工智能模型来说真的很难。

复杂的数学比如几何,需要复杂的推理技能,许多人工智能研究人员认为,解决数学问题的能力可能预示着更强大、更智能的系统。

像 AlphaGeometry 这样的创新表明,我们正在开发具有人类一样推理技能的机器。这可以让我们构建更强大的人工智能工具,用于帮助数学家求解方程,也许还可以成为更好的辅导工具。

的康拉德·沃尔夫拉姆()说,这样的工作可以帮助我们使用计算机做出更好的决策,从而更加符合逻辑。

该公司开发了 WolframAlpha,这是一个可以处理复杂数学问题的问答引擎。上周,我在 EmTech Europe 会议上见到了他。

他说,为了让我们从人工智能中获益,人类也需要适应(人工智能)。我们需要更好地了解这项技术是如何工作的,这样我们看待问题时才能从计算机的角度出发。

说:“随着计算机的进步,人类需要适应这一点,更了解它,更熟悉它。了解它能做什么,不能做什么,我们在哪些事上能信任它,哪些事上不能信任它。”

他认为,随着我们用更强大的计算机进入人工智能时代,人类需要采用“计算思维”,即定义和理解一个问题,然后将其分解为多个部分,以便计算机能够计算出答案。

他将这一时刻与 18 世纪末大众识字率的提升相提并论,识字率的广泛增长终结了只有精英才能阅读和写作的时代。

“率先提高识字率的国家,在工业革命中受益匪浅……现在我们需要大规模的计算素养,两者是类似的。”

作者简介:梅丽莎·海基莱(Melissa Heikkilä)是《麻省理工科技评论》的资深记者,她着重报道人工智能及其如何改变我们的社会。此前,她曾在 POLITICO 撰写有关人工智能政策和政治的文章。她还曾在《经济学人》工作,并曾担任新闻主播。

支持:Ren

运营/排版:何晨龙


01/

02/

04 /

05/

相关内容

热门资讯

linux入门---制作进度条 了解缓冲区 我们首先来看看下面的操作: 我们首先创建了一个文件并在这个文件里面添加了...
C++ 机房预约系统(六):学... 8、 学生模块 8.1 学生子菜单、登录和注销 实现步骤: 在Student.cpp的...
A.机器学习入门算法(三):基... 机器学习算法(三):K近邻(k-nearest neigh...
数字温湿度传感器DHT11模块... 模块实例https://blog.csdn.net/qq_38393591/article/deta...
有限元三角形单元的等效节点力 文章目录前言一、重新复习一下有限元三角形单元的理论1、三角形单元的形函数(Nÿ...
Redis 所有支持的数据结构... Redis 是一种开源的基于键值对存储的 NoSQL 数据库,支持多种数据结构。以下是...
win下pytorch安装—c... 安装目录一、cuda安装1.1、cuda版本选择1.2、下载安装二、cudnn安装三、pytorch...
MySQL基础-多表查询 文章目录MySQL基础-多表查询一、案例及引入1、基础概念2、笛卡尔积的理解二、多表查询的分类1、等...
keil调试专题篇 调试的前提是需要连接调试器比如STLINK。 然后点击菜单或者快捷图标均可进入调试模式。 如果前面...
MATLAB | 全网最详细网... 一篇超超超长,超超超全面网络图绘制教程,本篇基本能讲清楚所有绘制要点&#...
IHome主页 - 让你的浏览... 随着互联网的发展,人们越来越离不开浏览器了。每天上班、学习、娱乐,浏览器...
TCP 协议 一、TCP 协议概念 TCP即传输控制协议(Transmission Control ...
营业执照的经营范围有哪些 营业执照的经营范围有哪些 经营范围是指企业可以从事的生产经营与服务项目,是进行公司注册...
C++ 可变体(variant... 一、可变体(variant) 基础用法 Union的问题: 无法知道当前使用的类型是什...
血压计语音芯片,电子医疗设备声... 语音电子血压计是带有语音提示功能的电子血压计,测量前至测量结果全程语音播报࿰...
MySQL OCP888题解0... 文章目录1、原题1.1、英文原题1.2、答案2、题目解析2.1、题干解析2.2、选项解析3、知识点3...
【2023-Pytorch-检... (肆十二想说的一些话)Yolo这个系列我们已经更新了大概一年的时间,现在基本的流程也走走通了,包含数...
实战项目:保险行业用户分类 这里写目录标题1、项目介绍1.1 行业背景1.2 数据介绍2、代码实现导入数据探索数据处理列标签名异...
记录--我在前端干工地(thr... 这里给大家分享我在网上总结出来的一些知识,希望对大家有所帮助 前段时间接触了Th...
43 openEuler搭建A... 文章目录43 openEuler搭建Apache服务器-配置文件说明和管理模块43.1 配置文件说明...