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 条
  • [1] Algorithm-Assisted Decision Making in Otoplasty
    Siliprandi, Mattia
    Battistini, Andrea
    Agnelli, Benedetta
    Bandi, Valeria
    Vinci, Valeriano
    Lisa, Andrea
    Maione, Luca
    Siliprandi, Luca
    [J]. AESTHETIC PLASTIC SURGERY, 2022, 46 (01) : 207 - 219
  • [2] Algorithm-Assisted Decision Making in Otoplasty
    Mattia Siliprandi
    Andrea Battistini
    Benedetta Agnelli
    Valeria Bandi
    Valeriano Vinci
    Andrea Lisa
    Luca Maione
    Luca Siliprandi
    [J]. Aesthetic Plastic Surgery, 2022, 46 : 207 - 219
  • [3] FFT Algorithm-Assisted Polarimetric Twist Sensor
    Li, Hongye
    Wang, Zhi
    Liu, Yange
    Liang, Hu
    [J]. IEEE PHOTONICS TECHNOLOGY LETTERS, 2017, 29 (23) : 2083 - 2086
  • [4] Managing lane-changing of algorithm-assisted drivers
    Markakis, Mihalis G.
    Talluri, Kalyan
    Tikhonenko, Dmitrii
    [J]. TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2022, 138
  • [5] Optimal regimes for algorithm-assisted human decision-making
    Stensrud, M. J.
    Laurendeau, J. D.
    Sarvet, A. L.
    [J]. BIOMETRIKA, 2024,
  • [6] Recognition of Respiratory Dysfunctions Using Algorithm-Assisted Portable Airflow Sensors
    Jhunjhunwala, Megha
    Lin, Hui-Ling
    Li, Geng-Yue
    Chen, Chi-Shuo
    [J]. ECS JOURNAL OF SOLID STATE SCIENCE AND TECHNOLOGY, 2020, 9 (11)
  • [7] Genetic Algorithm-Assisted Feature Extraction and Selection for Global Motion Estimation
    Rao, Nikhil N.
    Srikanth, S.
    Hegde, Vinay G.
    Prasad, Guru B. R.
    [J]. 2012 INTERNATIONAL CONFERENCE ON DIGITAL IMAGE COMPUTING TECHNIQUES AND APPLICATIONS (DICTA), 2012,
  • [8] A genetic algorithm-assisted deep learning approach for crop yield prediction
    Luning Bi
    Guiping Hu
    [J]. Soft Computing, 2021, 25 : 10617 - 10628
  • [9] A genetic algorithm-assisted deep learning approach for crop yield prediction
    Bi, Luning
    Hu, Guiping
    [J]. SOFT COMPUTING, 2021, 25 (16) : 10617 - 10628
  • [10] Discovery of New Green Phosphors and Minimization of Experimental Inconsistency Using a Multi-Objective Genetic Algorithm-Assisted Combinatorial Method
    Sharma, Asish Kumar
    Kulshreshtha, Chandramouli
    Sohn, Kee-Sun
    [J]. ADVANCED FUNCTIONAL MATERIALS, 2009, 19 (11) : 1705 - 1712