1959 నాటి ఒక ఊహ, OpenAI నుంచి ఒక నిరూపణ, దాన్ని చదివిన ఒక గణిత శాస్త్రవేత్త

ఈ వ్యాసం ఒక గణిత శాస్త్రవేత్త మరొకరి నిరూపణను వివరించడానికి రాసిన నోట్స్ గురించి. OpenAI నిరూపణ గురించి ఇక్కడ చెప్పినదంతా ఆ నోట్స్ నుంచి, పరోక్షంగా వచ్చినదే.

బిందువుల గుండా వక్రాలు

ఈ సమస్య అంతర్వేశనం (interpolation) అనే ఒక పాఠశాల అభ్యాసం నుంచి పుట్టుకొస్తుంది: x కు కొన్ని విలువలు ఎంచుకోండి, వాటిలో ప్రతిదాని వద్ద ఒక ప్రమేయం ఏ విలువ తీసుకోవాలో నిర్ణయించండి — ఏదో ఒక బహుపది ఎప్పుడూ అది చేసి చూపుతుంది. తలంలో, అదే ఆట ఒక వక్రాన్ని బిందువుల సమూహం గుండా వెళ్లమని అడుగుతుంది, దాని పరిమాణం (degree) తగినంత ఎక్కువగా ఉంటే అది చేయగలదు. d పరిమాణం గల వక్రానికి — x, y లలో అత్యధిక ఘాతం d గా ఉండే ఒక బహుపది సమీకరణంతో గీసే వక్రం: సరళరేఖ పరిమాణం 1, వృత్తం 2 — (d+1)(d+2)/2 గుణకాలు ఉంటాయి, అది ఒక బిందువు గుండా వెళ్లాలని అడగడం ఒక సమీకరణం.

ఇప్పుడు ఇంకా ఎక్కువ అడగండి: వక్రం ప్రతి బిందువు గుండా బహుళత్వం m తో వెళ్లాలి — అనేకసార్లు, అక్కడ కొమ్మలు దాటే ముడిలా. అలాంటి ప్రతి బిందువూ m(m+1)/2 సమీకరణాలను విధిస్తుంది. d, m పెద్దవైనప్పుడు, లెక్కలు సుమారు d²/2 గుణకాలకు వ్యతిరేకంగా r m²/2 షరతులు; కాబట్టి, r బిందువులకు, d/m అనేది √r కంటే కొంచెం ఎక్కువైన వెంటనే లెక్క ఒక వక్రానికి హామీ ఇస్తుంది — కచ్చితంగా చెప్పాలంటే, షరతుల కంటే గుణకాలు ఎక్కువైన వెంటనే.

నాగాటా ఊహ (1959) దీన్ని కచ్చితంగా చెబుతుంది: “చాలా సాధారణ” విధంగా ఉంచిన — యాదృచ్ఛికంగా ఎంచుకున్న బిందువుల్లాగా, వాటి మధ్య ప్రత్యేకమైన కాకతాళీయ అమరిక ఏదీ లేని — r ≥ 10 బిందువులకు, అలాంటి ప్రతి వక్రానికీ పరిమాణం m√r కంటే ఎక్కువ. r ≥ 10 షరతు అవసరం: తొమ్మిది బిందువులు ఎప్పుడూ ఒక ఘన వక్రంపై (పరిమాణం 3 గల వక్రం) ఉంటాయి, ఆ ఘన వక్రాన్ని m సార్లు తీసుకుంటే అది ప్రతి బిందువు గుండా m సార్లు వెళ్లే 3m పరిమాణ వక్రం అవుతుంది — సరిగ్గా m√9, ఊహ మినహాయించే సమానత్వమే. r పూర్ణ వర్గం అయినప్పుడు నాగాటా దీన్ని నిరూపించారు.

నోట్స్ నుంచి రెండు ఉదాహరణలు: 10 సాధారణ బిందువులలో ప్రతిదాని గుండా మూడుసార్లు వెళ్లే 9 పరిమాణ వక్రం ఏదీ లేదు (60 షరతులకు కేవలం 55 గుణకాలు — షరతులు ఒకదానిపై ఒకటి పడవచ్చు కాబట్టి, ఇది ఒక్కటే నిర్ధారించడానికి సరిపోదు; దాన్ని తోసిపుచ్చేది నాగాటా హద్దు, ఎందుకంటే 9 అనేది 3√10 ≈ 9.5 కంటే తక్కువ), 16 సాధారణ బిందువుల గుండా మూడుసార్లు వెళ్లే 12 పరిమాణ వక్రం ఏదీ లేదు — సమానత్వ సందర్భం 12 = 3√16.

తెవెలెవ్ చెప్పిన విధంగా నిరూపణ

సూచన “OpenAI, Nagata’s conjecture for plane curves”, 2026 సెప్టెంబర్ 23 తేదీతో ఉన్న OpenAI Math Release ప్రిప్రింట్, సంబంధిత ప్రశ్నలపై సహచర రాతప్రతులు సెప్టెంబర్ 23, అక్టోబర్ 5 తేదీల్లో విడుదలయ్యాయి. UMass Amherst కు చెందిన జెనియా తెవెలెవ్ ఒక ప్రసంగం కోసం దాన్ని అధ్యయనం చేసి, ఆ వివరణను ఈ నోట్స్‌గా మార్చారు, అవి “ఉపయోగకరంగా ఉంటాయి, ముఖ్యంగా నిపుణులు కాని వారికి” అని ఆశిస్తూ. తెవెలెవ్ ఏ మౌలికతనూ క్లెయిమ్ చేయరు, వాదనను పునర్వ్యవస్థీకరించారు.

ప్రామాణిక మొదటి అడుగులు తలాన్ని ఒక నునుపైన ఘన వక్రం (cubic curve) పైకి నొక్కి, r బిందువులను ఒకటిగా విలీనం చేస్తాయి. ఈ వివరణలో, కొత్త ఆలోచన ఘన వక్రానికి ఒక నోడ్ ఏర్పడనివ్వడం — వక్రం తనను తానే దాటుకుని ఒక ఉచ్చును పిసికే బిందువు — ఆ పిసుకుడు మూసుకుంటూ ఉన్నప్పుడు దాని థీటా ప్రమేయాలను (theta functions), అంటే అలాంటి వక్రంపై నివసించే ప్రమేయాలను రాసిచూపే ప్రామాణిక పద్ధతిని, అనుసరించడం. తర్వాత ఒక ద్వంద్వత్వం “ఏ వక్రాలు ఆ బిందువుల వద్ద శూన్యమవుతాయి?” అనే ప్రశ్నను దాని అద్దపు ప్రతిబింబమైన “అక్కడ ఏ విలువలను నిర్దేశించగలం?” తో మార్పిడి చేస్తుంది; మిగిలేది పూర్ణాంక జాలక బిందువుల త్రిభుజంపై అంతర్వేశనం — పూరించాల్సిన పరిమిత విలువల పట్టిక, “ఇది సూటిగా ఉంటుంది”.

పదహారు త్రిగుణ బిందువుల సందర్భం: త్రిభుజంలోని 91 జాలక బిందువులు (ఎడమ), 96 ఏకపదాలు, అంటే బహుపదులు నిర్మించబడే x²y వంటి ప్రాథమిక పదాలు (కుడి). ఈ 96 పదాలు 91 బిందువుల వద్ద ఏ విలువలనైనా తీసుకోగలవని — 96 × 91 మాత్రికకు “పూర్తి కోటి” (full rank) ఉందని — చూపిస్తే ఆ వక్రం ఉండదని తేలుతుంది. — చిత్రం 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

అదే లెక్కింపు ఒక సంబంధిత, మరింత సాంకేతికమైన ప్రశ్నను కూడా పరిష్కరిస్తుంది, ఇందులో తలాన్ని ఒక బిందువు చుట్టూ రెండు దిశల్లో వేర్వేరు మేరకు పెద్దది చేస్తారు (“భారిత బ్లో-అప్‌లు”, weighted blow-ups), ఆ మేరల నిష్పత్తి తొమ్మిదిని మించినప్పుడు — డుమ్నిక్కీ, హార్బోర్న్, క్యురోన్యా, రోయె, షెంబర్గ్‌ల ఒక ఊహలోని ఒక సందర్భం.

నోట్స్ వాదనను ఒక నిరూపణగా సమర్పిస్తాయి. సహచర సమీక్ష లేదా కంప్యూటర్-ధృవీకరించిన నిరూపణ వంటి ఏ స్వతంత్ర అధికారిక తనిఖీనీ అవి ప్రస్తావించవు.

“వాటి మొదటి మానవ పాఠకుడు”

నోట్స్‌లో రచయిత అభిప్రాయం కూడా ఉంది. విడుదలైన రాతప్రతులను చదువుతూ, తెవెలెవ్ “నేను వాటి మొదటి మానవ పాఠకుడినేమో అని ఆలోచించాను. అవి దాదాపు పూర్తిగా సంపాదకీయం చేయనివిగా కనిపించాయి.” గణిత శాస్త్రవేత్తలు వాటిని సరిచేస్తారని కంపెనీ ఆశించిందని తెవెలెవ్ అనుమానిస్తారు, ఇది “నైపుణ్యం, సమయం కోరుతుంది, అయినా మౌలిక పరిశోధనతో ముడిపడిన గుర్తింపు పెద్దగా తీసుకురాదు” అనే సంపాదకీయ శ్రమ. మరెందరిలాగే, ఈ విధానం వృత్తికి హాని చేస్తుందని తెవెలెవ్ నమ్ముతారు, “ముఖ్యంగా యువకుల ప్రేరణకు, శిక్షణకు”.

“అదే సమయంలో, ఈ రాతప్రతులు ఒక అద్భుతమైన విజయమని నేను అనుకుంటున్నాను,” అని తెవెలెవ్ రాస్తారు: చాలా మంది నిపుణులు అందనివని భావించిన సమస్యలను నమూనా పరిష్కరించింది, “గణిత ఊహల పాత పొదలు” “AI అగ్నిలో వేగంగా కాలిపోతున్నాయి”.

ప్రతిపాదన: AI కంపెనీలు నిధులు సమకూర్చే ఒక స్వతంత్ర ఫౌండేషన్, యువ పరిశోధకులకు గ్రాంట్లు, ఫెలోషిప్‌లు, అత్యుత్తమ నమూనాలకు ప్రాప్యతను అందిస్తుంది, అమెరికా నేషనల్ సైన్స్ ఫౌండేషన్ నమూనాలో సహచర సమీక్షతో.

నోట్స్ తాము “ChatGPT Astra తో సంపాదకీయం చేయబడి, చిత్రాలతో అలంకరించబడ్డాయి” అని చెబుతాయి.