جروك 4.20 (بيتا) يحسن الحد الأدنى بنسبة 9.1٪ على المحيط الغاوسي للمجموعات المحدبة خلال دقيقتين. هذا أمر أشار إلي إليه شينيوان شيه. في عام 1993، أظهر كيث بول أن المحيط الغاوسي لجسم محدب في الفضاء الإقليدي ذي الأبعاد n محاط من الأعلى ب 4n^{1/4}. أما بالنسبة للحد السفلي، فقد أظهر بول أنه بالنسبة لمكعب (بحجم مناسب) يمكن أن ينمو المحيط ك \sqrt{\log(n)}. لذا كان هناك فجوة لفترة حول أي حد هو الحاد، حتى عام 2003، عندما أظهر فيودور نازاروف في ورقة بحثية جميلة أنه في مثال متعدد الوجوه العشوائي (تقاطع العديد من أنصاف الفضاءات العشوائية) يمكن أن ينمو الحد الأدنى ك C n^{1/4}، مع C=\exp(-5/4)=0.286.... بالإضافة إلى ذلك، حسن نزاروف أيضا الثابت 4 في الحد الأعلى (واستبداله ب 0.64) عندما يكون n كبيرا. وظلت هذه الحدود غير مهزومة حتى وقت قريب، عندما تمكن مارتن رايك في 2019 من تحسين عامل الثابت في الحد العلوي من 0.64 إلى 0.59. تمكن جروك 4.20 (بيتا)، من خلال تحسين بناء نزاروف بشكل أكثر دقة، من تحسين ثابت الحد الأدنى من 0.286 إلى 0.3126. أجد هذا مفاجئا حتى لو كان مجرد لعب ضمن تقنيات ورقة نزاروف، لأن ناديمبالي-باسكال (2025) نشر مؤخرا نسخة مسبقة حيث استعادوا الحد الأدنى لنازاروف بنفس العامل الثابت 0.286.... كان جروك كريما جدا في ردها: قالت إن التحسين الذي قدمه يتبع نفس حجة نازاروف ''سطرا بسطر''، بينما عندما طلبت من نماذج أخرى (غير جروك) التحقق من ادعاء جروك، اتفقوا على كل شيء ما عدا هذا الجزء؛ قالوا إن التحسن ليس "سطرا بسطر" :D. وأخيرا، لا أعتقد أن نازاروف غفل عن هذا التحسن. وبما أنني أعرفه منذ وقت طويل، أنا واثق إلى حد كبير أنه من الشائع أن يضحي بالثوابت المثلى من أجل الأناقة الجبرية. لماذا كل هذا مثير للاهتمام؟ التحكم في محيط غاوسي يسمح للمرء بالتحكم في ذيول فورييه للدوال المميزة لهذه المجموعات، مما يؤدي إلى التحكم في تعقيد زمن تعلم PAC وخوارزميات التعلم اللاأدري لهذه العائلة (انظر كليفانز--أودونيل--سيرفيديو). المراجع: رابط الدردشة مع Grok 4.20 (النسخة التجريبية). كيث بول. مشكلة الإيزوبيريمتري العكسية للقياس الغاوسي. الهندسة المنفصلة والحوسبة، 10:411–420، 1993. آدم كليفانز، رايان أودونيل، وروكو أ. سيرفيديو. تعلم المفاهيم الهندسية عبر مساحة السطح الغاوسية. في الندوة التاسعة والأربعين لمعهد مهندسي الكهرباء والإلكترونيات حول أسس علوم الحاسوب (FOCS)، الصفحات 541–550، 2008. شيفام ناديمبالي، كاليب باسكالي. على المحيط الغاوسي الأقصى للمجموعات المحدبة، أعيد النظر فيه. الطبعة التمهيدية (2025) فيدور نزاروف. على المحيط الأقصى لمجموعة محدبة في R^n بالنسبة لقياس غاوسي. في الجوانب الهندسية للتحليل الدالي (2001-2002)، الصفحات 169–187. ملاحظات المحاضرات في الرياضيات، المجلد 1807، سبرينغر، 2003 مارتن رايتش. مبرهنة بيري-إيسين متعددة المتغيرات مع ثوابت صريحة. برنولي 25(4A)، 2019، 2824–2853