Erdős'in Efsanevi Problemleri Neden Yapay Zekaya Boyun Eğiyor
OpenAI
OpenAI'nin dahili yapay zeka modeli, tarihi bir ilke imza atarak Erdős'in birim uzaklık problemini çürüttü. Daha sonra Astra adlı bir model, daha fazla Erdős problemini çözerek yapay zekanın matematiksel yeteneklerinde algılanan bir dönüm noktasına işaret etti. Thomas Bloom'un Erdős problemlerini derleyen web sitesinin etkisi de inceleniyor.
OpenAI, dahili bir yapay zeka modelinin Paul Erdős'ün birim mesafe problemi olarak bilinen 1946 tarihli varsayımına bir karşı örnek bulduğunu duyurdu. Sonuç daha sonra insan matematikçiler tarafından geliştirildi, ancak matematiğin uzak bir alanındaki fikirleri kullanması nedeniyle yenilikçiydi. 1 Ağustos'ta OpenAI, başka bir model olan Astra'nın 10 ek matematiksel atılım gerçekleştirerek üç Erdős problemini daha çözdüğünü duyurdu. Noga Alon, bu modellerin matematik araştırmalarını kökten değiştirdiğini belirtti. Thomas Bloom, Erdős problemlerini derlemek için 2023'ün başlarında erdosproblems.com web sitesini oluşturdu ve Ağustos 2025'te bir topluluk oluşturarak bir yorum bölümü ekledi. Amatör bir matematikçi olan Wouter van Doorn, topluluğun yardımıyla 1102 numaralı problemi çözdü ve Terence Tao'dan geri bildirim aldı. Daha sonra Kevin Barreto ve Liam Price, GPT-5.2 ve GPT-5.2 Pro kullanarak problemleri çözmeye çalıştı; 333 numaralı problemi çözdüler ancak Erdős'un bu soruyu 1977'de çözdüğü ortaya çıktı ve daha sonra önceden çözümü bulunmayan 728 numaralı problemi çözdüler.
Kaynak: Habr — хаб ИИ —
orijinal