unprovable
7 hours ago
To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal...
Several major bugs in OpenAI's Math release
2 pointsposted 7 hours ago
by unprovable7 hours ago
To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal...