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.
Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones
Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results