OpenAI Dumps 377 New Math Results on GitHub, Publishes Hand-Wringing Blog Post

Wait 5 sec.

If you're a professional mathematician, you might not be thrilled.