A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

A dribble and a jump shot, followed by a fractions task. That is what physical education classes looked like for a group of pupils, and the pupils not only found the lessons more engaging than ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline.

Abstract: Though quite challenging, training a deep neural network for automatically solving Math Word Problems (MWPs) has increasingly attracted attention due to its significance in investigating how ...

Abstract: With the broader and highly successful usage of machine learning (ML) in industry and the sciences, there has been a growing demand for explainable artificial intelligence (XAI).

A chatbot’s result for the 80-year-old “unit distance” conjecture is the first AI proof that would likely be published in math’s top journal if humans had done it alone ...