AI Has Solved One of Math’s $1... Note