GPT-5.6, tek bir promptla 30 yıllık dışbükey optimizasyon problemini çözdüğü iddiasıyla gündemde
OpenAI'ın GPT-5.6 modeli, 1990'ların ortasında ortaya atılan ve dışbükey optimizasyonda belirli bir yarı-kesin programlama sınıfı için polinom-zamanlı algoritma sorusunu yanıtlayan bir kanıt üretti. Yaklaşık 1200 token'lık, iki netleştirme turu gerektiren tek bir prompt ile elde edilen sonuç, Hacker News'te günler içinde yüzlerce yorum topladı. Matematik camiası kanıtı literatürle karşılaştırarak doğrulamaya devam ediyor.
OpenAI’ın Temmuz başında yayınladığı GPT-5.6 modeli, dışbükey optimizasyon (convex optimization) alanında otuz yıldır açık kalan bir soruyu yanıtlayan bir kanıt ürettiği iddiasıyla haftanın en çok konuşulan yapay zekâ haberi oldu.
Sorunun kökeni ve prompt stratejisi
Sorun, belirli bir yarı-kesin programlama (semidefinite programming) sınıfı için polinom-zamanlı bir algoritmanın var olup olmadığına dair, 1990’ların ortasında literatüre giren ve o zamandan beri çözümsüz kalan bir açık problemdi. Araştırmacılar modele üç unsuru birleştiren tek bir prompt verdi: sorunun kesin bir tanımı, kanıtın Boyd ve Vandenberghe’nin klasik optimizasyon ders kitabı üslubunda yazılması talebi ve kanıtlanmamış her adımın açıkça işaretlenmesi talimatı. Yaklaşık 1200 token uzunluğundaki bu prompt, nihai kanıt ortaya çıkmadan önce iki netleştirme turu gerektirdi.
Doğrulama süreci sürüyor
Model tarafından üretilen biçimsel argüman, matematik camiası tarafından mevcut literatürle karşılaştırılarak doğrulanmaya devam ediyor. Hacker News’teki paylaşım günler içinde 480’in üzerinde puan ve 300’ü aşkın yorum topladı; yorumcular hem kanıtın adım adım tutarlılığını hem de modelin “kanıtlanmamış adımı işaretleme” talimatına ne ölçüde sadık kaldığını tartışıyor.
Benzer iddiaların gölgesi
Bu haber, Temmuz ayı boyunca farklı OpenAI modellerinin (GPT-5.6 Sol Ultra dahil) elli yıllık bir matematik sanısına dair “kanıt” ürettiği iddialarının hemen ardından geldi — o vakalarda da doğrulama süreci haftalarca sürmüş, bazı iddialar kısmen çürütülmüştü. Bu yüzden camianın temkinli iyimserliği, geçmiş deneyimlerden kaynaklanan sağlıklı bir şüphecilikle dengeleniyor.
Neden önemli
Doğrulanırsa bu tür vakalar, büyük dil modellerinin sadece bilinen matematiği yeniden ifade etmekle kalmayıp gerçek açık araştırma sorularına katkı sunabileceğinin somut kanıtı olur. Ancak son aylarda arka arkaya gelen “AI bir matematik problemini çözdü” başlıklarının çoğunun bağımsız doğrulamadan geçmeden viral olduğu da bir gerçek — okuyucuların her iddiayı camianın resmî doğrulaması tamamlanana kadar temkinli karşılaması öneriliyor.
Doğrulanırsa vaka, büyük dil modellerinin artık yalnızca bilinen matematiği özetlemekle kalmayıp açık araştırma sorularına katkı sunabileceğinin somut bir örneği olur — ama tek bir doğrulanmamış kanıtın kaç 'AI matematik buluşu' iddiasının rüzgârla savrulduğunu da hatırlatıyor.
- Hacker News — GPT-5.6 used a prompt to close a 30-year gap in convex optimization · 2026-07-18
- Northeast Times — AI model reportedly cracks 30-year-old math problem with a single prompt · 2026-07-19
- DEV Community — GPT-5.6 Closed a 30-Year Math Gap. Nobody Noticed. · 2026-07-18
Bu haber ozgun ozet olarak hazirlanmistir; telif hakki ilgili kaynaklara aittir. Tam metin icin kaynak baglantilarini ziyaret edin.
Ilgili Haberler
Anthropic araştırmacısından kendi kendini geliştiren yapay zekâya bir bakış
Anthropic'in fellows programındaki bir araştırmacı, yapay zekâ sistemlerinin literatür tarayıp yöntem önererek ve modeli kısa iterasyonlarla eğiterek hizalama hatalarını azaltabildiğini gösteren yeni bir makale yayınladı. Çalışmada, en iyi otomatik yöntem ortalama altı saat içinde deneyimli insan araştırmacıların önerdiği yöntemleri geride bırakmış; maliyet karşılaştırmasında saatte yaklaşık 4 dolarlık otomatik araştırmaya karşı insan araştırmacı için saatte yaklaşık 150 dolar rakamı veriliyor.
Sony, EMI ve Warner Chappell, Anthropic'i şarkı sözü korsanlığıyla suçlayan yeni dava açtı
Büyük müzik yayıncıları Sony, EMI ve Warner Chappell, Anthropic'in kitap yazarlarıyla 1,5 milyar dolarlık telif uzlaşmasının ardından şirketi bu kez torrent yoluyla binlerce şarkı sözü ve nota içeren eseri izinsiz indirmekle suçlayan yeni bir dava açtı. Dilekçe, kurucu ortağın toplu indirme yaptığını gösteren iç yazışmaları kanıt olarak sunuyor. Anthropic ise iddiaları reddedip adil-kullanım savunmasını sürdüreceğini açıkladı.
Anthropic'in yeni Fable 5.1 modeli daha ucuz ve daha az kısıtlayıcı geliyor
Anthropic, en gelişmiş model ailesinin yeni sürümlerini — Fable 5.1 ve Mythos 5.1'i — yayınladı. Yeni sürüm performans artışının yanında token maliyetini düşürüyor ve güvenlik filtrelerinin yanlış-pozitif engellemelerini azaltıyor. Kurumsal müşteriler için daha önce sunulmayan 'Sıfır Veri Saklama' özelliği artık Fable ailesine de geliyor; Mythos 5.1 ise yalnızca siber güvenlik veya yaşam bilimleri araştırması yapan kayıtlı ortaklara açılıyor.