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

The Biggest Problem in Mathematics Is Finally a Step Closer to Being Solved

The Riemann hypothesis is the most important open question in number theory—if not all of mathematics. It has occupied experts for more than 160 years. And the problem appeared both in mathematician ...