Comment by pmarreck 17 hours ago Is this not the Lean proof?https://github.com/openai/math/blob/main/lean/ComparatorChal... 1 comment pmarreck Reply throwawayk7h 17 hours ago I believe that's just the definition of the problem.
I believe that's just the definition of the problem.