1959-இன் ஓர் அனுமானம், OpenAI-இன் ஒரு நிரூபணம், அதைப் படித்த ஒரு கணிதவியலாளர்

இந்தக் கட்டுரை, வேறொருவரின் நிரூபணத்தை விளக்க ஒரு கணிதவியலாளர் எழுதிய குறிப்புகளைப் பற்றியது. OpenAI-இன் நிரூபணம் பற்றி இங்கே சொல்லப்படும் அனைத்தும் அந்தக் குறிப்புகளிலிருந்து, இரண்டாம் கையாக, வருகின்றன.

புள்ளிகள் வழியே வளைவுகள்

இந்தச் சிக்கல் இடைச்செருகல் (interpolation) என்னும் ஒரு பள்ளிப் பயிற்சியிலிருந்து வளர்கிறது: x-இன் சில மதிப்புகளைத் தேர்ந்தெடுங்கள், ஒவ்வொன்றிலும் ஒரு சார்பு எந்த மதிப்பை எடுக்க வேண்டும் என்று முடிவு செய்யுங்கள் — ஏதாவது ஒரு பல்லுறுப்புக்கோவை எப்போதும் அதைச் செய்யும். தளத்தில், அதே விளையாட்டு ஒரு வளைவை ஒரு தொகுதிப் புள்ளிகள் வழியே செல்லக் கேட்கிறது; படி போதுமான அளவு உயர்ந்தால் அது அதைச் செய்ய முடியும். 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 என்ற சமநிலை நிகழ்வு.

Tevelev சொல்லும் நிரூபணம்

குறிப்பு ஆவணம் “OpenAI, Nagata’s conjecture for plane curves” — 2026 செப்டம்பர் 23 தேதியிட்ட OpenAI Math Release முன்பதிப்பு; தொடர்புடைய கேள்விகள் பற்றிய துணைக் கையெழுத்துப் படிகள் செப்டம்பர் 23, அக்டோபர் 5 அன்று வெளியிடப்பட்டன. UMass Amherst-இன் Jenia Tevelev ஒரு உரைக்காக அதை ஆய்ந்து, அந்த விவரிப்பை இந்தக் குறிப்புகளாக மாற்றினார் — அவை “பயனுள்ளதாக, குறிப்பாக நிபுணர் அல்லாதவர்களுக்கு” இருக்கும் என்ற நம்பிக்கையுடன். Tevelev எந்தப் புதுமையையும் உரிமை கோரவில்லை; வாதத்தை மறுசீரமைத்தார்.

நிலையான முதல் படிகள் தளத்தை ஒரு மென்மையான முப்படி வளைவின் மீது அழுத்தி, r புள்ளிகளை ஒன்றாக இணைக்கின்றன. இந்த விவரிப்பில் புதிய யோசனை, முப்படி வளைவு ஒரு கணுவை (node) — வளைவு தன்னைத்தானே குறுக்கிட்டு ஒரு வளையத்தைக் கிள்ளிவிடும் புள்ளி — உருவாக்க விடுவது; மேலும் அந்தக் கிள்ளல் மூடிக்கொள்ளும்போது அதன் தீட்டா சார்புகளை — அத்தகைய வளைவின் மீது வாழும் சார்புகளை எழுதிக்காட்டும் வழக்கமான முறை — பின்தொடர்வது. பிறகு ஒரு இருமை, “எந்த வளைவுகள் அந்தப் புள்ளிகளில் மறைகின்றன?” என்ற கேள்வியை, அதன் கண்ணாடிப் பிம்பமான “அங்கே எந்த மதிப்புகளை நிர்ணயிக்க முடியும்?” என்பதற்கு மாற்றிக்கொள்கிறது; மிச்சம் இருப்பது முழு எண் கட்டப் புள்ளிகளின் ஒரு முக்கோணத்தில் இடைச்செருகல் — நிரப்ப வேண்டிய முடிவுறு மதிப்புப் பட்டியல், “அது நேரடியானது”.

பதினாறு மும்மைப் புள்ளிகளின் நிகழ்வு: முக்கோணத்தின் 91 லாட்டிஸ் புள்ளிகள் (இடம்), 96 ஒற்றையுறுப்புக்கோவைகள் — பல்லுறுப்புக்கோவைகள் கட்டப்படும் x²y போன்ற அடிப்படை உறுப்புகள் (வலம்). இந்த 96 உறுப்புகள் 91 புள்ளிகளில் எந்த மதிப்புகளையும் எடுக்க முடியும் என்று காட்டுவது — 96 × 91 அணி “முழுத் தரம்” (full rank) கொண்டது — வளைவை விலக்குகிறது. — படம் 3, Tevelev (2026), arXiv:2610.30050, CC BY 4.0.

அதே கணக்கீடு, தளம் ஒரு புள்ளியைச் சுற்றி இரண்டு திசைகளில் வெவ்வேறு அளவுகளில் பெரிதாக்கப்படும் (“எடையிட்ட ஊதல்கள்”, weighted blow-ups) தொடர்புடைய, மேலும் தொழில்நுட்பமான கேள்வியையும், அந்த அளவுகளின் விகிதம் ஒன்பதைத் தாண்டும்போது, தீர்க்கிறது — Dumnicki, Harbourne, Küronya, Roé, Szemberg ஆகியோரின் அனுமானம் ஒன்றின் ஒரு நிகழ்வு.

குறிப்புகள் வாதத்தை ஒரு நிரூபணமாக முன்வைக்கின்றன. சக மதிப்பாய்வு அல்லது கணினி-சரிபார்த்த நிரூபணம் போன்ற எந்தச் சுயாதீன முறைசார் சரிபார்ப்பையும் அவை குறிப்பிடவில்லை.

“அவற்றின் முதல் மனித வாசகர்”

குறிப்புகள் ஆசிரியரின் கருத்தையும் தாங்கியுள்ளன. வெளியிடப்பட்ட கையெழுத்துப் படிகளைப் படிக்கையில், Tevelev “நான் அவற்றின் முதல் மனித வாசகராக இருக்கலாமோ என்று யோசித்தேன். அவை ஏறக்குறைய முழுமையாகத் திருத்தப்படாதவையாகத் தோன்றின” என்கிறார். கணிதவியலாளர்கள் அவற்றைச் சீர்படுத்துவார்கள் என்று நிறுவனம் எதிர்பார்த்ததாக Tevelev சந்தேகிக்கிறார் — “நிபுணத்துவமும் நேரமும் கோரும், ஆனால் அசல் ஆய்வுடன் தொடர்புடைய அங்கீகாரத்தில் சிறிதளவே தரும்” ஒரு பதிப்பு முயற்சி. பலரைப் போலவே, இந்த அணுகுமுறை தொழிலுக்கு, “குறிப்பாக இளைஞர்களின் ஊக்கத்துக்கும் பயிற்சிக்கும்” தீங்கு விளைவிக்கிறது என்று Tevelev நம்புகிறார்.

“அதே நேரத்தில், இந்தக் கையெழுத்துப் படிகள் ஒரு வியத்தகு சாதனை என்று நினைக்கிறேன்,” என்று Tevelev எழுதுகிறார்: பல நிபுணர்கள் எட்ட முடியாதவை என்று நினைத்த சிக்கல்களை மாதிரி தீர்த்தது; “கணித அனுமானங்களின் பழைய புதர்க்காடு” “AI நெருப்பில் வேகமாக எரிந்துகொண்டிருக்கிறது”.

முன்மொழிவு: AI நிறுவனங்கள் நிதியளிக்கும், இளம் ஆய்வாளர்களுக்கு மானியங்கள், ஆய்வு உதவித்தொகைகள், சிறந்த மாதிரிகளுக்கான அணுகல் ஆகியவற்றை வழங்கும், அமெரிக்கத் தேசிய அறிவியல் அறக்கட்டளையின் (National Science Foundation) முன்மாதிரியில் சக மதிப்பாய்வு கொண்ட ஒரு சுயாதீன அறக்கட்டளை.

குறிப்புகள் “ChatGPT Astra கொண்டு திருத்தப்பட்டு விளக்கப்படங்கள் சேர்க்கப்பட்டவை” என்று கூறுகின்றன.