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