Babai son zamanlarda STOC 2016 hakkında grafik izomorfizmin kuasipolinom zamanda çözülebileceğini iddia eden bir makale yayınladı .
Babai, 2017 yılının başında Harald Helfgott'un bulduğu bazı ciddi hatalar nedeniyle kuasipolinom iddiasını geri çekti. Babai'nin de açıkladığı gibi, bu kusur gelişmeyi çalışma süresi açısından daha mütevazı kılmaktadır.
Yarı polinom iddiasını geri aldıktan yaklaşık 5 gün sonra, Babai ana sayfasında başka bir güncelleme yayınladı, bu da yarı polinom çalışma süresini bu şekilde geri yükleyerek kusurları kanıtta düzelttiğini iddia etti.
İspat doğruluğu durumundaki bu hızlı değişiklikten sonra, saygın bir dergide yayımlanana kadar yeni makaleyi normalde tamamen görmezden geleceğimi söylemeliyim.
Ancak Babai Babai olduğu için, tüm düzeltmelerin uygulandığı makalenin yeni versiyonu bile mevcut olmasa da, toplumun çoğu, en azından halka açık bir şekilde sözünü kabul ediyor. Büyük insanların bile hata yaptığını ve yeni düzeltmenin de bir kusuru olduğu gibi ihmal edilemez bir şans olduğunu unutmayın.
Peki şimdi yeni sonucu nasıl göstermeliyim?
- Quasipolynomial üst sınırda olduğunu iddia eden STOC belgesinden alıntı yapın.
- STOC makalesinde ciddi bir kusuru olduğunu ve gerçek çalışma süresinin önceki alt üstel alt sınırı iyileştirdiğini açıklayın.
- STOC gazetesinden, Babai tarafından düzeltilen bir kusuru olduğunu söyleyerek alıntı yapın.
- Hiç alıntı yapmayın ve eski üst sınırını mevcut yerleşik üst sınır olarak.