عدداں دے کجھ سیٹ لوو۔ اک "سورج مکھی" سیٹاں دا اوہ ٹولا اے جیہڑے سارے ٹھیک اکو جیہے وچکارلے حصے وچ اک دوجے اُتے چڑھدے نیں۔ باقی سب کجھ، یعنی پتیاں، کدی اک دوجے نوں نئیں چھوہندیاں۔ ریاضی دان ایہناں نوں بہت پسند کردے نیں۔
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










