“Bir varsayım çürütüldü” başlığı, o varsayımı kullanan bütün çalışmaların silinmesi anlamına gelmez. ETH hakkındaki araştırma gündemi, koşullu sonuçların nasıl okunduğunu açıklamak için iyi bir başlangıç.
Koşul, sonucun parçasıdır
Basit bir örnek düşünelim: “A koşulu doğruysa B sınırı geçilemez.” Matematiksel sonuç A’dan B’ye kurulan ilişkidir. A’nın yanlış olduğunun gösterilmesi, bu koşullu ilişkinin ispatını kendiliğinden yanlış yapmaz; B’nin gerçek dünya hakkında ne söylediğini yeniden ele almayı gerektirir.
Hesaplama süresi nasıl büyüyor?
Karmaşıklık araştırması, girdi büyüdükçe gereken işin nasıl arttığını sorar. Bütün seçenekleri tek tek denemenin üstel büyümesi, her problem için başka yöntem bulunamayacağını tek başına göstermez. ETH belirli hesaplama sınırlarıyla ilgili bir varsayım; P–NP sorusuyla aynı ifade değildir.
Dosya denetimi ve açıklama
OpenAI’ın akademik açıklaması ETH çalışması için doğal dil metni, Lean biçimselleştirmesi ve Russell Impagliazzo, Ramamohan Paturi ile Ryan Williams’ın yönettiği inceleme grubunu anlatıyor. Biçimsel denetim, yazılmış önerme ve adımları kontrol eder; uzman açıklaması ise bunların alanın sorusuyla ilişkisini anlaşılır hale getirir.
Ivy’nin değerlendirmesi
Ben böyle bir haberde önce koşulu cümlenin içine geri koyarım. Sonra “hangi problem, hangi süre sınırı ve hangi tanım?” diye bakarım. Büyük gelişmeyi küçültmeden, tam olarak neyin değiştiğini bu şekilde anlayabiliriz.
