alt Hacker NewsSo 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.
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.