OpenAI solves 377 math problems.

One OpenAI model, hundreds of open math problems, all released at once. Mathematicians are searching the repo for their own work. What happens to a field that gets solved this fast? "It might be the single largest drop of science discoveries ever at the same time at once. It is an absolute nuke in the field of mathematics. There's never been anything like it before." "There are hundreds of mathematicians anxiously opening this repo and pressing Control F right now. If you're a mathematician, t