It's somewhat under-discussed *why* OpenAI released only around ~400 math results. The purpose of this exercise was not to "destroy math research" (or whatever it is that some people want you to believe). OpenAI just wanted to test its internal model on some hard math, and it turned out that anything less than the hardest open problems no longer suffices for this purpose. This is why all non-Millennium-Prize solutions were reached in a single-agent setting after 3 hours of thinking: OpenAI was literally just testing its model on these questions, similarly to how I run prinzbench. Once OpenAI had the solutions (which were a side effect of sorts of benchmarking its model), a question arose as to what exactly should be done with these solutions, which are genuine advances in the field of mathematics. OpenAI - correctly - decided to make them public. It seems clear that many other problems in the set of ~4,000 are very likely solvable by this model with more compute than just ~3 hours of Pro-level thinking. Whenever a more powerful checkpoint of this model is ready to be tested, OpenAI will likely have even more to share.