AI Sistemi, Matematik'in En Kalıcı Bulmacalarından Biriyle Karşı Karşıya: Navier-Stokes Problemi
Suyun ve havanın hareketini tanımlayan Navier-Stokes denklemleri, uzun zamandır matematikçileri hem büyülemiş hem de hayal kırıklığına uğratmıştır. Bu denklemler, sıvı ve gazların nasıl aktığını anlamanın temelini oluşturur; bu da onları havacılık mühendisliğinden iklim bilimine kadar uzanan çeşitli alanlarda vazgeçilmez kılar.
Meselenin özünde, aldatıcı derecede basit bir soru yatmaktadır: Bu denklemler her zaman düzgün, sorunsuz çözümler mi üretir, yoksa tekilliklere dönüşebilirler mi? Matematikçiler, Navier-Stokes varlık ve düzgünlük problemi olarak bilinen bu soruyu, her biri doğru çözüm için bir milyon dolarlık ödül taşıyan yedi "Milenyum Ödül Problemi" arasında sınıflandırmıştır.
OpenAI bu zorluğa alışılmadık bir yaklaşım benimsemiştir. Geleneksel matematiksel kanıtlama yöntemleri yerine, şirket problem üzerinde çalışmak için binlerce AI aracı dağıtmıştır. Bu büyük ölçekli hesaplama stratejisi, matematikdeki temel sorunlara saldırmak için yeni bir yöntem temsil etse de, matematik camiasının tipik olarak talep ettiği resmi kanıt yöntemlerinden farklı kalmaktadır.
Sonuç önemli tartışmalar yaratmıştır. AI sistemi problem üzerinde ilerleme kaydetmiş gibi görünse de, matematikçiler yaklaşımın geleneksel kanıt tekniklerinden önemli ölçüde farklı olduğu konusunda uyarıyor. Bu tartışma, yapay zekanın saf matematik araştırmalarına nasıl katkıda bulunabileceği ve AI destekli yaklaşımların resmi matematiksel kanıtın katı standartlarını karşılayıp karşılayamayacağı konusundaki devam eden gerilimi vurguluyor.
Bu çalışma sonunda kabul görmüş bir çözüme mi yol açacak, yoksa tartışmalı bir katkı olarak mı kalacak olursa olsun, AI sistemleri ile temel matematik araştırmaları arasındaki artan kesişimi gözler önüne seriyor.