"En milepæl" Matematikeren Terence Tao bekrefter at AI "mer eller mindre autonomt" løste Erdos-problem #728. Det var uløst i 50 ÅR. "Dette er en demonstrasjon av den genuine økningen i kapasiteten til disse verktøyene de siste månedene"