Paul Erdős, 20. yüzyılın en alışılmadık matematikçilerinden biriydi. Sabit bir evi olmadan dünyayı dolaşan, meslektaşlarının kapısını çalarak onlarla problem çözen bu Macar matematikçi, ardında binlerce açık soru bıraktı. Bazı problemleri için para ödülü bile koydu; çünkü ona göre matematiğin asıl gücü, doğru soruyu sormaktan geçiyordu.
Şimdi, onlarca yıl boyunca matematikçileri zorlayan bu soruların bir kısmı yapay zeka tarafından çözülüyor. Bu durum, matematik dünyasında hem heyecan hem de merak uyandırıyor: Erdős problemlerini yapay zekaya bu denli uygun kılan nedir?
Araştırmacılar, bu problemlerin bazı yapısal özellikler taşıdığını öne sürüyor. Her şeyden önce, Erdős problemlerinin büyük çoğunluğu kombinatorik alanına giriyor; yani nesnelerin sayılması, düzenlenmesi ve gruplandırılmasıyla ilgili sorular. Bu tür problemlerde kurallar nettir, sonuçlar doğrulanabilir ve arama uzayı geniş ama belirlidir. Yapay zekanın güçlü olduğu yerler de tam olarak burası: olası çözümleri sistematik biçimde taramak ve kalıpları fark etmek.
Öte yandan insan matematikçiler, sezgiye ve kavramsal sıçramalara dayanan problemlerde hâlâ öne çıkıyor. Soyut cebirden topolojiye uzanan alanlarda, bir teoremi ispatlamak çoğunlukla yepyeni bir bakış açısı gerektiriyor; bu da yapay zekanın şu an için pek iyi olmadığı bir şey.
Bununla birlikte Erdős problemlerindeki başarı, matematikçilere önemli bir mercek sunuyor. Bu problemleri inceleyerek hangi matematik sorularının yapay zekaya daha yatkın olduğunu anlamak mümkün olabilir. Böylece insan-yapay zeka iş birliği daha verimli biçimde tasarlanabilir: yapay zeka geniş arama uzaylarını tararken, insanlar kavramsal çerçeveyi kurar.
Sonuç olarak bu gelişme, yapay zekanın matematiği 'çözdüğü' anlamına gelmiyor. Daha çok, belirli problem türlerinde güçlü bir araç olduğunu gösteriyor. Erdős'ün mirasının, matematik ile yapay zekanın kesiştiği bu yeni dönemde beklenmedik bir rehbere dönüşmesi ise tarihin ironik bir cilvesi olarak kayıtlara geçecek.