Algorithm-assisted discovery of an intrinsic order among mathematical constants

被引:0
|
作者
Elimelech, Rotem [1 ]
David, Ofir [1 ]
Mengual, Carlos De la Cruz [1 ]
Kalisch, Rotem [1 ]
Berndt, Wolfgang [1 ]
Shalyt, Michael [1 ]
Silberstein, Mark [1 ]
Hadad, Yaron [1 ]
Kaminer, Ido [1 ]
机构
[1] Technion Israel Inst Technol, Dept Elect & Comp Engn, IL-3200003 Haifa, Israel
关键词
AI for science; computer-assisted discovery; number theory; mathematical constants; continued fractions; CONTINUED-FRACTION; IRRATIONALITY; CONJECTURES;
D O I
10.1073/pnas.2321440121
中图分类号
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号
07 ; 0710 ; 09 ;
摘要
In recent decades, a growing number of discoveries in mathematics have been assisted by computer algorithms, primarily for exploring large parameter spaces. As computers become more powerful, an intriguing possibility arises-the interplay between human intuition and computer algorithms can lead to discoveries of mathematical structures that would otherwise remain elusive. Here, we demonstrate computerassisted discovery of a previously unknown mathematical structure, the conservative matrix field. In the spirit of the Ramanujan Machine project, we developed a massively parallel computer algorithm that found a large number of formulas, in the form of continued fractions, for numerous mathematical constants. The patterns arising from those formulas enabled the construction of the first conservative matrix fields and revealed their overarching properties. Conservative matrix fields unveil unexpected relations between different mathematical constants, such as Jr and ln ( 2 ) , or e and the Gompertz constant. The importance of these matrix fields is further realized by their ability to connect formulas that do not have any apparent relation, thus unifying hundreds of existing formulas and generating infinitely many new formulas. We exemplify these implications on values of the Riemann zeta function C ( n ) , studied for centuries across mathematics and physics. Matrix fields also enable new mathematical proofs of irrationality. For example, we use them to generalize the celebrated proof by Ap & eacute;ry of the irrationality of C ( 3 ) . Utilizing thousands of personal computers worldwide, our research strategy demonstrates the power of large-scale computational approaches to tackle longstanding open problems and discover unexpected connections across diverse fields of science.
引用
收藏
页数:12
相关论文
共 50 条
  • [22] Stochastic Genetic Algorithm-Assisted Fuzzy Q-Learning for Robotic Manipulators
    Amit Kukker
    Rajneesh Sharma
    [J]. Arabian Journal for Science and Engineering, 2021, 46 : 9527 - 9539
  • [23] A Genetic Algorithm-Assisted Inverse Convective Heat Transfer Model for Tailoring Weld Geometry
    Bag, S.
    De, A.
    DebRoy, T.
    [J]. MATERIALS AND MANUFACTURING PROCESSES, 2009, 24 (03) : 384 - 397
  • [24] Genetic algorithm-assisted soft fusion-based linear cooperative spectrum sensing
    El-Saleh, Ayman A.
    Ismail, Mahamod
    Ali, Mohd Alaudin Mohd
    [J]. IEICE ELECTRONICS EXPRESS, 2011, 8 (18): : 1527 - 1533
  • [25] XGBoost algorithm-assisted prediction of amorphous formability of Fe-based nanocrystalline precursor
    Han, Yu
    Zhang, Gan
    Yang, Fuyao
    Dong, Yaqiang
    He, Aina
    Cao, Jianfei
    [J]. INTERMETALLICS, 2024, 166
  • [26] Short training significantly improves ganglion cell detection using an algorithm-assisted approach
    Greenberg, A.
    Samueli, B.
    Fahoum, I.
    Farkash, S.
    Greenberg, O.
    Zemser-Werner, V.
    Sabo, E.
    Hagege, R.
    Hershkovitz, D.
    [J]. VIRCHOWS ARCHIV, 2022, 481 (SUPPL 1) : S298 - S298
  • [27] Short Training Significantly Improves Ganglion Cell Detection Using an Algorithm-Assisted Approach
    Greenberg, Ariel
    Samueli, Benzion
    Fahoum, Ibrahim
    Farkash, Shai
    Greenberg, Orli
    Zemser-Werner, Valentina
    Sabo, Edmond
    Hagege, Rami R.
    Hershkovitz, Dov
    [J]. ARCHIVES OF PATHOLOGY & LABORATORY MEDICINE, 2023, 147 (02) : 215 - 221
  • [28] Genetic algorithm-assisted combinatorial search for a new green phosphor for use in tricolor white LEDs
    Sohn, KS
    Park, DH
    Cho, SH
    Kim, BI
    Woo, SI
    [J]. JOURNAL OF COMBINATORIAL CHEMISTRY, 2006, 8 (01): : 44 - 49
  • [29] Clinical Frailty Scale at presentation to the emergency department: interrater reliability and use of algorithm-assisted assessment
    Rainer Albrecht
    Tanguy Espejo
    Henk B. Riedel
    Søren K. Nissen
    Jay Banerjee
    Simon P. Conroy
    Thomas Dreher-Hummel
    Mikkel Brabrand
    Roland Bingisser
    Christian H. Nickel
    [J]. European Geriatric Medicine, 2024, 15 : 105 - 113
  • [30] Clinical Frailty Scale at presentation to the emergency department: interrater reliability and use of algorithm-assisted assessment
    Albrecht, Rainer
    Espejo, Tanguy
    Riedel, Henk B.
    Nissen, Soren K.
    Banerjee, Jay
    Conroy, Simon P.
    Dreher-Hummel, Thomas
    Brabrand, Mikkel
    Bingisser, Roland
    Nickel, Christian H.
    [J]. EUROPEAN GERIATRIC MEDICINE, 2023, 14 (06) : 1187 - 1189