حدس گل آفتابگردان اثبات شد
اعداد 1 تا n را در نظر بگیرید و همهٔ راه‌های برگزیدن برخی از آن‌ها را ببینید: 2ⁿ زیرمجموعه از این دست وجود دارد. حالا چند زیرمجموعه بردارید که دقیقاً بخش مشترک یکسانی دارند و جز آن هیچ چیز مشترکی ندارند. ریاضی‌دانان به این می‌گویند گل آفتابگردان (sunflower): بخش مشترک، هسته است و آنچه از هر مجموعه باقی می‌ماند گلبرگی است که به هیچ گلبرگ دیگری نمی‌رسد.
گل‌های آفتابگردان یکی از ابزارهای پایه‌ای ترکیبیات‌اند. مقاله پیوندهایی با محدودیت‌های برخی مدارهای منطقی، با مسئلهٔ «cap set»، با ضرب سریع ماتریس‌ها و با نظریهٔ اطلاعات برمی‌شمارد.
پرسشی از 1970
به گفتهٔ نویسندگان، طبیعی‌ترین پرسش دربارهٔ آن‌ها به مقاله‌ای از پل اردیش در 1970 بازمی‌گردد. گردایه‌ای از زیرمجموعه‌های {1, …, n} حداکثر چقدر می‌تواند بزرگ باشد اگر هیچ k مجموعه‌ای از آن یک گل آفتابگردان نسازند؟
در دههٔ 1970، اردیش و اندره سمردی حدس زدند که چنین گردایه‌ای باید به‌طور نمایی کوچک‌تر از 2ⁿ زیرمجموعهٔ ممکن باشد: حداکثر cⁿ، به ازای عددی مانند c که اکیداً کمتر از 2 است.
دهه‌ها بهترین کران‌ها تنها اندکی از این مقدار می‌کاستند و هرگز برای پایین آوردن پایه به زیر 2 کافی نبودند. تنها حالت سه‌گلبرگی (k = 3) در 2016 حل شد، به لطف پیشرفت بزرگ در مسئلهٔ cap set و یک کاهش (reduction) از آلون، شپیلکا و اومانز.
کران
ماتیا بوچیچ و فانکانگ هه (دانشگاه وین) و هیونوو لی (KAIST و مؤسسهٔ علوم پایهٔ کرهٔ جنوبی) حدس را برای هر k ≥ 3 اثبات می‌کنند. قضیهٔ اصلی آن‌ها: گردایه‌ای بدون گل آفتابگردان k گلبرگی حداکثر
3 · (2 − 1/(16k³))ⁿ
عضو دارد. پایه درست زیر 2 قرار می‌گیرد، اما عددی ثابت و کمتر از 2 است، و این دقیقاً همان چیزی است که اردیش و سمردی می‌خواستند. ساختاری از 1997 نشان می‌دهد که برای kهای بزرگ، مقدار واقعی نمی‌تواند خیلی پایین‌تر از این باشد.
از مجموعه‌ها به بردارها
اثبات از نسخه‌ای از مسئله با بردارها می‌گذرد. اعداد را به n بلوک D عضوی تقسیم کنید و از هر بلوک یک عضو برگزینید: هر انتخاب یک بردار است. چند بردار وقتی گل آفتابگردان می‌سازند که در هر مؤلفه، درایه‌هایشان یا همه برابر یا همه متفاوت باشند.
سپس نویسندگان یک «آزمونگر گل آفتابگردان» می‌سازند: تابعی که روی یک گردایهٔ بدون گل آفتابگردان، تنها وقتی ناصفر است که همهٔ ورودی‌هایش یک بردار واحد باشند. عنصر تازه این است که این تابع گام به گام با چندجمله‌ای‌های درون‌یابی با درجهٔ پایین نوشته شود. شمردن این چندجمله‌ای‌ها اندازهٔ گردایه را محدود می‌کند (قضیهٔ 2 آن‌ها). یک استدلال احتمالاتی، با بلوک‌های تصادفی که روی همهٔ اندازه‌های مجموعه میانگین گرفته می‌شوند، کران را به مجموعه‌های معمولی بازمی‌گرداند.
یافته‌شده به دست یک ماشین، بررسی‌شده به دست ماشینی دیگر
بیانیهٔ مقاله دربارهٔ هوش مصنوعی به‌طرز غیرمعمولی صریح است. اثبات قضیهٔ 2 را ChatGPT 6 Astra Pro یافت، پس از گفت‌وگویی کوتاه که با درخواست تعمیم استدلال شناخته‌شدهٔ سه‌گلبرگی آغاز شد. نویسندگان این گام را برای هدف دیگری لازم داشتند: نسخه‌ای القایی (induced) از یک مسئلهٔ گراف که سمردی مطرح کرده بود و آن را برای یادداشتی در آینده اعلام می‌کنند.
مدل اثباتش را به زبان «slice rank» (رتبهٔ برشی) نوشت. نویسندگان آن را به زبان روش چندجمله‌ای بازنویسی کردند که به نظرشان برای خوانندگان آسان‌تر است. آن‌ها اعلام می‌کنند که همهٔ نتایج را راستی‌آزمایی کرده‌اند و مسئولیت کامل را می‌پذیرند، و اینکه اثبات در Lean 4.35، نرم‌افزاری برای بررسی اثبات‌ها، راستی‌آزمایی شده است و این راستی‌آزمایی در مخزن Palomar منتشر خواهد شد.
آنچه حل نمی‌کند
نویسندگان در پی بهینه‌سازی پایه نبودند. برای سه گلبرگ، این کران از کران 2017 ناسلوند و ساوین، حدود 1.89، بهتر نیست. و مسئلهٔ خواهر قوی‌تر، یعنی حدس گل آفتابگردان اردیش–رادو، همچنان باز است: کران‌های آن‌ها هنوز به‌شدت به اندازهٔ بلوک D وابسته‌اند، و این دقیقاً همان چیزی است که آن مسئله ممنوع می‌کند.