خذ مجموعات من الأعداد. «زهرة دوّار الشمس» هي مجموعة من المجموعات تتداخل كلها في النواة نفسها تمامًا. وكل ما عدا ذلك، أي البتلات، لا يتلامس أبدًا. والرياضيون مولعون بها.
في السبعينيات، سأل إردوش وسيميريدي: كم مجموعة يمكنك جمعها دون أن تشكّل 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










