Saf matematik dünyasında alışılmadık bir şey oluyor ve bu bir üniversite laboratuvarından gelmiyor. OpenAI, dahili bir yapay zeka sisteminin en az on yıldır, bazı durumlarda çok daha uzun süredir çözülemeyen on matematik ve bilgisayar bilimi problemini çözmeye yardımcı olduğunu söylüyor. 100.000 araştırmacıya gelişmiş ChatGPT erişimi açan ayrı bir girişimle birlikte gelen bu duyuru, matematikte yapay zeka ilerlemelerinin yenilik olmaktan çıkıp gerçek bir araştırma altyapısına dönüştüğünü gösteriyor.
Summary
Öne çıkan noktalar
- OpenAI, 100.000 bilim insanına ve matematikçiye en gelişmiş ChatGPT modellerine ücretsiz erişim sağlayan Akademik Araştırmacılar için ChatGPT’yi başlattı.
- Yayınlanmamış bir OpenAI modeli, Mayıs ayında Erdős birim-mesafe varsayımının yapay zeka tarafından üretilmiş bir çürütmesini ortaya koydu.
- Astra adlı yeni nesil bir modelin dahili bir sürümüyle elde edilen on yeni sonuç, matematik ve teorik bilgisayar biliminin sekiz alanındaki açık problemleri çözüyor.
- OpenAI’ye göre çözümlerin bulunmasının maliyeti, Sol API ücretlerine göre jetonlarda yaklaşık 2.000 $ oldu.
- İnsan araştırmacılar, yapay zeka tarafından üretilen argümanları makalelere dönüştürdü ve model daha sonra her bir kanıtı Lean sertifikasıyla biçimsel hale getirdi.
OpenAI, 100.000 akademik araştırmacıya ChatGPT erişimi açıyor
OpenAI’nin bu hamlesindeki başlangıç noktası çıktıdan çok erişim. Şirket, 100.000 bilim insanına ve matematikçiye en yetenekli ChatGPT modellerini ücretsiz kullanma imkânı tanıyan kısa süre önce kullanıma sunduğu Akademik Araştırmacılar için ChatGPT girişimini başlattı. OpenAI’nin çerçevesine göre fikir, en gelişmiş modelleri kurumsal müşterilere ayrılmış bir ödeme duvarının arkasında tutmak yerine, çözülmemiş problemler üzerinde çalışan insanların eline daha güçlü akıl yürütme araçları vermek.
Bu önemli çünkü erişim, çoğu zaman yapay zeka destekli araştırmalar için dar boğaz oldu. Akademik bütçeler nadiren ölçekli olarak birinci sınıf yapay zeka aboneliklerini karşılayabiliyor ve sınırdaki modelleri niş matematiksel sorular üzerinde test eden bireysel araştırmacılar, çoğu kurumun geniş ölçekte fonlayabileceği bir şey değil. OpenAI, bu engeli büyük bir bilim insanı grubunun önünden kaldırarak, daha geniş erişimin şimdi sergilediği türden daha fazla sonucun ortaya çıkacağına fiilen bahis oynuyor.
Sessiz bir atılım: Yapay zeka Erdős birim-mesafe varsayımını çürütüyor
Mayıs ayında OpenAI, gelecek olanlara işaret eden bir şey paylaştı: yıllarca araştırmacıları zorlayan, matematikçi Paul Erdős ile bağlantılı bir problem olan Erdős birim-mesafe varsayımının yapay zeka tarafından üretilmiş bir çürütmesi. Bu çürütme, özel bir araştırma hamlesi sırasında değil, OpenAI yayınlanmamış bir modeli değerlendirirken neredeyse tesadüfen keşfedildi.
Bu tek sonuç, tek seferlik bir meraktan fazlası çıktı. OpenAI’ye göre Erdős çürütmesi, matematik ve teorik bilgisayar biliminde şimdiden daha ileri gelişmelere ilham verdi ve sonraki makaleler bu yaklaşımdan yararlandı. Bu, hikâyedeki “neden önemli” anlarından biri: Bir yapay zeka sonucu, insan matematikçilerden devam eden çalışmaları tetiklediğinde, bu sistemlerin yalnızca izole cevaplar üretmediğini, diğer araştırmacıların genişletebileceği teknikler sunduğunu gösteriyor.
Matematikçilerin onlarca yıldır çözemediği problemlere yönelik on yeni yapay zeka destekli çözüm
OpenAI’nin duyurusunun merkezinde, ana soruları üzerinde en az on yıldır, çoğu durumda çok daha uzun süredir ilerleme kaydedilmemiş problemlere yönelik on yeni sonuç yer alıyor. OpenAI, bu problemlerin kendi matematik toplulukları içinde önemli ilgi gördüğünü ve birkaçının matematik genelinde önemli kabul edildiğini belirtiyor.
Çözülen problemlerin kapsamı ve çeşitliliği
Bu on sonuç, geniş bir teknik alanı kapsıyor: yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, operatör cebirleri, kuantum karmaşıklığı, kafes kriptografisi ve ekstremal kombinatorik. Bu genişlik başlı başına dikkat çekici — bunlar tek bir niş içindeki bitişik alt sorular değil, matematik ve bilgisayar biliminin farklı köşelerinden, her birinin onlarca yıllık araştırma geçmişi olan ayrı açık problemler.
OpenAI’nin listelediği belirli ilerlemeler arasında şunlar yer alıyor:
- Yüksek boyutlarda küre paketleme yoğunluğu için, Cohn–Elkies eşiğine kadar inen yeni üst sınırlar.
- Belirli bir asgari mesafede ikili ve yüksek boyutlu küresel kodların azami boyutu için üstel derecede iyileştirilmiş sınırlar.
- Grup teorisindeki merkezi bir açık sorunu çözen, sofik olmayan grupların varlığını kanıtlayan bir inşa.
- Bazı grupların von Neumann cebirleri tarafından benzersiz şekilde belirlendiğini öne süren Connes’in rijitlik varsayımının çürütülmesi.
- Aritmetik devreler kullanarak permanantı hesaplamak için yeni alt sınırlar; buna n^4/log n mertebesinde aritmetik formül alt sınırı da dahil.
- Klasik bir karmaşıklık ilkesini kuantum ortama taşıyan, genel iki oyunculu kuantum oyunları için üstel paralel tekrar teoremi.
- Sonraki vektör probleminin, kuantum sonrası kriptografiyle ilgili bir kafes sorusunun, yaklaşık çözümünün polinom faktörlü zorluğu.
- Ağırlık merkezi tek iç kafes noktası olan bir dışbükey cismin azami hacminin her boyutta çözümü — Ehrhart’ın hacim varsayımının bir parçası.
- Çok renkli üçgen Ramsey sayıları için süper üstel alt sınır, Erdős problemi 183’ün çözümü.
- Ekstremal grafik teorisindeki sıkılık ve dejenerasyon varsayımlarına ilişkin sonuçlar; Erdős problemleri 146 ve 180’in çözümü.
Astra modeliyle teknik süreç ve maliyet verimliliği
Tüm bu on sonuç, OpenAI’nin bir sonraki büyük modeli olarak tanımladığı Astra’nın dahili bir sürümü tarafından üretildi. Öne çıkan nokta maliyet: OpenAI, tüm bu problemlere çözüm bulmak için gereken toplam jeton kullanımının, Sol API ücretleriyle yaklaşık 2.000 $ tutacağını tahmin ediyor. İnsan matematikçilerin on yıllar boyunca ilerleme kaydedemediği araştırmalar için birkaç bin dolarlık hesaplama maliyeti çarpıcı derecede düşük — ve bu, matematikte yapay zeka ilerlemelerinin zor açık problemlere yaklaşmanın ekonomisini nasıl değiştirdiğine dair en net işaretlerden biri.
Yine de süreç tamamen otomatik değildi. İnsan araştırmacılar, modelin ham argümanlarını alıp aynı modelle birlikte çalışarak yapılandırılmış makalelere dönüştürdü. Ardından model, her bir argümanı, matematiksel iddiaları titizlikle doğrulamak için kullanılan makinece denetlenebilir bir kanıt formatı olan Lean sertifikasına biçimsel hale getirdi. OpenAI ayrıca her çözüm için modelin düşünme sürecinin bir anlatımını yayımlayarak dış araştırmacılara sistemin her cevaba nasıl ulaştığına dair bir pencere sundu.
Bu bileşim — yapay zeka tarafından üretilen argümanlar, insanlarca hazırlanan makaleler ve makinece biçimsel hale getirilmiş Lean sertifikaları — yapay zeka sistemlerinin ham matematiksel içgörüyü ürettiği, biçimsel doğrulama araçları ve insan denetiminin ise onaylama işini üstlendiği bir iş akışına işaret ediyor. Daha fazla yapay zeka destekli sonucun diğer açık problemler üzerinde görünmeye başlamasıyla bu iş bölümü bir şablon haline gelebilir.
Araştırma ve rekabet açısından neden önemli
Buradaki daha geniş çıkarım, on çözülen problemden öteye gidiyor. Tek bir dahili model, sekiz farklı matematik disiplininde yaklaşık 2.000 $’lık hesaplama maliyetiyle yayımlanabilir düzeyde sonuçlar üretebiliyorsa, uzun süredir devam eden açık problemlere yaklaşırken kısıt, matematiksel içgörüden çok yetenekli modellere erişime doğru kaymaya başlıyor — ki bu da tam olarak OpenAI’nin akademik erişim programının genişletmeyi hedeflediği şey. Ucuz hesaplama ile geniş araştırmacı erişiminin birleşimi, rakip yapay zeka laboratuvarlarının ve bu araçları kendi çalışmalarına nasıl entegre edeceklerini tartan matematik bölümlerinin yakın ilgisini çekecektir.
OpenAI ayrıca bu çalışma hattının, Erdős varsayımı çürütmesi üzerine inşa edilen ek araştırmaları şimdiden tetiklediğini, toplam-çarpım teorisi, kesişim geometrisi ve hesaplama karmaşıklığındaki ilgili soruları inceleyen birkaç takip makalesi olduğunu belirtiyor. Bu ivmenin aynı hızda devam edip etmeyeceği veya diğer yapay zeka laboratuvarlarının farklı modellerle benzer sonuçlar üretip üretmeyeceği, yapay zeka destekli kanıt üretiminin günlük matematiksel uygulamaya ne kadar hızlı entegre olacağını muhtemelen şekillendirecek.
SSS
Akademik Araştırmacılar için ChatGPT nedir?
Bu, keşfi hızlandırmak için 100.000 bilim insanına ve matematikçiye gelişmiş ChatGPT modellerine ücretsiz erişim sağlayan OpenAI tarafından yürütülen bir girişimdir.
OpenAI’nin yapay zeka modeli hangi uzun süredir devam eden matematiksel problemi çürüttü?
Mayıs ayında ilk kez paylaşılan, yayınlanmamış bir OpenAI modeli kullanılarak Erdős birim-mesafe varsayımının yapay zeka tarafından üretilmiş bir çürütmesi üretildi.
Astra, yapay zeka yardımıyla ne tür problemleri çözdü?
OpenAI’nin dahili yeni nesil modeli Astra, yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, operatör cebirleri, kuantum karmaşıklığı, kafes kriptografisi ve ekstremal kombinatorik alanlarında sonuçlar üretti.
Yapay zeka tarafından üretilen kanıtlar nasıl doğrulandı?
İnsan araştırmacılar, yapay zeka tarafından üretilen argümanlardan makaleler hazırladı ve model daha sonra her bir kanıtı makinece denetlenebilir doğrulama için bir Lean sertifikasına biçimsel hale getirdi.
{“@context”:”https://schema.org”,”@type”:”FAQPage”,”mainEntity”:[{“@type”:”Question”,”name”:”Akademik Araştırmacılar için ChatGPT nedir?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Bu, keşfi hızlandırmak için 100.000 bilim insanına ve matematikçiye gelişmiş ChatGPT modellerine ücretsiz erişim sağlayan OpenAI tarafından yürütülen bir girişimdir.”}},{“@type”:”Question”,”name”:”OpenAI’nin yapay zeka modeli hangi uzun süredir devam eden matematiksel problemi çürüttü?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”Mayıs ayında ilk kez paylaşılan, yayınlanmamış bir OpenAI modeli kullanılarak Erdős birim-mesafe varsayımının yapay zeka tarafından üretilmiş bir çürütmesi üretildi.”}},{“@type”:”Question”,”name”:”Astra, yapay zeka yardımıyla ne tür problemleri çözdü?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”OpenAI’nin dahili yeni nesil modeli Astra, yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, operatör cebirleri, kuantum karmaşıklığı, kafes kriptografisi ve ekstremal kombinatorik alanlarında sonuçlar üretti.”}},{“@type”:”Question”,”name”:”Yapay zeka tarafından üretilen kanıtlar nasıl doğrulandı?”,”acceptedAnswer”:{“@type”:”Answer”,”text”:”İnsan araştırmacılar, yapay zeka tarafından üretilen argümanlardan makaleler hazırladı ve model daha sonra her bir kanıtı makinece denetlenebilir doğrulama için bir Lean sertifikasına biçimsel hale getirdi.”}}]}
Makale, yapay zekâ desteğiyle hazırlanmış ve editör ekibi tarafından gözden geçirilmiştir.
