"En milstolpe" Matematikern Terence Tao bekräftar att AI "mer eller mindre autonomt" löste Erdos-problem #728. Det var olöst i 50 ÅR. "Detta är en demonstration av den verkliga ökningen av dessa verktygs kapacitet under de senaste månaderna"