در چهار بعد، هفت تکه همیشه بس است
یک شکل را در نظر بگیرید — هر مجموعهٔ کران‌دار از نقطه‌ها — و بیشترین فاصلهٔ میان دو نقطه‌اش را قطر آن بنامید. اکنون آن را به تکه‌هایی ببرید، چنان که هر تکه اکیداً باریک‌تر از کل باشد. کمترین شمار تکه‌ها که همیشه، هر شکلی که باشد، جواب می‌دهد چیست؟
این عدد، در n بعد، عدد بورسوک (Borsuk number) b_n نامیده می‌شود. در سال 1933، بورسوک (Borsuk) پرسید آیا همیشه برابر با n + 1 است. کوچک‌تر نمی‌تواند باشد: رأس‌های یک سادک (simplex) منتظم — مثلثی متساوی‌الاضلاع در صفحه، چهاروجهی‌ای منتظم در فضا — به n + 1 تکه نیاز دارند، چون هر دو رأس به اندازهٔ یک قطر کامل از هم فاصله دارند. و n + 1 در یک، دو و سه بعد کافی است. در سال 1993، کان (Kahn) و کالای (Kalai) نشان دادند که این حدس در ابعاد به اندازهٔ کافی بالا نادرست است.
نخستین حالت باز
چهار بعد نخستین جایی است که هیچ‌کس پاسخ را نمی‌داند. یک کران کلی قدیمی از لاساک (Lassak)، 2ⁿ⁻¹ + 1، در آنجا حداکثر نُه تکه به دست می‌دهد. اوایل سال 2026، تولماچف (Tolmachev) و ورونوف (Voronov) با ساختاری به کمک رایانه آن را به هشت پایین آوردند.
A. Arman و A. Prymak از دانشگاه مانیتوبا، A. Bondarenko از دانشگاه علم و فناوری نروژ و D. Radchenko از مؤسسهٔ مطالعات عالی علمی (Institut des Hautes Études Scientifiques) اکنون گزاره‌ای قوی‌تر را اثبات می‌کنند. هر مجموعه با قطر 1 در چهار بعد را می‌توان با هفت گوی پوشاند، همه با قطری یکسان و اکیداً کمتر از 0.9999. هر گوی باریک‌تر از مجموعه است، پس نسبت دادن هر نقطه به یک گوی، مجموعه را به هفت تکهٔ باریک‌تر می‌برد: b₄ ≤ 7. پاسخ اکنون جایی میان پنج و هفت است.
آغاز از کوچک‌ترین گوی دربرگیرنده
اثبات با گوی محیطی (circumball) آغاز می‌شود: کوچک‌ترین گویی که مجموعه را در بر می‌گیرد. قضیه‌ای کلاسیک از یونگ (Jung) محدود می‌کند که این گوی چقدر می‌تواند بزرگ باشد — شعاعش برای مجموعه‌ای با قطر 1 حداکثر حدود 0.63 است (مجذورش حداکثر 2/5). مجموعه سطح گوی محیطی را لمس می‌کند، و از میان این نقطه‌های لمس، حداکثر پنج نقطه کافی است تا گوی را در جایش ثابت نگه دارد؛ نویسندگان آن‌ها را نقطه‌های تماس می‌نامند. این نقطه‌ها محدود می‌کنند که بقیهٔ مجموعه کجا می‌تواند باشد، چون هیچ نقطه‌ای بیش از 1 از هیچ‌یک از آن‌ها فاصله ندارد.
نویسندگان سپس مسئله را بر حسب اندازهٔ گوی محیطی به سه حالت تقسیم می‌کنند:
- گوی محیطی کوچک: هفت گوی در چیدمانی ثابت و صریح کل گوی محیطی را می‌پوشانند، هر مجموعه‌ای که درونش باشد. این با دست اثبات می‌شود.
- گوی محیطی بزرگ: پنج نقطهٔ تماس وجود دارد. پنج گوی، که مرکز هر کدام در 9/20 راهِ میان مرکز و یکی از نقطه‌های تماس است، تقریباً همه چیز را می‌پوشانند؛ دو گوی دیگر آنچه را باقی می‌ماند، دو ناحیهٔ مخروطی‌شکل، می‌پوشانند. این هم با دست اثبات شده است.
- میان این دو: سه نقطهٔ تماس که مثلثی تندگوشه می‌سازند، هر مجموعهٔ ممکن را به خانواده‌ای از شکل‌ها فرو می‌کاهند که تنها با چهار عدد توصیف می‌شوند. اینجاست که رایانه وارد کار می‌شود.
23,494 جعبه، بی‌هیچ گردکردنی
این چهار عدد مکعبی چهاربعدی از امکان‌ها را پر می‌کنند. برای هر جعبهٔ کوچک از این مکعب، یک جست‌وجوی عددی هفت مرکز پیشنهاد می‌کند. سپس یک آزمون دقیق وارسی می‌کند که همان هفت گوی هر شکلِ درون جعبه را می‌پوشانند.
ترفند، کلاسیکی از هندسهٔ محاسباتی است: افزودن مختصهٔ پنجمی برابر با مجذور فاصله از مبدأ، «درون این گوی» و «بیرون آن گوی» را به نابرابری‌های خطی تبدیل می‌کند. پرسش این می‌شود که آیا چندوجهی‌ای (polytope) — شکلی با وجه‌های تخت — که دوازده نابرابری از این دست جدایش می‌کنند به‌طور کامل بالای یک کاسهٔ خمیده قرار دارد — و برای این، وارسی رأس‌هایش کافی است. برنامه همهٔ 792 رأس نامزد را بررسی می‌کند، تنها با اعداد صحیح و کسرهای دقیق، بی‌هیچ رواداری عددی.
وقتی جعبه‌ای شکست می‌خورد، به دو نیم بریده می‌شود و هر دو نیمه دوباره آزموده می‌شوند. در پایان، مکعب به 23,494 جعبه بریده شد، تا 29 مرحله نصف‌کردن، و همهٔ آن‌ها قبول شدند. حجم‌هایشان روی هم دقیقاً 1 می‌شود: هیچ چیز جا نمانده است. داده‌ها و برنامهٔ وارسی عمومی‌اند. نویسندگان یادآوری می‌کنند که برنامه از حساب دقیق استفاده می‌کند اما اثباتی صوری نیست که یک دستیار اثبات (proof assistant) وارسی‌اش کرده باشد.
ایده چگونه از راه رسید
نویسندگان دربارهٔ اینکه چگونه به اینجا رسیدند صریح‌اند. نسخهٔ پیشینی از کارشان تنها به هشت رسیده بود و به محاسبات بسیار بیشتری نیاز داشت؛ مدل‌های زبانی در آن زمان تنها در کدنویسی کمک می‌کردند. آن‌ها بعدها مسئله را با ChatGPT Astra کاویدند و نخست به دنبال استدلال‌های صرفاً تحلیلی بودند. این کاوش به رویکردی مبتنی بر گوی محیطی انجامید که جست‌وجوی رایانه‌ای را به‌طور چشمگیری کوچک کرد. آن‌ها از ChatGPT برای کدنویسی و ویرایش هم استفاده کردند، و هر استدلال ریاضی و کد وارسی را خودشان بررسی کردند.
حدس خود بورسوک برای چهار بعد، پنج تکه، نه اثبات شده و نه رد. دو گام کران تازه را از آن جدا می‌کند.