حدسی از 1959، اثباتی از OpenAI، و ریاضیدانی که آن را خواند

این نوشته دربارهٔ یادداشت‌هایی است که ریاضیدانی برای توضیح اثبات شخصی دیگر نوشته است. هر آنچه اینجا دربارهٔ اثبات OpenAI گفته می‌شود از همین یادداشت‌ها، به‌صورت دست‌دوم، آمده است.

منحنی‌هایی که از نقطه‌ها می‌گذرند

این مسئله از یک تمرین مدرسه‌ای به نام درون‌یابی سر برمی‌آورد: چند مقدار برای x برگزینید، تعیین کنید که یک تابع در هر یک از آن‌ها چه مقداری بگیرد، و همیشه چندجمله‌ای‌ای پیدا می‌شود که این کار را می‌کند. در صفحه، همین بازی از یک منحنی می‌خواهد که از مجموعه‌ای از نقطه‌ها بگذرد، کاری که اگر درجه‌اش به اندازهٔ کافی بالا باشد از عهده‌اش برمی‌آید. منحنی‌ای از درجهٔ d — که با یک معادلهٔ چندجمله‌ای در x و y رسم می‌شود که بالاترین توانش d است: یک خط راست درجهٔ 1 دارد و یک دایره درجهٔ 2 — دارای (d+1)(d+2)/2 ضریب است، و خواستن اینکه از یک نقطه بگذرد یک معادله است.

حالا بیشتر بخواهید: منحنی باید از هر نقطه با چندگانگی m بگذرد — چند بار، مانند گرهی از شاخه‌ها که آنجا یکدیگر را قطع می‌کنند. هر چنین نقطه‌ای m(m+1)/2 معادله تحمیل می‌کند. برای d و mِ بزرگ، شمارش‌ها حدود d²/2 ضریب در برابر r m²/2 شرط می‌دهند، پس، برای r نقطه، این شمارش وجود منحنی را به‌محض آنکه d/m کمی از √r بیشتر شود تضمین می‌کند — به بیان دقیق، به‌محض آنکه شمار ضریب‌ها از شمار شرط‌ها بیشتر شود.

حدس ناگاتا (1959) این را دقیق می‌کند: برای r ≥ 10 نقطه که به شیوه‌ای «بسیار عام» قرار گرفته‌اند — بی هیچ تصادف ویژه‌ای میان آن‌ها، همان‌طور که نقطه‌هایی که تصادفی برگزیده شوند چنین‌اند —، هر چنین منحنی‌ای درجه‌ای بزرگ‌تر از m√r دارد. شرط r ≥ 10 لازم است: نُه نقطه همیشه روی یک منحنی مکعبی (منحنی‌ای از درجهٔ 3) قرار دارند، و همان منحنی مکعبی که m بار گرفته شود منحنی‌ای از درجهٔ 3m است که m بار از هر یک از آن‌ها می‌گذرد — دقیقاً m√9، همان تساوی‌ای که حدس آن را منع می‌کند. ناگاتا آن را برای حالتی که r مربع کامل است ثابت کرد.

دو مثال از یادداشت‌ها: هیچ منحنی درجهٔ 9 از هر یک از 10 نقطهٔ عام سه بار نمی‌گذرد (تنها 55 ضریب برای 60 شرط — که به‌تنهایی برای نتیجه‌گیری کافی نیست، چون شرط‌ها ممکن است هم‌پوشانی داشته باشند؛ آنچه آن را رد می‌کند کران ناگاتاست، چون 9 کمتر از 3√10 ≈ 9.5 است)، و هیچ منحنی درجهٔ 12 از هر یک از 16 نقطهٔ عام سه بار نمی‌گذرد — حالت تساوی 12 = 3√16.

اثبات، آن‌گونه که Tevelev روایت می‌کند

مرجع، «OpenAI, Nagata’s conjecture for plane curves» است، پیش‌چاپی از OpenAI Math Release به تاریخ 23 سپتامبر 2026، همراه با دست‌نوشته‌هایی دربارهٔ پرسش‌های مرتبط که در 23 سپتامبر و 5 اکتبر منتشر شدند. Jenia Tevelev، از UMass Amherst، آن را برای یک سخنرانی بررسی کرد و آن روایت را به این یادداشت‌ها تبدیل کرد، به این امید که «سودمند باشند، به‌ویژه برای غیرمتخصصان». Tevelev هیچ ادعای نوآوری ندارد و استدلال را از نو سازمان داده است.

گام‌های نخست استاندارد، صفحه را روی یک منحنی مکعبی هموار فشرده می‌کنند و r نقطه را در یک نقطه ادغام می‌کنند. ایدهٔ تازه، در این روایت، این است که بگذاریم منحنی مکعبی یک گره (node) — نقطه‌ای که منحنی خودش را در آن قطع می‌کند و حلقه‌ای را می‌فشارد — پیدا کند و توابع تتای آن را، یعنی شیوهٔ معمول نوشتن توابعی که روی چنین منحنی‌ای زندگی می‌کنند، در حین بسته شدن آن فشردگی دنبال کنیم. آنگاه یک دوگانگی پرسش «کدام منحنی‌ها در این نقطه‌ها صفر می‌شوند؟» را با تصویر آینه‌ای‌اش عوض می‌کند، «کدام مقادیر را می‌توان آنجا تحمیل کرد؟»، و آنچه می‌ماند درون‌یابی روی مثلثی از نقطه‌های با مختصات صحیح است — جدولی متناهی از مقادیر که باید پر شود، «که سرراست است».

حالت شانزده نقطهٔ سه‌گانه: 91 نقطهٔ شبکه‌ای مثلث (چپ) و 96 تک‌جمله‌ای، یعنی جمله‌های پایه‌ای مانند x²y که چندجمله‌ای‌ها از آن‌ها ساخته می‌شوند (راست). نشان دادن اینکه این 96 جمله می‌توانند روی 91 نقطه هر مقداری بگیرند — یعنی ماتریس 96 × 91 «رتبهٔ کامل» (full rank) دارد — وجود منحنی را رد می‌کند. — شکل 3، Tevelev (2026)، arXiv:2610.30050، CC BY 4.0.

همین محاسبه پرسش مرتبط و فنی‌تری را نیز فیصله می‌دهد که در آن صفحه پیرامون یک نقطه در دو جهت به اندازه‌های متفاوت بزرگ‌نمایی می‌شود («بادکردگی‌های وزن‌دار»، weighted blow-ups)، وقتی نسبت این اندازه‌ها از نُه بیشتر باشد — حالتی از حدسی از Dumnicki، Harbourne، Küronya، Roé و Szemberg.

یادداشت‌ها استدلال را به‌عنوان یک اثبات ارائه می‌کنند. آن‌ها از هیچ وارسی رسمی مستقلی، مانند داوری همتا یا اثباتی که رایانه درستی‌اش را تأیید کرده باشد، یاد نمی‌کنند.

«نخستین خوانندهٔ انسانی‌شان»

یادداشت‌ها نظر نویسنده را هم در بر دارند. Tevelev دربارهٔ خواندن دست‌نوشته‌های منتشرشده می‌نویسد: «از خود پرسیدم آیا ممکن است نخستین خوانندهٔ انسانی آن‌ها باشم. تقریباً به‌کلی ویرایش‌نشده به نظر می‌رسیدند.» Tevelev گمان می‌کند که شرکت انتظار داشته ریاضیدانان آن‌ها را سامان دهند، تلاشی ویرایشی که «تخصص و زمان می‌طلبد، اما اندکی از اعتباری را که با پژوهش اصیل همراه است به ارمغان می‌آورد». Tevelev، مانند بسیاری دیگر، باور دارد که این رویکرد به این حرفه آسیب می‌زند، «به‌ویژه به انگیزه و آموزش جوانان».

Tevelev می‌نویسد: «در عین حال، فکر می‌کنم این دست‌نوشته‌ها دستاوردی خیره‌کننده‌اند»: مدل مسائلی را حل کرد که بسیاری از متخصصان دست‌نیافتنی می‌دانستند، و «بوته‌زار کهن حدس‌های ریاضی» «به‌سرعت در آتش هوش مصنوعی می‌سوزد».

پیشنهاد: بنیادی مستقل با بودجهٔ شرکت‌های هوش مصنوعی، که به پژوهشگران جوان کمک‌هزینه، بورس و دسترسی به بهترین مدل‌ها ارائه کند، با داوری همتایی بر الگوی بنیاد ملی علوم آمریکا (National Science Foundation).

یادداشت‌ها می‌گویند که «با ChatGPT Astra ویرایش و مصور شده‌اند».