Bir yapay zekâ modeli, geometrik noktalar arasındaki birim uzaklık problemini çözerken sayı teorisi kullandığını gösteren bir görsel akış.
Bir yapay zekâ modeli, geometrik noktalar arasındaki birim uzaklık problemini çözerken sayı teorisi kullandığını gösteren bir görsel akış.

Yapay zekânın matematikte beklenmedik bağlantılar kurması, bu alanı izleyen bir meslektaş için değerli bir bağlam sunuyor.

OpenAI, 80 yıllık matematik problemini çözdü Hikaye akışı ve temel gerçekler

OpenAI, yaklaşık 80 yıldır çözülemeyen 'unit distance problem' olarak bilinen kombinatoryal geometri problemini çözdüğünü açıkladı. Problem, düzlemde yer alan n nokta arasında bir birim uzaklığa sahip en fazla kaç çift nokta olabileceğini soruyor. Uzun süredir kare ızgara düzenlerinin en verimli çözüm olduğu düşünülürken, OpenAI'nin yeni nesil akıl yürütme modeli cebirsel sayı teorisi kullanarak bu varsayımı çürüttü. Model, sonsuz nokta için daha yüksek sayıda birim uzaklık üreten yeni bir geometrik dizilim keşfetti. İspat, Princeton Üniversitesi'nden Will Sawin gibi matematikçiler tarafından doğrulandı ve Fields Madalyası sahibi Tim Gowers tarafından 'yapay zekâ destekli matematikte dönüm noktası' olarak değerlendirildi. OpenAI, sistemin özel eğitim görmediğini ve genel amaçlı bir model olduğunu vurguladı.

Gerçekler

  • OpenAI, 1946'da Paul Erdos tarafından ortaya atılan 'unit distance problem'ni çözdüğünü açıkladı.
  • Model, geleneksel geometri yerine cebirsel sayı teorisini kullanarak yeni bir ispat geliştirdi.
  • İspat, bağımsız matematikçiler tarafından incelendi ve Fields Madalyası sahibi Tim Gowers tarafından önemli bir dönüm noktası olarak değerlendirildi.
  • OpenAI, sistemin özel eğitim görmediğini ve genel amaçlı bir model olduğunu belirtti.

Canto görsel haber açıklaması. Üretimde AI araçları yardımcı olabilir. Editoryal politika