Sharing AI Progress in Mathematics

https://github.com/openai/math Comments URL: https://news.ycombinator.com/item?id=49984923 Points: 177 # Comments: 123