Quanta Magazine, Paul Erdős'ün ardında bıraktığı 1.200'den fazla problemi derleyen amatör katalog erdosproblems.com'un, yapay zekâ laboratuvarlarının makine matematikçilerini sınadığı arenaya nasıl dönüştüğünü anlatıyor. OpenAI modelleri Mayıs'ta 80 yıllık birim mesafe problemini, 1 Ağustos'ta üç Erdős problemini daha çözdü; Google DeepMind dört problem çözdü, dokuz unutulmuş çözümü gün yüzüne çıkardı ve biçimsel olarak yazılmış 353 problemden 9'unu tamamen kendi başına kapattı. Sitede artık 565 çözülmüş probleme karşılık 652 açık problem var; Erdős problemleri sayı teorisi ve kombinatorikte yoğunlaşıyor — dil modellerinin tam da en güçlü olduğu alanlar.