https://www.nature.com/articles/d41586-021-00304-8 Skip to main content Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript. Advertisement Advertisement Nature * View all Nature Research journals * Search * My Account Login * Explore content * Journal information * Publish with us Subscribe * Sign up for alerts * RSS feed 1. nature 2. news 3. article NEWS 03 February 2021 AI maths whiz creates tough new problems for humans to solve Algorithm named after mathematician Srinivasa Ramanujan suggests interesting formulae, some of which are difficult to prove true. Davide Castelvecchi Search for this author in: * Pub Med * Nature.com * Google Scholar * Share on Twitter * Share on Facebook * Share via E-Mail Black and white photo of Srinivasa Ramanujan. Srinivasa Ramanujan made important contributions to mathematics in the early twentieth century.Credit: Historic Collection/Alamy Researchers have built an artificial intelligence (AI) that can generate new mathematical formulae -- including some as-yet unsolved problems that continue to challenge mathematicians. The Ramanujan Machine is designed to generate new ways of calculating the digits of important mathematical constants, such as p or e, many of which are irrational, meaning they have an infinite number of non-repeating decimals. The AI starts with well-known formulae to calculate the digits -- the first few thousand digits of p, for example. From those, the algorithm tries to predict a new formula that does the same calculation just as well. The process produces a good guess called a conjecture -- it is then up to human mathematicians to prove that the formula can correctly calculate the whole number. [d41586-021] Machine learning leads mathematicians to unsolvable problem The team began to make the conjectures public on the project's website in 2019, and researchers have since proved several of them correct. But some remain open questions, including one on Apery's constant, a number that has important applications in physics. "The last result, the most exciting one, no one knows how to prove," says physicist Ido Kaminer, who leads the project at the Technion -- Israel Institute of Technology in Haifa. The automated creation of conjectures could point mathematicians towards connections between branches of maths that people did not know existed, he adds. The project -- described^1 in Nature on 3 February -- is named after Srinivasa Ramanujan, an Indian mathematician who was active in the early twentieth century. Ramanujan rarely wrote the types of proof that appear in conventional maths papers. Instead, he filled entire notebooks with formulae that he believed came from a goddess who appeared in his dreams. His work has continued to inspire new research long after he died, aged 32, in 1920. The techniques in the Ramanujan Machine's algorithms existed before, says mathematician Doron Zeilberger at Rutgers University in Piscataway, New Jersey. "The novelty is to combine them in a unified framework." Continued fractions The Ramanujan Machine currently has limited applications: so far, the algorithms can generate only formulae of a particular type, called continued fractions. These express a number as an infinite sequence of fractions nested in each other's denominators. Kaminer's team has experimented with a range of algorithms for finding continued fractions, and applied them to various conceptually important numbers. One of them is Catalan's constant, a number that originated from nineteenth-century Belgian mathematician Eugene Catalan's studies. [d41586-021] Mathematicians create warped worlds in virtual reality Catalan's constant is approximately 0.916, but it is so mysterious that no one has yet worked out whether it is rational -- that is, whether it can be expressed as a fraction of two whole numbers. The best mathematicians have been able to do is prove that its 'irrationality exponent' -- a measure of how hard it is to approximate a number using rationals -- is at least 0.554. Proving that Catalan's constant is irrational would be equivalent to proving that its irrationality exponent is greater than 1. Formulae generated by the Ramanujan Machine have enabled Kaminer's team to improve slightly on the best human result, bringing the exponent up to 0.567. "The fact that they have improved the irrationality exponent for the Catalan constant from 0.554 to 0.567 reveals that they are able to make contributions to really hard problems," says George Andrews, a mathematician who has helped to curate the posthumous publication of some of Ramanujan's notebooks. But the contributions made so far are not of the calibre that using Ramanujan's name would suggest, says Andrews. "Calling this the Ramanujan Machine is over the top," says Andrews, who is at Pennsylvania State University in University Park. Kaminer's team plans to broaden the AI's technique so that it can generate other kinds of mathematical formula. Increasing complexity Automated generation of conjectures is not the only place where computers are helping to advance maths. Although many mathematicians prefer working with pencil and paper, standard research practice in the field now includes the use of mathematical software that can, for example, manipulate complicated algebraic expressions. [d41586-021] Mathematicians urge colleagues to boycott police work in wake of killings Computer-aided calculations have played a crucial part in producing the proofs of several high-profile results. And more recently, some mathematicians have made progress towards AI that doesn't just perform repetitive calculations, but develops its own proofs. Another growing area has been software that can go over a mathematical proof written by humans and check that it is correct. "Eventually, humans will be obsolete," says Zeilberger, who has pioneered automation in proofs and has helped confirm some of the Ramanujan Machine's conjectures^2. And as the complexity of AI-generated mathematics grows, mathematicians will lose track of what computers are doing and will be able to understand the calculations only in broad outline, he adds. Andrews says that although computers might be able to come up with mathematical statements, and even prove that they are true, without human intervention, it is unclear whether they will be able to distinguish profound, interesting statements from merely technically correct ones. "Until I can detect a well-developed 'sense of mathematical taste' in AI, I expect its role to be that of an important auxiliary tool, not that of independent discoverer." doi: https://doi.org/10.1038/d41586-021-00304-8 References 1. 1. Raayoni, G. et al. Nature 590, 67-73 (2021). + o Article o Google Scholar 2. 2. Dougherty-Bliss, R. & Zeilberger, D. Preprint at https:// arxiv.org/abs/2004.00090 (2020). + Download references Latest on: Mathematics and computing Bayesian reaction optimization as a tool for chemical synthesis Bayesian reaction optimization as a tool for chemical synthesis Article 03 FEB 21 Machine learning made easy for optimizing chemical reactions Machine learning made easy for optimizing chemical reactions News & Views 03 FEB 21 Generating conjectures on fundamental constants with the Ramanujan Machine Generating conjectures on fundamental constants with the Ramanujan Machine Article 03 FEB 21 Jobs from Nature Careers * + o All jobs + o Postdoctoral Fellow Harvard Medical School (HMS) Boston, United States JOB POST o Postdoc in X-ray phase contrast imaging/HEDM Johns Hopkins University (JHU) Baltimore, MD, United States JOB POST o PhD Positions in Pathology & Laboratory Medicine at the University of British Columbia The University of British Columbia (UBC) Vancouver, Canada JOB POST o MSc Positions in Pathology & Laboratory Medicine at the University of British Columbia The University of British Columbia (UBC) Vancouver, Canada JOB POST Nature Briefing An essential round-up of science news, opinion and analysis, delivered to your inbox every weekday. Email address [ ] [ ] Yes! Sign me up to receive the daily Nature Briefing email. I agree my information will be processed in accordance with the Nature and Springer Nature Limited Privacy Policy. Sign up Related Articles * Machine learning leads mathematicians to unsolvable problem Machine learning leads mathematicians to unsolvable problem * Mathematicians urge colleagues to boycott police work in wake of killings Mathematicians urge colleagues to boycott police work in wake of killings * Mathematicians create warped worlds in virtual reality Mathematicians create warped worlds in virtual reality Subjects * Mathematics and computing Advertisement Sign up to Nature Briefing An essential round-up of science news, opinion and analysis, delivered to your inbox every weekday. Email address [ ] [ ] Yes! Sign me up to receive the daily Nature Briefing email. I agree my information will be processed in accordance with the Nature and Springer Nature Limited Privacy Policy. Sign up * Close Nature Briefing Sign up for the Nature Briefing newsletter -- what matters in science, free to your inbox daily. Email address [ ] Sign up [ ] I agree my information will be processed in accordance with the Nature and Springer Nature Limited Privacy Policy. Close Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing * Explore content * Research articles * News * Opinion * Research Analysis * Careers * Books & Culture * Podcasts * Videos * Current Issue * Browse Issues * Collections * Subjects * Follow us on Facebook * Follow us on Twitter * Subscribe * Sign up for alerts * RSS feed Journal information * About the Journal * Awards Publish with us * For Authors * For Referees * Submit manuscript Search Article Search [ ] Search Advanced search Quick links * Explore articles by subject * Find a job * Guide to authors * Editorial policies Nature ISSN 1476-4687 (online) nature.com sitemap Nature portfolio * About us * Press releases * Press office * Contact us * * * Discover content * Journals A-Z * Articles by subject * Nano * Protocol Exchange * Nature Index Publishing policies * Nature portfolio policies * Open access Author & Researcher services * Reprints & permissions * Research data * Language editing * Scientific editing * Nature Masterclasses * Nature Research Academies Libraries & institutions * Librarian service & tools * Librarian portal * Open research * Recommend to library Advertising & partnerships * Advertising * Partnerships & Services * Media kits * Branded content Career development * Nature Careers * Nature Conferences * Nature events Regional websites * Nature China * Nature India * Nature Japan * Nature Korea * Nature Middle East Legal & Privacy * Privacy Policy * Use of cookies * Manage cookies/Do not sell my data * Legal notice * Accessibility statement * Terms & Conditions * California Privacy Statement Springer Nature (c) 2021 Springer Nature Limited