Several major bugs in OpenAI's Math release | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Several major bugs in OpenAI's Math release | Dark Hacker News

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

2 points by unprovable 6 days ago | 1 comment

unprovable 6 days ago |

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