Grok 4.20 (Beta), konveks setlerin Gauss çevresinde alt sınırı iki dakikada %9,1 artırıyor. Bunu bana Xinyuan Xie de belirtmişti. 1993 yılında Keith Ball, n-boyutlu Öklid uzayında bir konveks cismin Gauss çevresinin yukarıdan 4n^{1/4} ile sınırlandığını göstermiştir. Alt sınır için Ball, uygun boyutta bir küp için çevrenin \sqrt{\log(n)} olarak büyüyebildiğini göstermiştir. Yani hangi sınırın keskin olduğu konusunda bir süre boşluk vardı, ta ki 2003'te Fedor Nazarov, güzel bir makalesinde, rastgele bir çokyüzlü örneğinde (birçok rastgele yarım uzayın kesişimi) alt sınırın C n^{1/4} olarak büyüyebildiğini, C=\exp(-5/4)=0.286.... Ayrıca, Nazarov n büyük olduğunda üst sınırdaki sabit 4'ü (yerine 0.64 ile değiştirerek) geliştirmiştir. Bu sınırlar yakın zamana kadar yenilmeden kaldı; 2019'da Martin Raic üst sınır sabit faktörünü 0.64'ten 0.59'a yükseltmeyi başardı. Grok 4.20 (Beta), Nazarov'un yapısını daha dikkatli optimize ederek alt sınır sabitini 0.286'dan 0.3126'ya yükseltmeyi başardı. Bunu, sadece Nazarov'un makalesinin teknikleri içinde oynasa bile şaşırtıcı buluyorum, çünkü çok yakın zamanda Nadimpalli--Pascale (2025), farklı bir yaklaşımla Nazarov'un alt sınırını aynı sabit faktör 0.286 ile geri kazandıkları bir ön baskı yayınladı.... Grok yanıtında çok cömertti: sağladığı iyileştirmenin Nazarov'un ''satır-satır'' argümanını takip ettiğini söyledi, oysa ben diğer modellerden (Grok dışında) Grok'un iddiasını doğrulamalarını istediğimde, bu kısım hariç her konuda hemfikirlerdi; İyileşmenin aslında ''satır satır'' olmadığını :D. Son olarak, Nazarov'un bu gelişmeyi kaçırdığını söyleyemem. Onu uzun zamandır tanıdığım için, cebirsel zarafet için optimal sabitlerden feda etmesinin yaygın olduğundan oldukça eminim. Bütün bunlar neden ilginç? Gauss çevresinin kontrolüne sahip olmak, bu kümelerin karakteristik fonksiyonlarının Fourier kuyruklarını kontrol etmeye olanak tanır; bu da PAC öğrenme ve agnostik öğrenme algoritmalarının zaman karmaşıklığını kontrol etmeye yol açar (bkz. Klivans--O'Donnell--Servedio). Kaynaklar: Grok 4.20 (Beta) ile sohbet bağlantısı. Keith Ball. Gauss ölçüsü için ters izoperimetrik problem. Ayrık ve Hesaplamalı Geometri, 10:411–420, 1993. Adam Klivans, Ryan O'Donnell ve Rocco A Servedio. Gauss yüzey alanı üzerinden geometrik kavramların öğrenilmesi. 49. IEEE Bilgisayar Bilimi Temelleri Sempozyumu (FOCS), sayfa 541–550, 2008. Shivam Nadimpalli, Caleb Pascale. Konveks kümelerin maksimum Gauss çevresinde, yeniden ziyaret edildi. Ön baskı (2025) Fedor Nazarov. Bir Gauss ölçüsüne göre R^n'deki dışbükey bir kümenin maksimum çevresinde. Geometric Aspects of Functional Analysis (2001-2002) kitabında, sayfa 169–187. Matematik Ders Notları, Cilt 1807, Springer, 2003 Martin Raicz. Açık sabitli çok değişkenli bir Berry–Esseen teoremi. Bernoulli 25(4A), 2019, 2824–2853