AI solved the benchmarks.
Now find more problems to solve.
Search open problems across mathematics and science. See the evidence, find the first credible move, and hand it to your agent.
Use Tab to move through visible problems. Browse the atlas for the complete list.
Loading the problem atlas…