لغزش علامتی که سه اثبات را غرق کرد

حدس هاج (Hodge conjecture) یکی از ژرف‌ترین پرسش‌های باز ریاضیات است. صورت‌بندی آن در این مقاله از فصلی به قلم پیر دلینی (Pierre Deligne) در کتاب The Millennium Prize Problems مؤسسهٔ ریاضی کلی (Clay Mathematics Institute) گرفته شده است. به بیان بسیار تقریبی، این حدس می‌گوید برخی «شکل‌ها» که در توپولوژی یک فضای هندسیِ تعریف‌شده با معادلات چندجمله‌ای پنهان‌اند، همیشه می‌توانند از قطعه‌های کوچک‌تری ساخته شوند که خود نیز با معادلات تعریف می‌شوند.

در سپتامبر و اکتبر 2026، OpenAI سه سند با امضای «OAI» منتشر کرد که مدعی اثبات این حدس در حالت‌های خاص بودند: برای رویه‌هایی به نام رویه‌های K3، حاصل‌ضرب‌های آن‌ها، و برخی فضاهای هشت‌بعدی. OpenAI بعدها هر سه را پس گرفت. یانکی لکیلی (Yankı Lekili) از امپریال کالج لندن و نیک شریدان (Nick Sheridan) از دانشگاه ادینبرو اکنون توضیح می‌دهند که این اسناد دقیقاً کجا به خطا رفتند.

راهی معتبر از میان آینه

این اسناد مسیر زیبایی را برگزیده بودند. ایدهٔ نیرومندی به نام تقارن آینه‌ای همولوژیک (homological mirror symmetry)، که ماکسیم کنتسویچ (Maxim Kontsevich) حدسش را زده است، یک فضای هندسی X را به فضای «آینه‌ای» Y از نوعی کاملاً متفاوت پیوند می‌دهد که در هندسهٔ همتافته (symplectic geometry) بررسی می‌شود — هندسه‌ای برآمده از فیزیک حرکت، که در آن مساحت‌ها، نه طول‌ها، اندازه گرفته می‌شوند. وقتی این پیوند برقرار شد، می‌توان پرسشی دربارهٔ X را با پرسشی دربارهٔ Y عوض کرد.

اینجا، برای حل پرسش هاج برای X، کافی است شیء خاصی در آینهٔ Y ساخته شود: شکلی رویه‌مانند به نام غوطه‌وری لاگرانژی (Lagrangian immersion)، که باید بی‌مانع (unobstructed) هم باشد — شرطی فنی که آن را عضو مشروعی از جعبه‌ابزار آینه می‌کند. لکیلی و شریدان می‌پذیرند که این رویکردی معتبر است. گرفتاری اینجاست: ساختن لاگرانژی‌های بی‌مانع خودش مسئلهٔ دشواری است. هر سه سند درست همین‌جا فرو ریختند.

نقطه‌های تقاطع وارد می‌شوند

یک غوطه‌وری اجازه دارد خودش را قطع کند، و هر نقطهٔ تقاطع عددی با خود دارد: درجه‌اش (degree). تقاطع‌های با درجهٔ فرد در اینجا بی‌خطرند. تقاطع‌های با درجهٔ 2 می‌توانند مانع ایجاد کنند.

اسناد ابتدا با یک تکنیک انعطاف‌پذیر، یعنی اصل h گروموف و لیز (h-principle of Gromov and Lees)، غوطه‌وری خامی ساختند. سپس به قضیه‌ای از سال 2013 از توبیاس اکهولم (Tobias Ekholm)، یاکوف الیاشبرگ (Yakov Eliashberg)، امی مورفی (Emmy Murphy) و ایوان اسمیت (Ivan Smith) متوسل شدند تا آن را مرتب کنند، به‌طوری که همهٔ تقاطع‌ها درجهٔ فرد داشته باشند. با نماندن هیچ تقاطع زوجی، بی‌مانع بودن نتیجه می‌شد.

مثبتی که باید منفی می‌بود

قضیهٔ 2013 درست است. اما تقاطع‌ها را با قرارداد علامتِ مخالفِ قرارداد استاندارد می‌شمارد. نویسندگانش هرگز این را صریحاً نمی‌گویند؛ قراردادشان را پیوسته به کار می‌برند و می‌توان آن را از فرمول‌ها و اثباتشان استنباط کرد. اسناد OpenAI در عوض قرارداد استاندارد را به کار بردند — یک علامت وارونه شد. این مهم است، چون نتیجهٔ قضیه به این بستگی دارد که شمارش خاصی از تقاطع‌ها، که با مثبت‌ها و منفی‌ها حساب می‌شود، منفی از آب درآید یا نه. اسناد غوطه‌وری خود را طوری ساخته بودند که این شمارش منفی باشد — حالتی که گمان می‌کردند در آن می‌توان همهٔ تقاطع‌ها را فرد کرد. با علامتِ خودِ قضیه، همین شمارش مثبت است: یعنی حالت دیگر. ظاهراً نخستین کسی که این مشکل را دید و به OpenAI گزارش داد، ناتان هامفری (Nathan Humphrey) بود.

اگر علامت درست خوانده شود، قضیه داستان دیگری می‌گوید. ساختار آن همیشه یک نقطهٔ تقاطع با درجهٔ 2 باقی می‌گذارد که لکیلی و شریدان آن را p می‌نامند. همهٔ تقاطع‌های دیگر را می‌توان فرد کرد؛ p می‌ماند. و p برای شکستن اثبات کافی است.

وضع از یک شکاف هم بدتر است. نویسندگان نشان می‌دهند که غوطه‌وری‌هایی که به این روش ساخته می‌شوند معمولاً دارای مانع‌اند: قرص کوچکِ «صُلبی» — سطحی منزوی و تغییرشکل‌ناپذیر که لبه‌اش روی غوطه‌وری قرار دارد و از p می‌گذرد — مانعی پدید می‌آورد که در رژیم خاصی نمی‌تواند صفر شود — و بیرون از آن رژیم هم دلیلی برای خنثی شدنش نیست. به تعبیر خودشان، این تقاطع «بهای انعطاف‌پذیری» است.

صلب در برابر انعطاف‌پذیر

ریاضی‌دانان این حوزه مسئله‌های انعطاف‌پذیر را، که در برابر ابزارهای همه‌منظورهٔ توپولوژی دیفرانسیل تسلیم می‌شوند، از مسئله‌های صُلب (rigid) که تسلیم نمی‌شوند متمایز می‌کنند. لاگرانژی‌های بی‌مانع معمولاً صلب‌اند، و معمولاً می‌توان از صلب به انعطاف‌پذیر رفت ولی نه برعکس. همین شهود باعث شده بود چند پژوهشگر پیش از پس گرفته شدن اسناد به آن‌ها بدگمان باشند. با این حال، نویسندگان نکته‌ای فروتنانه می‌افزایند: شهود ممکن است خطا کند، و خود قضیهٔ 2013 هم زمانی برخلاف انتظارها بود.

آنچه باقی می‌ماند

لکیلی و شریدان باقی استدلال‌ها را بررسی نمی‌کنند و سه دستاورد مثبت برمی‌شمارند. راهبرد کلی — حمله به حدس هاج از راه تقارن آینه‌ای — جالب و شایستهٔ پیگیری است؛ اگر کسی بر مانع لاگرانژی چیره شود، این اسناد ممکن است گام‌های فنی باقی‌مانده را راهنمایی کنند. قرارداد علامت پنهان مقالهٔ 2013 اکنون روشن شده است. و همچنین این پرسش که آیا غوطه‌وری‌های آن هرگز می‌توانند بی‌مانع باشند.