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

ChatGPT’s Next Magic Trick Is Singing and Solving Math Problems With Your Phone Camera

ChatGPT 4 may still be relatively new, but OpenAI is already iterating with an upgrade that can respond as quickly as humans do in normal conversation. The company showed off GPT-4o in a live demo, ...

AI program plays the long game to solve decades-old math problems

A game of chess requires its players to think several moves ahead, a skill that computer programs have mastered over the years. Back in 1996, an IBM supercomputer famously beat the then world chess ...
MIT Technology Review

How machines that can solve complex math problems might usher in more powerful AI

Google DeepMind’s AlphaProof and AlphaGeometry 2 are milestones for AI reasoning. This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories like this in your inbox ...