"Milník" Matematik Terence Tao potvrzuje, že AI "víceméně autonomně" vyřešila Erdosův problém #728. Bylo to nevyřešeno 50 LET. "To je ukázka skutečného nárůstu schopností těchto nástrojů v posledních měsících."