Hacker News new | ask | show | jobs
I Spent a Year Asking AI to Solve Math's Hardest Problem. Here's What Happened (cacm.acm.org)
4 points by wslh 6 days ago