A marriage of formal methods and LLMs seeks to harness the strengths of both.

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...

Chinese artificial intelligence company DeepSeek has released a mathematical reasoning model that can identify and correct its own errors. The model beat the best human score in one of the world’s ...

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 ...

The original version of this story appeared in Quanta Magazine. In 1974, five years before he wrote his Pulitzer Prize–winning book Gödel, Escher, Bach: An Eternal Golden Braid, Douglas Hofstadter was ...

Pittsburgh, Pennsylvania, U.S.A. Proof by Mathematical Induction presents the Automated Deduction community with some very challenging research problems. The aim of this one day workshop is to create ...

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 ...

This course exposes the student to formal mathematical proof, and introduces the theory of sets and number systems. Topics include relations and functions, number systems including formal properties ...