Comment Comment by unprovable To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal... parent unprovable 22 days ago
