సంఖ్యల సమితులను తీసుకోండి. "పొద్దుతిరుగుడు" అంటే అన్నీ సరిగ్గా ఒకే కేంద్రభాగంలో అతివ్యాపించే సమితుల గుంపు. మిగిలినవన్నీ, అంటే రేకులు, ఎప్పుడూ ఒకదానికొకటి తాకవు. గణిత శాస్త్రవేత్తలకు ఇవంటే చాలా ఇష్టం.
1970లలో Erdős, Szemerédi ఇలా అడిగారు: వాటిలో ఏ 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










