×îÐÂÂé¶¹ÊÓÆµ

Life

Our number's up: Machines will do maths we'll never understand

Software is already cracking theorems that humans have struggled to prove. Future computers could take mathematics to places too complex for our brains to follow

By Jacob Aron

26 August 2015

×îÐÂÂé¶¹ÊÓÆµ. Science news and long reads from expert journalists, covering developments in science, technology, health and the environment on the website and the magazine.

(Image: Roya Hamburger)

AFTER three years, Shinichi Mochizuki is still waiting. In 2012, the highly respected mathematician at Kyoto University in Japan published more than 500 pages of dense maths on his website. It was the culmination of years of work. Mochizuki’s inter-universal Teichmüller theory described previously uncharted areas of the mathematical realm and let him prove a long-standing conundrum about the true nature of numbers, known as the ABC conjecture. Other mathematicians hailed the result, but warned it would take a lot of effort to check. Months passed, then years, with no conclusion.

Ask a mathematician what a…

Sign up to our weekly newsletter

Receive a weekly dose of discovery in your inbox! We'll also keep you up to date with ×îÐÂÂé¶¹ÊÓÆµ events and special offers.

Sign up

To continue reading, today with our introductory offers

or

Existing subscribers

Sign in to your account
Piano Exit Overlay Banner Mobile Piano Exit Overlay Banner Desktop