OpenAI produces a combinatorial proof construction result with an internal bespoke model that required minimal human input beyond an initial prompt

👇👇 Not necessarily wrong..🤔

I always read "Internal Model" as a shorthand for a bespoke model massively post-trained for specific things (unless there is an actual paper about the model saying otherwise).

Of course that doesn't change the the saliency of this feat to the extent that some people (mistakenly?) thought that combinatorial proof construction is a quintessentially human thing (like some others in the past thought chess/Go are..)