On açık matematik problemi ve 2.000 dolarlık token faturası
Ten advances in mathematics and theoretical computer science
OpenAI, yayımlanmamış bir modelin uzun süredir açık duran on matematik ve teorik bilgisayar bilimi problemini çözdüğünü ya da ciddi ilerleme kaydettiğini duyuruyor. Problemler yüksek boyutlu geometri, kodlama teorisi, aritmetik devre karmaşıklığı, grup teorisi, kuantum karmaşıklığı ve kafes tabanlı kriptografi gibi alanlara yayılıyor.
Mühendislik açısından yazıdaki en dikkat çekici cümle sonuçların kendisi değil, dipnottaki maliyet: bu çözümleri bulmak için gereken toplam token miktarı yaklaşık 2.000 dolar tutuyor. Yani on yıllardır açık duran problemler, bir mühendisin aylık bulut faturasından ucuza deneniyor. İkinci dikkat çekici nokta ise doğrulanabilirlik: matematik, çıktının doğru olup olmadığının kesin olarak kontrol edilebildiği ender alanlardan biri — bu yüzden "model uydurdu mu?" sorusu burada anlamlı bir şekilde cevaplanabiliyor.
Öne çıkanlar
- Sonuçlar arasında küre paketleme yoğunluğu için yeni üst sınırlar, ikili kodlar için üstel olarak iyileştirilmiş sınırlar ve Connes'in sertlik varsayımının çürütülmesi var.
- Toplam hesaplama maliyeti ~2.000 dolar — asıl haber bu olabilir.
- Matematik, LLM çıktısının bağımsız olarak doğrulanabildiği bir alan; bu, sonuçları çoğu "AI şunu yaptı" iddiasından daha güvenilir kılıyor.
Neden önemli?
Bir alanda ilerlemenin darboğazı "fikir üretmek" ise ve fikir üretmek ucuzluyorsa, darboğaz doğrulamaya kayar. Yazılımda da aynı şey oluyor: kod üretmek ucuzladıkça değerli olan şey kodu yazmak değil, doğru olduğunu ispatlayan test ve tip sistemlerini kurmak.
Sende karşılığı
Buradan çıkaracağın pratik ders şu: LLM'i devreye soktuğun her yerde "çıktıyı ne doğrulayacak?" sorusunun bir cevabı olmalı. Tradebot'ta bir stratejiyi modelin önermesi kolay; onu backtest ve walk-forward doğrulamasından geçirmeden kabul etmek pahalı. Aynı şekilde LLM kategorizasyon pipeline'ında: modelin verdiği etiketi şema, enum ya da iş kuralı ile doğrulayabiliyorsan güvenebilirsin; doğrulayamıyorsan eline geçen şey yalnızca inandırıcı bir tahmin.
Sözlük
- open problem açık problem
- Bir alanda uzun süredir çözülememiş, üzerinde çalışılan matematiksel soru.
- verifiability doğrulanabilirlik
- Bir çıktının doğru olup olmadığının bağımsız ve kesin biçimde kontrol edilebilmesi.