Article URL: https://mathoverflow.net/questions/516336/has-ai-made-any-progress-as-a-mathematical-theory-builder-rather-than-just-a-pr

Comments URL: https://news.ycombinator.com/item?id=50219971

Points: 1

# Comments: 2