Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down 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 ...

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

The first proof that many people ever learn, early in high school, is the ancient Greek mathematician Euclid’s proof that there are infinitely many prime numbers. It takes just a few lines and uses no ...

A surprising mathematical concept, the pizza theorem, reveals that uneven pizza slices can still be equal in total area. This holds true when a pizza is cut in a specific way, with the number of ...