Hãy lấy các tập hợp số. Một "hoa hướng dương" là một nhóm tập hợp chồng lên nhau ở đúng cùng một phần lõi. Mọi phần còn lại, tức các cánh hoa, không bao giờ chạm nhau. Các nhà toán học rất yêu thích chúng.
Vào những năm 1970, Erdős và Szemerédi đặt câu hỏi: có thể gom được bao nhiêu tập hợp mà không có k tập nào tạo thành một hoa hướng dương? Phỏng đoán của họ: ít hơn theo cấp số mũ so với tất cả các tập hợp có thể có. Chỉ trường hợp ba cánh được giải quyết, vào năm 2016.
Giờ đây, ba nhà toán học từ Vienna và KAIST chứng minh điều đó cho mọi số cánh. Giới hạn: 3 × (2 − 1/16k³) mũ n. Gần với 2ⁿ, nhưng vẫn nhỏ hơn theo cấp số mũ.
Bước then chốt do ChatGPT 6 Astra Pro tìm ra. Các tác giả đã viết lại, kiểm tra, và cho phần mềm Lean xác minh chứng minh.
Nguồn: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










