Most mathematicians have been reluctant to start working with artificial intelligence, but a new tool developed by researchers at Meta may change that
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.
Receive a weekly dose of discovery in your inbox! We'll also keep you up to date with New Scientist events and special offers.