OpenAI, Navier-Stokes Milenyum Ödül Problemi İçin Yapay Zeka Tarafından Üretilen Bir Çözüm Paylaştı
OpenAI, Clay Matematik Enstitüsü tarafından belirlenen ve her birinin ödülü bir milyon dolar olan yedi çözülmemiş matematiksel problemden biri olan Navier-Stokes Milenyum Ödül Problemi için yapay zeka tarafından üretilen bir çözümün yayımlanmasını duyurdu.
Navier-Stokes problemi, akışkan hareketini tanımlayan denklemler için düzgün, küresel olarak tanımlanmış çözümlerin her zaman var olup olmadığıyla ilgilenir. Bu soru bir asırdan fazla süredir açık kalmış olup matematik ve fiziğin kesişim noktasında yer almaktadır.
OpenAI ekibi, matematiksel argümanların doğruluğunu mekanik olarak doğrulayan etkileşimli bir teorem kanıtlayıcısı olan Lean kullanılarak geliştirilen hem ayrıntılı bir rapor hem de resmi bir kanıt yayımladı. Bu yaklaşım, mantıksal adımların sağlam ve tekrarlanabilir olmasını sağlar.
Bu duyuru, yapay zeka sistemlerinin öncü matematiksel araştırmalara kayda değer bir uygulamasını işaret etmektedir; ancak daha geniş matematik topluluğunun, önerilen çözümün uzun süredir devam eden açık sorunu çözüp çözmediğini değerlendirmesi gerekecektir.