AI Helping Mathematicians

Maths researchers hail breakthrough in applications of artificial intelligence

https://phys.org/news/2021-12-maths-...rtificial.html

Quote:

For the first time, computer scientists and mathematicians have used artificial intelligence to help prove or suggest new mathematical theorems in the complex fields of knot theory and representation theory. The astonishing results have been published today in the pre-eminent scientific journal, Nature.

(Emphasis mine.)

Quote:

While computers have long been used to generate data for experimental mathematics, the task of identifying interesting patterns has relied mainly on the intuition of the mathematicians themselves. That has now changed.

Quote:

"We have demonstrated that, when guided by mathematical intuition, machine learning provides a powerful framework that can uncover interesting and provable conjectures in areas where a large amount of data is available, or where the objects are too large to study with classical methods."

Slowly. Slowly. The computers are taking over. ;)

via International Skeptics Forum https://ift.tt/3pn23zI