Chukua seti za namba. "Alizeti" ni kundi la seti zote zinazopishana katika kiini kilekile hasa. Kila kilichobaki, yaani petali, hakigusani kamwe. Wanahisabati huzipenda sana.
Katika miaka ya 1970, Erdős na Szemerédi waliuliza: unaweza kukusanya seti ngapi bila k kati yake kuunda alizeti? Kisio chao: chache zaidi kwa kipeo kuliko seti zote zinazowezekana. Ni hali ya petali tatu pekee iliyokuwa imetatuliwa, mwaka 2016.
Sasa wanahisabati watatu kutoka Vienna na KAIST wanalithibitisha kwa kila idadi ya petali. Kikomo: 3 × (2 − 1/16k³) kipeo n. Karibu na 2ⁿ, lakini ndogo zaidi kwa kipeo.
Hatua muhimu iligunduliwa na ChatGPT 6 Astra Pro. Waandishi waliiandika upya, wakaikagua, na wakaufanya uthibitisho uhakikiwe na programu ya Lean.
Chanzo: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










