[–] unprovable 19d ago ↗ To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal...
1 comment
[ 0.34 ms ] story [ 8.7 ms ] thread