2 points | by unprovable 7 hours ago ago
1 comments
To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal...
To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal...