FrontierMath: Open Problems. Aletheia. First Proof.
New piece featuring FrontierMath in IEEE Spectrum
AI is getting better at math almost as fast as we can write new benchmarks to test it.
IEEE Spectrum just published a piece featuring our past & present work on FrontierMath — as well as Aletheia and First Proof.
Epoch researcher Greg Burnham called this “a more-the-merrier situation.”
Our own new contribution is FrontierMath: Open Problems, which consists of open problems from research mathematics that professional mathematicians have tried and failed to solve.
