I think this is an unfortunate reality that many miss. For simple and procedural tasks, yes, there are awesome alternatives. DeepSeek 4.1 Flash 1017 is my favourite by far. But for the headlining complex applications, and for consistently reliable reviewing, the gap is genuinely so remarkably far that it is hard to imagine having any alternative in the near future. The closest is the (very expensive) Kimi K3.1 Pro, which is, in my experience, roughly where Anthropic and OpenAI were near the start of the year. DeepSeek is a year behind in this domain. All open models have still yet to cross that monumental improvement that happened around Fable / Sol mid-year.
Because rigour is typically tied to math performance, my own experience has closely matched the FrontierMath Tier 4 benchmark. That should give you an idea of the difference.
Because rigour is typically tied to math performance, my own experience has closely matched the FrontierMath Tier 4 benchmark. That should give you an idea of the difference.