I Spent a Year Asking AI to Solve Math's Hardest Problem. Here's What Happened

4 points | by wslh 7 hours ago