Papers of the day   All papers

The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants

Comments

Jul 04 2019 hardmaru

The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants Like GIMPS or SETI@home, they launch a distributed platform for finding new formulas for fundamental constants. Found new ways to calculate π, 𝑒: http://www.ramanujanmachine.com/ https://arxiv.org/abs/1907.00205 https://t.co/HJyi5Cl51x
3 replies, 314 likes


Jul 03 2019 John Carlos Baez

The "Ramanujan machine" has found some nice new continued fraction formulas! Are they really new? Are they really true? If so, how long will it take to prove them??? Let the race begin! A new day in mathematics dawns! (cont) https://t.co/BWhTJYMwI6
4 replies, 132 likes


Jul 03 2019 John Carlos Baez

Here are some of the formulas discovered by this algorithm. It'll be fun to see what experts on Ramanujan-type continued fractions will say. Are these easy consequences of known results, or will proving them require new ideas? Here is the paper: https://arxiv.org/abs/1907.00205 https://t.co/PAgoqAvzR7
9 replies, 124 likes


Jul 11 2019 Subhash Kak

"The #RamanujanMachine is a novel way to do mathematics by harnessing computer power to make new discoveries. It has already discovered dozens of new conjectures." http://www.ramanujanmachine.com/ https://arxiv.org/abs/1907.00205
1 replies, 75 likes


Jul 04 2019 Alex Dimakis

Automatically generated conjectures
0 replies, 13 likes


Jul 22 2019 KordingLab

Beautiful progress on brute force AI for math: https://arxiv.org/pdf/1907.00205.pdf?fbclid=IwAR1EgBOI1vGNRmiNBbz2bNWulj--IaqJpM1R_2tHhoDJ8P7mjwkOkEkKLp0
0 replies, 8 likes


Jul 02 2019 José A. Alonso

The Ramanujan machine: Automatically generated conjectures on fundamental constants. ~ G. Raayoni et als. https://arxiv.org/abs/1907.00205 #MachineLearning #Math
0 replies, 7 likes


Jul 21 2019 NIDHAL SELMI - نضال السالمي

Ramanujan Machines. Automatically creat conjectures about fundamental constants. I know wolfram alpha does something similar where it approximates any floating point number to a simple expression using fundamental constants. @wacnt @paulportesi https://arxiv.org/abs/1907.00205 https://t.co/fM0rukxfug
1 replies, 4 likes


Jul 22 2019 Manuela Casasoli

#mathematics @physorg_com A team of researchers at the Israel Institute of Technology has built a Ramanujan machine—a device that automatically generates conjectures for fundamental constants. Raayoni et al. (2019): https://arxiv.org/abs/1907.00205 https://phys.org/news/2019-07-ramanujan-machine-automatically-conjectures-fundamental.html
0 replies, 2 likes


Jul 03 2019 lucas

This feels monumental. For decades, computer algorithms have been used to prove old conjectures (the Four Color Theorem is a highlight). Now algorithms can formulate conjectures of their own, inspiring new lines of mathematical inquiry. https://arxiv.org/abs/1907.00205
1 replies, 2 likes


Jul 13 2019 HotComputerScience

Most popular computer science paper of the day: "The Ramanujan Machine: Automatically Generated Conjectures on Fundamental Constants" https://hotcomputerscience.com/paper/the-ramanujan-machine-automatically-generated-conjectures-on-fundamental-constants https://twitter.com/hardmaru/status/1146570202529746946
0 replies, 1 likes


Content