Axiom Math is giving away a powerful new AI tool. But it remains to be seen if it speeds up research as much as the company hopes. Axiom Math, a startup based in Palo Alto, California, has released a ...

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

Forbes contributors publish independent expert analyses and insights. Linda Darling-Hammond is an expert on education research and policy. This blog was updated on June 24, 2026 to clarify a statistic ...

Only Slate Plus members can gift Slate stories. Become a member to share 10 free articles a month. Sign up for the Slatest to get the most insightful analysis, criticism, and advice out there, ...

Professor Curtis T. McMullen received the 1998 Fields Medal, deemed the most prestigious award in mathematics, for his work on complex dynamics. McMullen is also the creator of the Illustrating ...

The original version of this story appeared in Quanta Magazine. At the turn of the 20th century, the renowned mathematician David Hilbert had a grand ambition to bring a more rigorous, mathematical ...