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