算法辅助的数学常数内在顺序的发现

@第{Elimelech2023条AlgorithmassistedDO，title={算法辅助发现数学常数之间的内在顺序}，作者＝{Rotem Elimelech和Ofir David和Carlos De la Cruz Mengual和R.Kalisch和Wolfgang Berndt和M Shalyt和Mark Silberstein以及Yaron Hadad和Ido Kaminer}，日志={ArXiv}，年份={2023}，体积={abs/2308.11829}，url={https://api.semanticscholar.org/CorpusID:261076321}}
开发了一种大规模并行计算机算法，发现了数量空前的基本数学常数连分式公式，统一了数千个现有公式，生成了无限多个新公式，并导致不同数学常数之间出现了意想不到的关系。
[PDF]语义阅读器

本文图表

56参考文献

利用整数序列分析自动搜索数学常数猜想

本文介绍了枚举有符号压缩分数Massey Approve算法，该算法基于Berlekamp-Massey算法，用于识别表示数学常数的整数序列中的模式，并介绍了用于操作连分数的数学工具。

用Ramanujan机器生成基本常数猜想

一种称为Ramanujan机器的方法演示了如何使用算法以基本常数公式的形式找到数学猜想，其中一些尚未得到验证。

用人工智能引导人类直觉推进数学发展

本文提出了一个框架，通过该框架，机器学习可以指导数学家发现新的猜想和定理，并证明了该框架可以对纯数学不同领域中的重要开放问题产生数学见解。

多项式时间、数值稳定的整数关系算法

本文证明了PSLQ算法在多次迭代中以一个关系终止，该关系由其中的一个多项式限定，这种稳定性可以用来证明使用该算法从计算机运行中获得的关系界在数值上是准确的。

无理测度与多项式连分式的关系

具有整数系数的线性递归，例如生成斐波那契序列的线性递归已经被深入研究了数千年，但仍然隐藏着新的数学。这样的递归是…

无穷连分式无穷族精确值的自动猜测与证明

这项工作指导计算机不仅发现和证明他们关于某些特定无限连分式的精确值的一些猜想，而且将它们推广到计算无限族（自然推广它们的族）。

多项式连分式展开的实数

在本文中，我们展示了如何应用各种技术和定理（包括Pincherle定理、等价于无穷级数和连分式的Euler公式的扩展、…

利用强化学习发现更快的矩阵乘法算法

基于AlphaZero的强化学习方法用于发现高效且可证明正确的矩阵乘法算法，为各种矩阵大小找到更快的算法。

圆周率公式和算法的历史

为了打破计算这个数字的记录，人们进行了一场持续不断的战斗；使用快速收敛级数、超快速算法和非常令人惊讶的算法，计算孤立的数字，创造了记录。

超几何（普通和“q”）多和/积分恒等式的算法证明理论

证明了每一个具有固定数量和/或积分符号的“适当超几何”多重和/积分恒等式或q恒等式都具有一个简短的、计算机可构造的…
...