Comment by closetheloopdev
6 hours ago
So far only OpenAI has a model that solved a Millennium Problem, while Opus 5.5 is a star at coding. It's exciting to have many more to join the frontier, but I think the top two labs still have a significant lead over everyone else.
I know it's old hat now, because it happened over a week ago, but it's amusing that Millennium Problems are now just benchmarks we use for discussing models.
It was not just about models, but also techniques, and mainly the human guts to trust their models and follow through to solve one of the hardest math problems many experts had been musing over for more than 26 years since the million-dollar prizes for these problems were announced. For me, it was an amazing moment to witness indeed!