I am a truly abysmal mathematician, but I have been very fortunate to know many excellent, kind, patient and thoughtful mathematicians over the years. I would be extremely interested to know what they and others make of these recently released results:
github.com/openai/math
github.com
GitHub - openai/math
Contribute to openai/math development by creating an account on GitHub.