使用 AlphaTensor 发现新算法

在我们今天发表在《自然》杂志上的论文中,我们介绍了 AlphaTensor,这是第一个用于发现新颖、高效且​​可证明正确的基本任务算法(例如矩阵乘法)的人工智能 (AI) 系统。这揭示了数学中一个 50 年前的悬而未决的问题,即找到将两个矩阵相乘的最快方法。这篇论文是 DeepMind 推动科学发展和利用人工智能解决最基本问题的使命的垫脚石。我们的系统 AlphaTensor 以 AlphaZero 为基础,AlphaZero 是一个在国际象棋、围棋和将棋等棋盘游戏中表现出超人表现的代理,这项工作首次展示了 AlphaZero 从玩游戏到解决未解数学问题的历程。

来源:DeepMind - 新闻与博客

研究

使用 AlphaTensor 发现新算法

已发布2022 年 10 月 5 日作者Alhussein Fawzi、Matej Balog、Bernardino Romera-Paredes、Demis Hassabis、Pushmeet Kohli
已发布
2022 年 10 月 5 日
作者
Alhussein Fawzi、Matej Balog、Bernardino Romera-Paredes、Demis Hassabis、Pushmeet Kohli

Alhussein Fawzi、Matej Balog、Bernardino Romera-Paredes、Demis Hassabis、Pushmeet Kohli

AlphaZero 首次扩展到数学,为研究开启了新的可能性

数千年来,算法一直帮助数学家执行基本运算。古埃及人创造了一种无需乘法表即可将两个数字相乘的算法,希腊数学家欧几里得描述了一种计算最大公约数的算法,该算法至今仍在使用。

在伊斯兰黄金时代,波斯数学家 Muhammad ibn Musa al-Khwarizmi 设计了新的算法来解决线性和二次方程。事实上,al-Khwarizmi 的名字(翻译成拉丁语为 Algoritmi)导致了算法一词的出现。但是,尽管今天人们对算法很熟悉(从课堂代数到前沿科学研究,整个社会都在使用算法),但发现新算法的过程却异常困难,这是人类大脑惊人推理能力的一个例子。

穆罕默德·伊本·穆萨·花拉子米 算法

在我们今天发表在《自然》杂志上的论文中,我们介绍了 AlphaTensor,这是第一个用于发现新颖、高效且​​可证明正确的基本任务算法(例如矩阵乘法)的人工智能 (AI) 系统。这揭示了数学中一个 50 年前的悬而未决的问题,即找到将两个矩阵相乘的最快方法。

论文 AlphaTensor 在国际象棋、围棋和将棋等棋盘游戏中表现出超人的表现

矩阵乘法

将两个 3x3 矩阵相乘的过程示例。
将两个 3x3 矩阵相乘的过程示例。

两个 3x3 矩阵相乘过程的示例。

致谢