Scientists make huge breakthrough to give AI mathematical capabilities never seen before

Andrew Griffin
Friday 03 December 2021 18:36 GMT
Comments
Related video: Alphabet To Use AI To Discover New Drugs

Your support helps us to tell the story

From reproductive rights to climate change to Big Tech, The Independent is on the ground when the story is developing. Whether it's investigating the financials of Elon Musk's pro-Trump PAC or producing our latest documentary, 'The A Word', which shines a light on the American women fighting for reproductive rights, we know how important it is to parse out the facts from the messaging.

At such a critical moment in US history, we need reporters on the ground. Your donation allows us to keep sending journalists to speak to both sides of the story.

The Independent is trusted by Americans across the entire political spectrum. And unlike many other quality news outlets, we choose not to lock Americans out of our reporting and analysis with paywalls. We believe quality journalism should be available to everyone, paid for by those who can afford it.

Your support makes all the difference.

Artificial intelligence has been given new capabilities never seen before, computer scientists have claimed.

Researchers were able to use AI to help prove and suggest new complex mathematical theorems.

Scientists hailed the breakthrough as a major step towards giving major new capabilities to such systems.

“Problems in mathematics are widely regarded as some of the most intellectually challenging problems out there,” said Geordie Williamson, a mathematician who was a co-author on a new paper describing the breakthrough.

“While mathematicians have used machine learning to assist in the analysis of complex data sets, this is the first time we have used computers to help us formulate conjectures or suggest possible lines of attack for unproven ideas in mathematics.”

The results have been described in a new paper published in Nature. It saw DeepMind – the Google-owned AI company – work with top mathematicians to create a framework that would allow researchers and artificial intelligence to collaborate together.

Typically, much mathematical work has relied on looking examples and finding patterns or relationships. That requires a combination of creativity and calculations – and while computers have helped with the latter for decades, the former has always been the preserve of mathematicians.

In the new research, however, scientists were able to show that they could use artificial intelligence to some of that creative work, previously confined to humans. It is a task central to research that was thought to be reliant on human intuition, and so could apply to a whole host of different areas of maths.

To show that the system worked, the researchers then applied it to two distinct areas of mathematics, identifying previously unknown relationships in knot theory and combinatorial representation theory. That shows that it is not only hypothetically possible but has already done mathematical research that was previously unknown.

It is the first time that significant mathematical discoveries have been completed using machine learning, DeepMind says. And the breakthrough also represents a model that can be used to do even more.

“Neither result is necessarily out of reach for research- ers in these areas, but both provide genuine insights that had not previously been found by specialists. The advance is therefore more than the outline of an abstract framework,” writes Christian Stump, an expert who was not involved with the research, in an accompanying article in Nature.

Join our commenting forum

Join thought-provoking conversations, follow other Independent readers and see their replies

Comments

Thank you for registering

Please refresh the page or navigate to another page on the site to be automatically logged inPlease refresh your browser to be logged in