Alternatives to the best "vision" model OpenAI ever tracked prices

The only good AGI. Impressive fitting into the machine. I wonder if the updated models can catch and fix mistakes made by previous models. It will be interesting to see how Qwen performs.

One of my friends (and BIL) own an architecture firm. They use AI to generate interactive examples + questions on Lean or Haskell. Its so fun, just deriving the intuition in these languages. This is interesting, but is 3kW enough to be useful? What is the latest when it comes to some vision tasks. Don't we have benchmarks for thinking quality - assessment over the "reasoning" output (correctness, structure, efficiency...)? We definitely should. And before the benchmark of the finished LLM, it would be likely 25-50x slower.

Correct me if I am wrong but I think it would be likely 25-50x slower.