{"id":84713,"date":"2021-02-07T10:53:07","date_gmt":"2021-02-07T08:53:07","guid":{"rendered":"https:\/\/www.technion.ac.il\/blog\/the-ramanujan-machine\/"},"modified":"2021-02-07T10:53:07","modified_gmt":"2021-02-07T08:53:07","slug":"the-ramanujan-machine","status":"publish","type":"post","link":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/","title":{"rendered":"The Ramanujan Machine"},"content":{"rendered":"

Using AI and computer automation, Technion researchers have developed a \u201cconjecture generator\u201d that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems. They have already used it to generate a number of previously unknown formulas. The study, which was published in the journal Nature, was carried out by undergraduates from different faculties under the tutelage of Assistant Professor Ido Kaminer of the Andrew and Erna Viterbi Faculty of Electrical Engineering at the Technion.<\/span><\/p>\n

\"\"<\/a>
The Research Group L-R: Rotem Elimelech, Yoav Harris, Prof. Ido Kaminer and Shahar<\/figcaption><\/figure>\n

The project deals with one of the most fundamental elements of mathematics \u2013 mathematical constants. A mathematical constant is a number with a fixed value that emerges naturally from different mathematical calculations and mathematical structures in different fields. Many mathematical constants are of great importance in mathematics, but also in disciplines that are external to mathematics, including biology, physics, and ecology. The golden ratio and Euler\u2019s number are examples of such fundamental constants. Perhaps the most famous constant is pi, which was studied in ancient times in the context of the circumference of a circle. Today, pi appears in numerous formulas in all branches of science, with many math aficionados competing over who can recall more digits after the decimal point: 3.1415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679821480865132823066470938446095505822317253594081284811174502841027019385211055596446229489549303820\u2026<\/span><\/p>\n

\"\"<\/a>
Yahel Manor<\/figcaption><\/figure>\n

The Technion researchers proposed and examined a new idea: The use of computer algorithms to <\/span>automatically generate mathematical conjectures that appear in the form of<\/b> formulas for mathematical constants.<\/b><\/p>\n

\u00a0<\/span>A conjecture is a mathematical conclusion or proposition that has not been proved; once the conjecture is proved, it becomes a theorem. Discovery of a mathematical conjecture on fundamental constants is relatively rare, and its source often lies in mathematical genius and exceptional human intuition. Newton, Riemann, Goldbach, Gauss, Euler, and Ramanujan are examples of such genius, and the new approach presented in the paper is named after Srinivasa Ramanujan.<\/span><\/p>\n

Ramanujan, an Indian mathematician born in 1887, grew up in a poor family, yet managed to arrive in Cambridge at the age of 26 at the initiative of British mathematicians Godfrey Hardy and John Littlewood. Within a few years, he fell ill and returned to India, where he died at the age of 32. During his brief life, he accomplished great achievements in the world of mathematics. One of Ramanujan\u2019s rare capabilities was the intuitive formulation of unproven mathematical formulas. The Technion research team, therefore, decided to name their algorithm \u201cthe Ramanujan Machine,\u201d as it generates conjectures without proving them, by \u201cimitating\u201d intuition using AI and considerable computer automation.<\/span><\/p>\n

\"\"<\/a>
Gal Raayoni<\/figcaption><\/figure>\n

According to Prof. Kaminer, \u201cOur results are impressive because the computer doesn\u2019t care if proving the formula is easy or difficult, and doesn\u2019t base the new results on any prior mathematical knowledge, but only on the numbers in mathematical constants. To a large degree, our algorithms work in the same way as Ramanujan himself, who presented results without proof. It\u2019s important to point out that the algorithm itself is incapable of proving the conjectures it found \u2013 at this point, the task is left to be resolved by human mathematicians.\u201d<\/span><\/p>\n

The conjectures generated by the Technion\u2019s Ramanujan Machine have delivered new formulas for well-known mathematical constants such as pi, Euler\u2019s number (e), Ap\u00e9ry\u2019s constant (which is related to the Riemann zeta function), and the Catalan constant. Surprisingly, the algorithms developed by the Technion researchers succeeded not only in creating known formulas for these famous constants, but in discovering several conjectures that were heretofore unknown. The researchers estimate this algorithm will be able to significantly expedite the generation of mathematical conjectures on fundamental constants and help to identify new relationships between these constants.<\/span><\/p>\n

\"\"<\/a>
Yaron Hadad<\/figcaption><\/figure>\n

As mentioned, until now, these conjectures were based on rare genius. This is why in hundreds of years of research, only a few dozens of formulas were found. It took the Technion\u2019s Ramanujan Machine just a few hours to discover all the formulas for pi discovered by Gauss, the \u201cPrince of Mathematics,\u201d during a lifetime of work, along with dozens of new formulas that were unknown to Gauss.<\/span><\/p>\n

According to the researchers, \u201cSimilar ideas can in the future lead to the development of mathematical conjectures in all areas of mathematics, and in this way provide a meaningful tool for mathematical research.\u201d<\/span><\/p>\n

The research team has launched a website, <\/span>RamanujanMachine.com<\/span><\/a>, which is intended to inspire the public to be more involved in the advancement of mathematical research by providing algorithmic tools that will be available to mathematicians and the public at large. Even before the article was published, hundreds of students, experts, and amateur mathematicians had signed up to the website.<\/span><\/p>\n

\"\"<\/a>
George Pisha<\/figcaption><\/figure>\n

The research study started out as an undergraduate project in the <\/span>Rothschild Scholars Technion Program for Excellence<\/b> with the participation of Gal Raayoni and George Pisha, and continued as part of the <\/span>research projects conducted in the Andrew and Erna Viterbi Faculty of Electrical Engineering<\/b> with the participation of Shahar Gottlieb, Yoav Harris, and Doron Haviv. This is also where the most significant breakthrough was made \u2013 by an algorithm developed by Shahar Gottlieb \u2013 which led to the article\u2019s publication in <\/span>Nature<\/span><\/i>. Prof. Kaminer adds that the most interesting mathematical discovery made by the Ramanujan Machine\u2019s algorithms to date relates to a new algebraic structure concealed within a Catalan constant. The structure was discovered by high school student Yahel Manor, who participated in the project as part of the <\/span>Alpha Program<\/b> for science-oriented youth. Prof. Kaminer added that, \u201cIndustry colleagues Uri Mendlovic and Yaron Hadad also participated in the study, and contributed greatly to the mathematical and algorithmic concepts that form the foundation for the Ramanujan Machine. It is important to emphasize that the entire project was executed on a voluntary basis, received no funding, and participants joined the team out of pure scientific curiosity.\u201d<\/span><\/p>\n

\"\"<\/a>
Doron Haviv<\/figcaption><\/figure>\n

Prof. Ido Kaminer<\/b> is the head of the Robert and Ruth Magid Electron Beam Quantum Dynamics Laboratory. He is a faculty member in the Andrew and Erna Viterbi Faculty of Electrical Engineering and the Solid State Institute. Kaminer is affiliated with the Helen Diller Quantum Center and the Russell Berrie Nanotechnology Institute.\u00a0<\/span><\/p>\n

Click here<\/span><\/a> for the paper in Nature<\/b><\/p>\n","protected":false},"excerpt":{"rendered":"

Using AI and computer automation, Technion researchers have developed a \u201cconjecture generator\u201d that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems. They have already used it to generate a number of previously unknown formulas. The study, which was published in the journal Nature, was carried out by undergraduates… Continue Reading The Ramanujan Machine<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[24],"tags":[],"class_list":["post-84713","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"acf":[],"yoast_head":"\nThe Ramanujan Machine - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"The Ramanujan Machine - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\" \/>\n<meta property=\"og:description\" content=\"Using AI and computer automation, Technion researchers have developed a \u201cconjecture generator\u201d that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems. They have already used it to generate a number of previously unknown formulas. The study, which was published in the journal Nature, was carried out by undergraduates… Continue Reading The Ramanujan Machine\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/\" \/>\n<meta property=\"og:site_name\" content=\"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\" \/>\n<meta property=\"article:published_time\" content=\"2021-02-07T08:53:07+00:00\" \/>\n<meta name=\"author\" content=\"shlomi ben-oz\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"shlomi ben-oz\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"5 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/\",\"url\":\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/\",\"name\":\"The Ramanujan Machine - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\",\"isPartOf\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.technion.ac.il\/wp-content\/uploads\/2021\/02\/IMG_20210203_103729-1024x684.jpg\",\"datePublished\":\"2021-02-07T08:53:07+00:00\",\"author\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320\"},\"breadcrumb\":{\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#primaryimage\",\"url\":\"https:\/\/www.technion.ac.il\/wp-content\/uploads\/2021\/02\/IMG_20210203_103729-1024x684.jpg\",\"contentUrl\":\"https:\/\/www.technion.ac.il\/wp-content\/uploads\/2021\/02\/IMG_20210203_103729-1024x684.jpg\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home Page\",\"item\":\"https:\/\/www.technion.ac.il\/en\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"The Ramanujan Machine\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/#website\",\"url\":\"https:\/\/www.technion.ac.il\/en\/\",\"name\":\"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc\",\"description\":\"\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.technion.ac.il\/en\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320\",\"name\":\"shlomi ben-oz\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/96b13158d164281df14ad8583ec2cb64?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/96b13158d164281df14ad8583ec2cb64?s=96&d=mm&r=g\",\"caption\":\"shlomi ben-oz\"},\"url\":\"https:\/\/www.technion.ac.il\/en\/blog\/author\/ben-ozshlomitechnion-ac-il\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"The Ramanujan Machine - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/","og_locale":"en_US","og_type":"article","og_title":"The Ramanujan Machine - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","og_description":"Using AI and computer automation, Technion researchers have developed a \u201cconjecture generator\u201d that creates mathematical conjectures, which are considered to be the starting point for developing mathematical theorems. They have already used it to generate a number of previously unknown formulas. The study, which was published in the journal Nature, was carried out by undergraduates… Continue Reading The Ramanujan Machine","og_url":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/","og_site_name":"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","article_published_time":"2021-02-07T08:53:07+00:00","author":"shlomi ben-oz","twitter_card":"summary_large_image","twitter_misc":{"Written by":"shlomi ben-oz","Est. reading time":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/","url":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/","name":"The Ramanujan Machine - \u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","isPartOf":{"@id":"https:\/\/www.technion.ac.il\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#primaryimage"},"image":{"@id":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#primaryimage"},"thumbnailUrl":"https:\/\/www.technion.ac.il\/wp-content\/uploads\/2021\/02\/IMG_20210203_103729-1024x684.jpg","datePublished":"2021-02-07T08:53:07+00:00","author":{"@id":"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320"},"breadcrumb":{"@id":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#primaryimage","url":"https:\/\/www.technion.ac.il\/wp-content\/uploads\/2021\/02\/IMG_20210203_103729-1024x684.jpg","contentUrl":"https:\/\/www.technion.ac.il\/wp-content\/uploads\/2021\/02\/IMG_20210203_103729-1024x684.jpg"},{"@type":"BreadcrumbList","@id":"https:\/\/www.technion.ac.il\/en\/blog\/the-ramanujan-machine\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home Page","item":"https:\/\/www.technion.ac.il\/en\/"},{"@type":"ListItem","position":2,"name":"The Ramanujan Machine"}]},{"@type":"WebSite","@id":"https:\/\/www.technion.ac.il\/en\/#website","url":"https:\/\/www.technion.ac.il\/en\/","name":"\u05d4\u05d8\u05db\u05e0\u05d9\u05d5\u05df-\u05de\u05db\u05d5\u05df \u05d8\u05db\u05e0\u05d5\u05dc\u05d5\u05d2\u05d9 \u05dc\u05d9\u05e9\u05e8\u05d0\u05dc","description":"","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.technion.ac.il\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/d65b78b7a7446bdf9fb69078573b8320","name":"shlomi ben-oz","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.technion.ac.il\/en\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/96b13158d164281df14ad8583ec2cb64?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/96b13158d164281df14ad8583ec2cb64?s=96&d=mm&r=g","caption":"shlomi ben-oz"},"url":"https:\/\/www.technion.ac.il\/en\/blog\/author\/ben-ozshlomitechnion-ac-il\/"}]}},"_links":{"self":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/posts\/84713","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/comments?post=84713"}],"version-history":[{"count":0,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/posts\/84713\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/media?parent=84713"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/categories?post=84713"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.technion.ac.il\/en\/wp-json\/wp\/v2\/tags?post=84713"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}