O openai.com Sharing AI progress in mathematics https://github.com/openai/mathhttps://github.com/openai/math/tree/main/preprints 1363 points OfficialTurkey 24 days ago 1539 comments
https://github.com/openai/math/tree/main/preprints