2 ms·I Spent a Year Asking AI to Solve Math's Hardest Problem. Here's What Happened4 points by wslh 3mo ago