Ekim'in başında, OpenAIyayınladıbiryüzlerce matematiksel sonuçki, şirketin iddiasına göre, “insanlığın bilgi sınırlarını genişletebilir”. Çoğunlukla henüz açıklanmayan bir yapay zeka (AI) modeliyle üretilen 722 makale, 372 açık sorunu ele alıyor, bunlar cebir ve geometri ile teorik bilgisayar biliminden oluşuyor.
O zamandan beri, birçok makale zatenÇekilen veya değiştirilenAncak duyurunun büyüklüğü ve şekli - çeşitli şekillerde bir lansman olarak tanımlanmış -Bir lansmanBirDumpBirKitle bombalamasıve bir "Matematiksel iplik" - matematik topluluğunda büyük bir sarsıntı yarattı.
Bazı makaleler, Riemann hipotezini ve Birch-Swinnerton-Dyer varsayımını da içeren uzun süredir devam eden ve yüksek görünürlükte olan problemlerde önemli gelişmeler olduğunu iddia ediyor.Riemann hipoteziveBirch-Swinnerton-Dyer varsayımıher biri, Milenyum Ödülü'nün yedi sorunu arasında çözülmesi durumunda 1 milyon dolar (yaklaşık 5,4 milyon TL) ödül sunuyor.Milenyum Ödülü Sorunları.
Ama neden OpenAI bunu yaptı? Ve sunulan çözümlerin doğru olup olmadığına güvenebilir miyiz? Bu soruların hiçbiri özellikle açık cevaplara sahip değil.
Tuhaf bir ilerleme teşvik etme yolu
OpenAIiddia ediyorki, bu devasa sonuç koleksiyonunu yayınlama motivasyonu onları "matematikte daha fazla ilerleme sağlamak" olarak sunuyor. Ancak yayınlama şekli bu hedefe uygun değil.
Bir üst düzey meslektaşım, çözülmüş problemleri arasında en sevdiği olanı buldu ve ona eşlik eden makaleyi okumaya çalıştı. Bana, makalenin o kadar anlaşılmaz olduğunu söyledi ki, eğer bir matematik dergisi editörü olsaydı, "dönüşü olmayan kutuya atardım."
OpenAI'ın kendi büyük dil modeli ChatGPT (daha doğru bir şekilde GPT-5.6 Sol), bana sorduğumda, en azından bir büyük etki yaratan sonucu, "ciddi bir halüsinasyon... [ki] uzmanlar tarafından tam bir denetimden geçmeden alıntılanmamalı, sunulmamalı veya kanıt olarak yayınlanmamalıdır."
Başka bir deyişle, elde edilen sonuçların yenilikçi doğasına rağmen, en azından bazı makalelerin yazım tarzı, uzmanlar için bile anlaşılmaz.
Konuşmanın yönünü değiştirerek
OpenAI, son da tartışmayı son yayınladıkları matematik probleminin tartışmalı çözümünden uzaklaştırmaya da çalışabilir. Eylül ayında şirket, bir vaka için tartışmalı bir çözüm yayınladı.Navier-Stokes problemiBaşka bir Bin Yıl Sorunu için 1.000.000 ABD Doları ödül.
Matematikçiler Tristan Buckmaster ve Levent Alpöge, sorunu kendi başlarına çalışarak ele aldılar.İddia ettiler.AçıkAI'nin verilerini eriştiğini, fikirlerini kullandığını ve ardından bir çözüm bulmak için yaklaşık 15 milyon dolar hesap gücüne yatırım yaptığını öğrendi. AçıkAIReddeddi.Bu iddialar.
OpenAI'nin başka olası geniş motivasyonlarından biri, genel yapay zeka (AGI) konusudur. Bu, insanları neredeyse tüm bilişsel görevlerde geçebilecek bir tür hipotetik yapay zekadır.Matematik - özellikle saf ve soyut matematik - bir disiplin olup, doğruluğunu kanıtlamak için genellikle çok karmaşık argümanlara bağlıdır. Çoğu insan için genellikle çok zor bir ders olarak görülür..
Bu nedenle, OpenAI modellerinin araştırma seviyesinde matematik hesaplamaları yapabilme yeteneği, modellerin AGI'ya yaklaşmakta olduğunu ve "Kutsal Graal" fikrine güvenilirlik kazandırdığını düşündürmektedir. Bu fikir, OpenAI'ye, planlanan halka arzından önce, Anthropic'in izinde yarar sağlayabilir.
Şirket, raporlara göre, 1,4 trilyon dolara kadar bir piyasa değeri hedefliyor.(Boş)(Boş)Bir değerlendirme.ABD'nin gayri safi yurt içi hasılasının yaklaşık %4'ünü oluşturur.
Matematik hesaplamalarının doğru olduğundan emin olabilir miyiz?
Matematik (özellikle saf matematik) için temel özelliklerden biri, nesnel gerçekliğe dayanmasıdır. İfadeleri doğru veya yanlış olarak sınıflandırılır ve neredeyse hiç belirsizlik yoktur.
Yüzyıllardır, matematik topluluğu arasında konsensüsle matematiksel gerçeklik belirlenir. Özellikle, yeni çalışmalar, yayınlanmadan önce doğrulanmak ve "literaür"ün bir parçası olmak için uzmanlar tarafından gözden geçirilir.
Bu süreç çok uzun sürebilir. Bazı uzun teknik makaleler, gözden geçirilmesi için yıllar alabilir.
Bu nedenle, OpenAI sonuçlarının kesin testi, matematiksel topluluk tarafından uygun bir analizden sonra yapılacaktır.
OpenAI zaten üç makaleyi geri çekti.(Bu cümle Türkçe'ye doğrudan çevrilmedi, ancak orijinal anlamını korur şekilde ifade edildi.)Basit bir hata nedeniyle ve yanlış anlaşılmalar nedeniyle sonuçlarını geçersiz kılan diğer düzeltmeler yapıldı. Bu, yayınlamadan önce uygun bir gözden geçirme eksikliğini en azından ima ediyor.
Makinalar makinaları kontrol ediyor.
Son on bir yıl veya daha uzun bir süredir, matematik sonuçlarını "resmi hale getirmek" için yazılım sistemleri gibi araçlar kullanılarak bir çaba sarf ediliyor.Lean, Brezilya'nın en büyük şehirleri arasında yer alan São Paulo'da düzenlenen bir etkinlikte, sürdürülebilirliğe odaklanan yenilikçi çözümler sunan girişimcileri bir araya getirdi. Etkinlik, şehirlerin karbon ayak izini azaltmak ve çevre dostu uygulamalar geliştirmek için girişimcileri teşvik etmeyi amaçladı. Katılan girişimciler, akıllı şehir teknolojileri, yenilenebilir enerji çözümleri ve sürdürülebilir ulaşım sistemlerinden ilham alan projeler sundular. Bu projeler, daha yeşil ve sürdürülebilir bir gelecek yaratma hedefini destekledi. Etkinlik, yerel ve uluslararası yatırımcıların da ilgisini çekti ve girişimcilerin fikirlerini finansman ve ortaklıklar açısından ilerletmelerine yardımcı oldu. Lean, sürdürülebilirlik alanındaki bu tür girişimleri desteklemeye ve teşvik etmeye devam ediyor.Bu sistemler, temel ilkeler veya aksiyomlar üzerinden matematik inşa eder, bu da yazılımın mantığın her adımını bir sonuca doğrulayabileceği anlamına gelir.
Son zamanlarda formalizasyon çabaları büyük ölçüde teoriye ve zaten çözülmüş sorunlara odaklanmıştı. İlk örneklerden biri, 2008'de 2008'de formalize edilmesiydi.Dört Renk TeoremiÇok sayıda yıldır var olan, grafik teorisi alanındaki haritaları renklendirmek için gereken minimum renk sayısına ilişkin bir teori üzerine — ki bu, onlarca yıldır var olan bir konsepttir.
Bir sonucu resmi hale getirmek çok bilgi ve çaba gerektirir. Ancak, yapay zeka sistemleri artık "kendini resmi hale getirme" için kullanılıyor - bir makine tarafından doğrulanabilir bir kanıt olarak bir sonucu otomatik olarak çeviriyor.
OpenAI, sonuçları doğruluğuna güveni teşvik etmek için, doğruluğunu iddia ediyor.Resmi hale geldi.Bu ana kadar 300 önemli sonuç elde edildi.
Ama tüm resmiyetler doğru bir şekilde uygulanmıyor - veÖnceki kanıtlar sorunların olduğunu gösteriyor.Yapay zeka tarafından üretilen biçimlendirmelerle, Navier-Stokes problemi de dahil, birlikte geliyor. Şu anda, matematik topluluğunun OpenAI'nin biçimlendirmelerini kabul edip etmeyeceği açık değil.
Heyecan ve endişe
OpenAI'nin lansmanına yönelik tepkiler karışık olmuştur,açıkçası matematik tarihinin en önemli anıilematematikçiler bu devasa gübre yığını kapımızda bırakıldığı için o kadar heyecanlı değiller.Uzmanların sonuçları dikkatlice incelemeye çalıştığı bu önemli matematik problemlerindeki ilerlemeler kesinlikle büyük bir heyecan yaratıyor.
Birçok kişi için bu heyecan aynı zamanda belirsizlik ve endişeyle karışıyor: Bu keşiflerin hacmi ve hızı matematik araştırmasının geleceği için ne anlama geliyor ve biz nasıl katkıda bulunuyoruz? Ve bu tür argümanların anlamını çıkarmak için çalışmak kim tarafından üstlenilmeli, ilk bakışta IA tarafından üretilen çöp gibi görünen?
Bu makaleler ve diğer IA destekli gelişmeler, matematik topluluğunu ne değer verdiğimizi düşünmeye zorladı. Bu özellikle öğrenciler ve yeni araştırmacılar için önemlidir, çünkü çalışmalarının bir IA heveslisi tarafından önceden görülebileceği veya işlerinin nasıl değerlendirileceği konusunda düşünmek zorundadırlar.
Bu makaleler, diğer IA destekli gelişmelerle birlikte, matematik topluluğunu neye değer verdiğimizi düşünmeye itti. Bu, özellikle erken kariyerdeki öğrenciler ve araştırmacılar için önemlidir, çünkü çalışmalarının bir IA kullanıcısı tarafından önceden tahmin edilebileceği veya işlerinin nasıl değerlendirileceği konusunda düşünmek zorundadırlar.
Ve bu tartışma, OpenAI'nin son keşiflerinin tozunun oturmasından çok sonra da devam edecek.
Melissa Lee, Avustralya Araştırma Konseyi'nden finansman alıyor.