▲ 4 pointsI Spent a Year Asking AI to Solve Math's Hardest Problem. Here's What Happenedcacm.acm.orgby wslh·25d ago·0 comments·view on hn ↗