DeepMind claims that for the first time, an AI has solved a famously difficult math problem with a solution that eluded human mathematicians — which could be huge if it holds up to scrutiny. DeepMind ...
In May 2025, a claim (archived) circulated online that the tech entrepreneur and former Trump adviser Elon Musk solved an "unsolvable" math problem after a Harvard professor called him "rich but dumb.
Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.