> Long term, stronger models than what OpenAI used will be available to everyone.

Strong and cheap enough to make solving these problems by this approach less than a million-dollar venture?

(Pedantry: We already knew that integer multiplication, at least, was O(n log n). which is subquadratic.)