Og Erdos-problem nummer 3 er løst av GPT-5.2 pro (#379). Den ble akseptert av Terence Tao. Jeg tror de siste dagene har vært «oppskytingsøyeblikket» for AI-vitenskapen.