AI maths assistant could help solve problems that humans are stuck on

An artificial intelligence tool that hunts for unintuitive mathematical patterns appears able to tackle a wide range of maths problems, including some that haven’t seen progress for decades.

AI models have typically struggled at solving the sorts of maths problems that stump humans, although there have been some successes on specific problems. Because of this, most mathematicians have been reluctant to devote the extra time to learning to use AI as part of their research.

Now, François…