美国制造业的超级周期要来了!

青年就业难,可能低估了

《簡帛》 | 袁開慧、趙懷舟:老官山漢墓醫簡《醫馬書》簡27字詞考釋

云南永德芒果节开幕式:以节为媒 迎八方来客共享盛宴

曾建斌案的罪与罚

生成图片,分享到微信朋友圈

自由微信安卓APP发布,立即下载! | 提交文章网址
查看原文

史上最强的矩阵乘法的算法


                         





作者 | 李梅、施方圆

编辑 | 陈彩娴

10 月 5 日,AlphaTensor 横空出世,DeepMind 宣布其解决了数学领域 50 年来一个悬而未决的数学算法问题,即矩阵乘法。AlphaTensor 成为首个用于为矩阵乘法等数学问题发现新颖、高效且可证明正确的算法的 AI 系统。论文《Discovering faster matrix multiplication algorithms with reinforcement learning》也登上了 Nature 封面。

然而,AlphaTensor 的记录仅保持了一周,便被人类数学家打破了。

来自奥地利林茨约翰·开普勒大学的研究人员 Manuel Kauers 和 Jakob Moosbauer 在其最新工作中表示,他们已经打破 AlphaTensor 的矩阵乘法记录。他们开发了一种以 95 步执行 5×5 矩阵乘法的方法,比 AlphaTensor 的 96 步记录少了一步,此前的记录为 98 步。论文预印版于 10 月 13 日发布在 arxiv 上。


论文地址:https://arxiv.org/abs/2210.04045


论文标题中的 “FBHHRBNRSSSHK”其实就是 DeepMind 论文所有作者姓氏的首字母组合,这种命名方式也是很有趣了:

数学问题的探索永无止境,如作者所说,DeepMind 算法方案 “still not the end of the story”。不过,他们这次的突破是站在巨人也就是 AI 的肩膀上,作者表示,其解决方案是在 DeepMind 方案的基础上应用一系列的转换,从而消除了一步乘法计算。




1
前进 2 步的 AlphaTensor


我们先来简要回顾一下 AlphaTensor 的成绩。

计算机科学中许多数学任务都是通过矩阵乘法来处理的,例如机器学习、计算机图形的创建,各种模拟或数据压缩。而计算机计算乘法的速度要远远慢于加法,因此,即使矩阵乘法的效率提升得很小,也会产生巨大影响,几十年来,数学家们一直在寻找更有效的矩阵乘法算法。

1969 年,德国数学家 Volker Strassen 开发了一种算法,首次将 4×4 矩阵乘法的求解从 64 步减少到 49 步,震动了数学界。

而 Deepmind 这次发布的 AI 系统 AlphaTensor,发现了一种比 Strassen 算法更快的新算法。Demis Hassabis 称,新算法具备在每天数万亿次计算中将效率提高 10% ~ 20% 的潜力。

AlphaTensor 是一次从游戏到数学的飞跃,它基于 2018 年 Deepmind 发布的通用棋盘游戏 AI 系统 AlphaZero。为了训练 AlphaTensor,Deepmind 研究团队将矩阵乘法问题转化成一种 3D 棋盘游戏,每一步都会产生新算法的构建块。AlphaTensor 每次会在数万次移动中进行选择,以尽可能少的步骤生成新算法而获得奖励。Deepmind 将其称为“张量游戏”。

在 5×5 的输入矩阵中,AlphaTensor 独立发现了 Strassen 算法和其他已知的算法。并且,它还开发了比旧算法更有效的新算法。

例如,5×5 矩阵乘法(n=4)以前要计算 80 步,而 AlphaTensor 新算法只需 76 步;当n=5 时,AlphaTensor 将求解从原来的 98 步减少到 96 步。4×4 矩阵乘法由 Strassen 减少到 49 步,AlphaTensor 则将其优化到 47 步。这样的效率是由 AlphaTensor 生成的 70 多个矩阵乘法的算法实现的。



图注:AlphaTensor 发现的算法复杂性与已知矩阵乘法算法比较

此外,AlphaTensor 还可开发特定硬件的算法,用于机器学习。据说目前运行速度比谷歌 TPU 和英伟达 V100 上的算法快 20%。

自主调整乘法算法以适应硬件的方法对人类来说很困难,所以 AlphaTensor 对 Strassen 算法的改进创造了 4×4 矩阵乘法的新上限,是 AI 进步为其他学科提供助力的一大证明。它也表明,原本为传统游戏开发的 AlphaZero 系统可以解决领域之外的数学问题。




2
人类再向前 1 步


在 Manuel Kauers 和 Jakob Moosbauer 的最新研究中,他们主要有两个新发现,一是对于 4×4 矩阵,他们提出了另一种 47 步乘法的求解算法,但不同于先前的解决方案;二是对于 5×5 矩阵,他们首次提出了一种需要 95 步乘法的方案。

在这篇文章中,作者简单展示了这两个矩阵乘法的方案,不久后将发表正式论文,更详细地介绍求解算法的搜索技术。

4 × 4 矩阵的新方案共包含 47 次乘法,如下:




5×5 矩阵(n=5)的 95 步乘法方案如下:



考虑到 GPU 每天要进行万亿次矩阵计算,所以从 98 步到 96 步以及从 96 步到 95 步这样看起来很小的增量改进,实际上能大大提升计算效率,可以让 AI 应用程序在现有硬件上运行得更快。
作者介绍:
Manuel Kauers,林茨约翰内斯开普勒大学的代数教授,该大学代数研究所的负责人。其研究兴趣是计算机代数、符号求和和积分、特殊函数恒等式等。
Jakob Moosbauer,林茨约翰内斯开普勒大学代数研究所博士生。


参考链接:

1.https://the-decoder.com/deepmind-alphatensor-record-for-matrix-multiplication-held-for-a-good-week/

—版权声明—

仅用于学术分享,版权属于原作者。

若有侵权,请联系微信号:zhongyuemingmit删除或修改!

END
                                              




精选推荐

01

《高等代数》 北大版 第四版 各章知识框架全解

02

数学各学科分支:全套高清图的获取方式

03

实系数六大定理相互证明(最详细版本,值得收藏)


■ END ■

北大版-高代四课后习题A组答案-电子版:第一章  |  第二章  |  第三章  |  第四章  |  第五章  |  第六章  |  第七章  |  第八章  |  第九章  |  第十章  |
北大版-高代四课后习题A组答案-视频版:第一章   |   第二章  |  第三章  |  第四章  |  第五章  |  第六章  |  第七章  |  第八章  |  第九章  |  第十章  |
高代资料系列:高代各章知识框架全解  |  数学各学科:全套高清图的获取方式  |  高代资料书推荐  |  Eisenstein判别法的深入分析  |  整除中难题分析 |  整数的带余除法定理  |  最大公因式证明题  |  什么是高等代数  |  如何学好高等代数 |  高等代数学习心得1  |  高等代数学习心得2  |  高等代数学习心得3  |  高等代数学习心得4  |  
高代每日一题:一道行列式计算问题  |  矩阵秩的公式  |  关于正定矩阵的一道题   |  二次型正惯性指数,很容易看错的题  |  为什么要强调对高代基本概念的了解,举例说明  |  高代一个重要的结论,你是不是快忘了?  |  向量组求秩,并线性表示的内在原理到底是什么?  |  求特征值,两问看起来一样?非也  |  高代:同时可以对角化,另有证法吗? |   高代:这个求公共特征值思路难想到!  |  高代:一道多项式题,你会证吗?  |  秩为1的矩阵的性质总结  |   一道行列式计算问题  |  一道关于半正定的题  |  矩阵分解:LR分解  |  正定矩阵的行列式不大于其对角线元素之积?  |  一道数列极限题,你会吗?  |  这几个数分题你会吗?  |  一道经典极限题  |  数学分析考研冲刺讲义  |  第一型曲线、曲面积分  |  同态映射 同构映射  |  Cauchy 不等式证明方法集锦  |  每日一题76:Fourier级数  |  北京大学一道行列式计算考研题  |  曲线的参数方程与画图问题  |  

线性代数第六版答案:第一章习题解答  |  第二章习题解答  |  第三章习题解答  |  第四章习题解答  |  第五章习题解答  |  第六章习题解答 | 《线性代数》同济版 第六版 各章知识框架全解
数学学科排名: 2018数学学科排名  |  2019数学学科排名  | 2020数学学科排名  |  
考研真题解答: 2021年华中科技大学高代答案(视频+文字)  |  2019年华东师范大学高代答案(视频+文字) |  2021年东南大学数分高代考研真题  |  2017年华东师范大学高等代数考研真题及参考解答  |  2000年-2013年厦门大学高等代数考研真题  |  2021复旦大学研究生入学考试代数卷点评  |  2021年武汉大学高等代数考研真题及解答  |  2021年武汉大学数学分析考研真题及解答  |  2019年中国科学技术大学夏令营数学高代试题  |  2021年中南大学高等代数考研真题  |  2021年中南大学数学分析考研真题  |  四川大学2021年考研高等代数真题  |  中国科学技术大学2021夏令营试题  |  2021年华南师范大学数学分析考研真题  |  2020年华南师范大学数学分析考研真题及解答  |  2020年浙江大学数分高代保研真题  |  2019年中国科学技术大学数学分析考研真题及解答  |  2019年南开大学数学分析考研试题  |  2020年南开大学数学分析考研真题及解答  |  2020-2021年中山大学高等代数考研试题  |  2021年华东师范大学数学分析考研真题  |  2020年重庆大学高数代数考研真题  |  2021年同济大学数学分析考研真题  |  2021年浙江大学数学分析考研真题  |  2021年中国科学技术大学数学分析考研真题  |  2021年东南大学数分高代考研真题  |  2022年山东大学数学分析\线性代数\常微分方程考研真题  |  2022年中科院数学分析考研真题及解答  |  2022年中国科学院大学高等代数考研真题  |  2022年浙江大学高等代数考研真题  |  2022年上海师范大学数学分析考研真题  |  2022年上海师范大学高等代数考研真题  |  2020年浙江大学高等代数考研真题  |  2022年浙江大学高等代数考研真题  |  2022年同济大学数学分析考研真题  |  2022年中国科学技术大学数学分析考研真题  |  2022年中国科学技术大学高等代数考研真题  |  第十三届全国大学生数学竞赛河南赛区(非数学类,2021)决赛试卷及参考解答  |  2021年第十三届全国大学生数学竞赛非数组补赛试题  |  高等代数考研冲刺讲义  |  2021年哈尔滨工业大学高等数学考研真题  |  2021年哈尔滨工业大学数学分析考研真题  |  2021年第13届全国大学生数学竞赛数学类B卷竞赛真题及参考解答  |  2021年第13届全国大学生数学竞赛数学类A卷竞赛真题及参考解答  |  第十三届全国大学生数学竞赛预赛试题(数学A类)  |  
研究生培养: 公式转化为LaTex代码  |  如何注册arXiv  |  MathSciNet 使用指南   |  如何在MathType中输入花体(线性变换)与空心字? |  Maple的安装  |  论文编辑器LaTex的安装  |  Maple17执行命令时出现“正在与内核建立联系”   |   WinEdt 与 SumatraPDF 的正反向搜索功能 |  Latex:请教一个问题,关于连续引用多个参考文献?   |  数学学科分类系统(MSC2020)科研必备  |  Ctex中WinEdt经常弹出注册小窗口 解决办法   |  Latex中使用align来对齐多行公式的排版技巧  |  Latex:请教一个问题,关于连续引用多个参考文献?  |  怎么把文章挂arXiv上  |  Latex中使用align来对齐多行公式的排版技巧  |  Maple画点  |  JCR分区和中科院分区,你了解多少?|  论文发表二三事  |  Latex图片经常不在固定的位置怎么办?  |  本科毕业\研究生学术论文常犯问题总结  |  组合数学有哪些期刊可以投?  |  SCI 投稿Cover letter模板大全  |  SCI投稿状态解析  |  投稿经验:Journal of algebraic combinatorics  |  
数学兴趣:用数学公式怎样表白  |  研究生丛书(GTM)  |  惊呆!数学公式推导出圣诞节  |  怎么获取网络文档?  |  数学的意义(值得推荐,非常好的文章)  |  《数学,是理解世界的秘诀》  |  惊呆!数学公式推导出圣诞节  |  网络空间到底是不是线性空间?  |    网页隐藏密码的显示方法  |  多项式时间(Polynomial time)  |  世界上最美丽的23个公式  |  张奠宙:数学本质的揭示  |  如何学好高等代数  |  手绘图解:从零维到十维空间  |  P类问题、NP类问题、NPC问题、NP难问题  |  最美数学公式图形  |  和数学家一样思考的10种方法  |  数学中鲜为人知的定理!  |  学者热议中国数学教育的困境与出路  |  为什么数学是理解世界的最佳方式  |  四位数学家给研究生的忠告 |  食堂打菜阿姨对极限的理解? |   EndNote文献管理器  |  丘成桐:物理与数学的碰撞融合 |  十大中国数学之最  |  袁亚湘:数学漫谈-数学的重要性  |  怎样才能做好研究? |   2021年度邵逸夫数学科学奖   |  数论重大突破:120年后,希尔伯特的第12个数学难题借助计算机获得解决  |  那些不容错过的数学学习网站  |  瞎扯数学分析-微积分  |  你是不是经常念错:常用数学符号读法大全  |   162年难题,黎曼猜想被印度数学家迎刃而解?克雷数研所发出质疑  |  数学的威力,原则上是先求保命,再去干掉对手  |  第三届(2021)阿里巴巴全球数学竞赛决赛试题  |   北大数学天才柳智宇出家多年,首次接受记者采访  |  应用数学的强大威力  |  2021年度邵逸夫数学科学奖  |   怎么重装win10系统  |  科研人必备:SCI,SCIE,ESCI是什么?  |  20本经典数学书  |  数学家《收获与播种——格罗滕迪克自传》摘译(I)  |   详细剖析日本数学本科,俄罗斯数学本科和国内大学数学的优劣之处  |  李克强最新讲话:数学是一切科学的基础,要提高学校数理化生等基础学科教育水平  |  20本经典数学书  |  同调理论  |  微积分有多让你头秃?它的创立过程,感兴趣的来康康!  |  数学之美:当代最伟大数学家回顾过去百年的数学(一)  |  清华数学能不能赶超北大?  |  北京获团体第一,上海为最大赢家 | 第37届中国数学奥林匹克(CMO)获奖名单出炉!  |  深切悼念北京大学数学系原主任李忠教授  |  数学到底难不难?  |  数学专业就业到底怎样?看看北大“疯人院”  |  人工智能之父--图灵  |  印度天才数学家拉马努金留下的3000+神奇公式  |  流浪汉?数学家?他是谁?  |  博士统考或将取消,“出身不好”恐难读博,申请考核制成大势所趋  |  李大潜院士:没有数学,就会生活在愚昧中  |  顾森 | 中国剩余定理与贝祖定理  |  图灵奖得主:中国应该重视本科教育质量,而不是研究经费和论文数量  |  戴彧虹:坚持热爱之事 不“东张西望”  |  基础学科拔尖学生培养基地--数学有哪些学校?  |  中国高校教师已经跌入“社会底层”?「反思」“三奔一荒”?数学博士收入不如民工?  |  Nature调查:中国博士生们的科研围城  |  周向宇院士:做研究 “坐得住”比天赋更重要  |  丘成桐拉来一位大牛!又一位国际顶尖数学物理学家加盟清华  |  2021年4+2位数学院士当选  |  2021全国大学生数学建模竞赛获奖名单发布(终稿)  |  
未经允许,禁止转载


钟哥数学博士团队介绍:      团队是由国内数学“一流学科”博士组成,接受了国内顶尖教授导师的培养,数学专业知识扎实、素质过硬,博士团队有着丰富的数学(高代、数分等)基础课程的教学经验,以及数学资料的研发与制作经验。   
    高代学习QQ交流群:945166269,294667242. 加入高代数分交流微信群请加助手微信:zhongyuemingmit

让我知道你在看



文章有问题?点此查看未经处理的缓存