Och Erdos-problem nummer 3 har lösts av GPT-5.2 pro (#379). Den accepterades av Terence Tao. Jag tror att de senaste dagarna har varit "lyft-av"-ögonblicket för AI-vetenskapen.