Several major bugs in OpenAI's Math release

1 comments

• unprovable an hour ago

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