OpenAI muhakeme modeli tarihi Erdős matematik sanısını çürüttü
- Kaynak
- OpenAI
- Saat
- 20:07
- Ağırlık
- 96/100
OpenAI, kurum içi bir muhakeme modelinin Paul Erdős tarafından 1946 yılında ortaya atılan ve ayrık geometride uzun süredir çözüm bekleyen bir varsayımı çürüttüğünü duyurdu. Düzlemsel birim mesafe problemi, n sayıda noktadan oluşan bir kümede tam olarak bir birim uzaklıkta bulunabilecek maksimum nokta çifti sayısını sorgulamaktadır.
Onlarca yıl boyunca matematikçiler bu çiftlerin büyüme hızının neredeyse doğrusal olduğuna inanıyordu, ancak yapay zeka modeli polinom düzeyinde bir iyileşme gösteren sonsuz bir örnek ailesi oluşturarak tarihi üst sınır varsayımını geçersiz kıldı. Bu kanıt, yalnızca matematiksel etkisiyle değil, aynı zamanda keşfedilme yöntemiyle de büyük önem taşıyor.