اعداد کے سیٹ لیجیے۔ "سورج مکھی" سیٹوں کا ایسا گروہ ہے جو سب کے سب بالکل ایک ہی مرکز میں ایک دوسرے سے ملتے ہیں۔ باقی سب کچھ، یعنی پنکھڑیاں، کبھی آپس میں نہیں ملتیں۔ ریاضی دان انہیں بہت پسند کرتے ہیں۔
1970 کی دہائی میں اردوش اور زیمیریدی نے پوچھا: کتنے سیٹ جمع کیے جا سکتے ہیں کہ ان میں سے کوئی k مل کر سورج مکھی نہ بنائیں؟ ان کا اندازہ: تمام ممکنہ سیٹوں سے قوت نمائی (exponentially) حد تک کم۔ صرف تین پنکھڑیوں والا معاملہ 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










