A new computer program fashioned after artificial intelligence systems like AlphaGo has solved several open problems in combinatorics and graph theory. “I was very happy to have the question answered.

Students who make relevant arm movements while learning can improve their knowledge and retention of math, research has shown. Now researchers at Southern Methodist University, Dallas, and the ...

In August, a team of mathematicians posted a paper claiming to solve a major problem in algebraic geometry — using entirely alien techniques. It instantly captivated the field, stoking excitement in ...

Want smarter insights in your inbox? Sign up for our weekly newsletters to get only what matters to enterprise AI, data, and security leaders. Subscribe Now A new artificial intelligence system ...

A system developed by Google’s DeepMind has set a new record for AI performance on geometry problems. DeepMind’s AlphaGeometry managed to solve 25 of the 30 geometry problems drawn from the ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...