"Merkkipaalu" Matemaatikko Terence Tao vahvistaa, että tekoäly ratkaisi Erdos-ongelman #728 "enemmän tai vähemmän itsenäisesti". Se oli ratkaisematta 50 VUOTTA. "Tämä on osoitus näiden työkalujen todellisesta kyvykkyyden kasvusta viime kuukausina"