A problem numer 3 Erdos został rozwiązany przez GPT-5.2 pro (#379). Został zaakceptowany przez Terence'a Tao. Wierzę, że ostatnie kilka dni było momentem "startu" dla nauki AI.