Forbes contributors publish independent expert analyses and insights. Dr. Lance B. Eliot is a world-renowned AI scientist and consultant. In today’s column, I examine an insightful AI research study ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

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.

In 2024, an AI entered the fray of the International Mathematical Olympiad (IMO). Google’s AlphaProof is part of the same Alpha group that also created AlphaFold and AlphaGo. It solved problems that ...

Math students may not blink at calculating probabilities, measuring the area beneath curves or evaluating matrices, yet they often find themselves at sea when first confronted with writing proofs.

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do ...

All equals are not created equal—mathematicians sometimes play fast and loose. In programming, equal signs mean different things, and variables have different types. Turning intuitive math expertise ...

This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it may seem like geometry and trigonometry were created by the Greeks as a form ...