Adding suggesting and proving mathematical theorems to the long list of what artificial intelligence is capable of is something we can do.
The increasing power of machine learning means that networks can work through huge swathes of data and identify patterns that haven't been spotted before.
A research team used artificial intelligence systems developed by DeepMind to solve math problems and improve the accuracy of weather forecasts, the same company that has been using artificial intelligence to solve biology problems.
Problems in mathematics are considered to be some of the most intellectually challenging problems out there.
This is the first time that computers have been used to help us in the analysis of complex data sets and to suggest possible lines of attack in mathematics.
The problem of symmetry of higher-dimensional algebra that has remained unsolved for 40 years was shown to be solved by the team.
A machine learning technique called a supervised learning model was able to spot a previously undiscovered relationship between two different types of mathematical knots, leading to an entirely new theorem.
Genetics, fluid dynamics, and even the behavior of the Sun's corona are some of the challenging fields of science that use knot theory in math. Advances in other areas of research can be made because of the discoveries that are made with the help of Artificial Intelligence.
Machine learning can uncover interesting andprovable conjectures in areas where a large amount of data is available, or where the objects are too large to study with classical methods, according to mathematician Andrs Ju.
One of the benefits of machine learning systems is that they can look for patterns and scenarios that programmers didn't specifically code them to look for, and apply the same principles to new situations.
The research shows that this type of high-speed, ultra-reliable, large-scale data processing can act as an extra tool working with mathematicians' natural intuition. It can make a difference when you're dealing with long equations.
The researchers hope that their work will lead to more partnerships between academics in the fields of mathematics and artificial intelligence, which will allow for more undiscovered discoveries.
"Artificial intelligence is an extraordinary tool," says Williamson. This work is the first time it has shown its usefulness for pure mathematicians like me.
Artificial intelligence can help us find connections the human mind might not always spot.
The research has been published.
