Crypto's Greatest Impact Won't Be in Finance — It Will Be in Solving AI's Biggest Problem

As AI systems grow more powerful and opaque, we need infrastructure that can prove. Crypto's greatest impact may be as the ...

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.
Los Angeles Times

Robinhood CEO’s AI math startup valued at nearly $900 million

Harmonic AI, an artificial intelligence startup co-founded by Robinhood Markets Inc. Chief Executive Vlad Tenev, has raised $100 million in funding to tackle a problem that has sometimes confounded AI ...
Ars Technica

New study shows why simulated reasoning AI models don’t yet live up to their billing

There's a curious contradiction at the heart of today's most capable AI models that purport to "reason": They can solve routine math problems with accuracy, yet when faced with formulating deeper ...