সংখ্যার কিছু সেট নিন। একটি "সূর্যমুখী" হলো সেটের এমন একটি দল, যারা সবাই ঠিক একই কেন্দ্রে একে অপরের সঙ্গে মেলে। বাকি সবকিছু, অর্থাৎ পাপড়িগুলো, কখনো একে অপরকে ছোঁয় না। গণিতবিদেরা এদের খুব ভালোবাসেন।
1970-এর দশকে Erdős ও Szemerédi প্রশ্ন করেছিলেন: কোনো k-টি মিলে সূর্যমুখী তৈরি না করে কতগুলো সেট জোগাড় করা যায়? তাঁদের অনুমান: সম্ভাব্য সব সেটের চেয়ে সূচকীয়ভাবে কম। কেবল তিন-পাপড়ির ক্ষেত্রটি মীমাংসিত হয়েছিল, 2016 সালে।
এবার ভিয়েনা ও KAIST-এর তিন গণিতবিদ পাপড়ির যেকোনো সংখ্যার জন্য এটি প্রমাণ করেছেন। সীমা: 3 × (2 − 1/16k³)-এর n ঘাত। 2ⁿ-এর কাছাকাছি, তবু সূচকীয়ভাবে ছোট।
মূল ধাপটি খুঁজে পেয়েছে ChatGPT 6 Astra Pro। লেখকেরা সেটি নতুন করে লিখেছেন, যাচাই করেছেন, এবং Lean সফটওয়্যার দিয়ে প্রমাণটি যাচাই করিয়েছেন।
সূত্র: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










