Article URL: https://cacm.acm.org/blogcacm/i-spent-a-year-asking-ai-to-solve-maths-hardest-problem-heres-what-happened/ Comments URL: https://news.ycombinator.com/item?id=49010806 Points: 2 # Comments: 0