Several major bugs in OpenAI's Math release(blog.ohaithe.re)

2 pointsby unprovable6 hours ago1 comment

unprovable6 hours ago
To be fair, they aren't wrong... https://github.com/openai/math/blob/main/lean/ComparatorChal...