3 ms·
AI just got its toughest math test yet. The results are mixed
- optiot 8mo agohttps://archive.is/4M398 https://archive.is/4M398
- ccppurcell 8mo agoAmazing that when ai "solves" an erdos problem by finding the solution in an existing paper it gets hundreds of points and comments, but when ai fails a more rigorous test designed by practitioners (i.e. a much better test of the claim that ai will soon do research level mathematics) it gets zip.