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

 (cacm.acm.org)

3 points | by wslh 6 hours ago ago

No comments yet.