அஞ்சப்படும் ஒரு பூச்சியம் இருக்கவே இல்லை என்கிறது OpenAI — ஒரு கணிதவியலாளர் சரிபார்க்கிறார்

நலன் முரண்பாடு. Anthropic உருவாக்கிய பெரிய மொழி மாதிரியான Claude, இந்தக் கட்டுரையின் தயாரிப்பு முழுவதும் பயன்படுத்தப்பட்டதாகக் கட்டுரை கூறுகிறது: OpenAI-இன் கையெழுத்துப் படி பற்றிய ஓர் அறிக்கையையும், உரைக்கு அடிப்படையான நிறுவலின் விரிவாக்கப்பட்ட வரைவையும் அது உருவாக்கியது, வெளிப்படையான மாறிலிகளைக் கணக்கிட்டது, நிறுவலைச் சரிபார்க்க உதவியது. இந்தக் கட்டுரையை எழுதியதும் Claude. அடிப்படை முடிவு, Anthropic-இன் போட்டியாளரான OpenAI-க்கு உரியதாகக் கூறப்படுகிறது. இவற்றில் எதுவும் நிறுவலைச் சரியாகவோ தவறாகவோ ஆக்குவதில்லை; அதைச் சுயாதீனக் கணிதவியலாளர்களே தீர்மானிக்க வேண்டும்.

பகா எண்கள் எப்படிப் பரவியுள்ளன என்பதை எண் கோட்பாட்டாளர்கள் டிரிக்லே L-சார்புகள் (Dirichlet L-functions), L(s, χ), எனப்படும் கருவிகளால் ஆய்வு செய்கின்றனர்; ஒவ்வொன்றும் “கடத்தி” (conductor) q கொண்ட ஒரு “பண்பு” (character) χ-உடன் இணைக்கப்பட்டுள்ளது. இந்தச் சார்புகள் பூச்சியமாகும் இடங்கள் அவற்றின் பூச்சியங்கள் (zeros).

மெய்ப் பண்புகளுக்கு, ஒரு சங்கடமான சாத்தியம் இதுவரை ஒருபோதும் விலக்கப்படவில்லை: 1-க்கு மிக மிக அருகில் அமைந்த ஒரே ஒரு மெய்ப் பூச்சியம் β. அது லாண்டோ–சீகல் பூச்சியம் என அழைக்கப்படுகிறது. அத்தகைய பூச்சியங்கள் இருக்கின்றனவா என்பது பகுப்பாய்வு எண் கோட்பாட்டின் மையச் சிக்கல்களில் ஒன்று என்று கட்டுரை குறிப்பிடுகிறது; ஏனெனில் அவை, கூட்டுத் தொடர்களில் (arithmetic progressions) உள்ள பகா எண்களுக்கான சீரான மதிப்பீடுகளையும், இருபடிப் புலங்களின் “வகுப்பு எண்களுக்கான” பயனுள்ள கீழ் வரம்புகளையும் தடுக்கின்றன.

அறியப்பட்ட பகுதி விடைகள் அனைத்தும் எதையோ விட்டுவிடுகின்றன. 1935-இல் சீகல், அத்தகைய பூச்சியம் 1-க்கு மிக அருகில் இருக்க முடியாது என்று காட்டினார்; ஆனால் அந்த முறை எவ்வளவு அருகில் என்று கணக்கிட எந்த வழியையும் தரவில்லை. கொடுக்கப்பட்ட எந்த அளவு வரையிலும், அதிகபட்சம் ஒரே ஒரு மெய்ப் பண்புக்கு மட்டுமே அத்தகைய பூச்சியம் இருக்க முடியும் என்று Page காட்டினார். பின்னர் Goldfeld-இன் பணியும், Gross, Zagier ஆகியோரின் பணியும் வகுப்பு எண்களுக்குப் பயனுள்ள வரம்புகளைத் தந்தன — ஆனால், கட்டுரையின்படி, இந்தப் பூச்சியங்களை விலக்கினால் கிடைப்பதைவிட மிகவும் பலவீனமானவை.

OpenAI-இன் கூற்று

1 அக்டோபர் 2026 தேதியிட்ட OpenAI-இன் கையெழுத்துப் படி, லாண்டோ–சீகல் பூச்சியங்கள் இல்லை என்று உறுதியாகக் கூறுகிறது: ஒவ்வொரு மெய்ப் பூச்சியத்துக்கும் (1 − β) log q ≥ c ஆகும்படி ஒரு நிலையான மாறிலி c > 0 உள்ளது; இங்கு q என்பது பண்பின் “கடத்தி”. University of Missouri-இன் William Banks கூற்றுப்படி, அதன் நிறுவல் மிகச் சுருக்கமானது; விஞ்சிய எண்கள் (transcendental numbers) கோட்பாட்டில் பழக்கமான கருவியான ஓர் இடைச்செருகல் அணிக்கோவையைப் (interpolation determinant) பயன்படுத்துகிறது; L-சார்புகள் பற்றிய ஒரே ஒரு செவ்வியல் சமனிலியை மட்டுமே வேண்டுகிறது. ஆனால் அது முரண்பாட்டின் வழியே வாதிடுகிறது; எந்த மாறிலிக்கும் எண் மதிப்பைத் தரவில்லை.

முழுமையாக எழுதப்பட்ட நிறுவல்

கருத்துகளில் எந்தப் புதுமையையும் Banks கோரவில்லை. ஒவ்வொரு படியும் எழுதப்பட்ட நேரடி நிறுவலாக, வாதத்தை அணுகக்கூடியதாக்கி உறுதிப்படுத்துவதே நோக்கம். புதியவை வெளிப்படையான எண்கள்:

ஒவ்வொரு கடத்தி q ≥ 10¹⁰-க்கும் (1 − β) log q ≥ 0.003

சிறிய கடத்திகளுக்கான Lu, Zaman, Zhao ஆகியோரின் கணினித் தேடலுடன் இணைத்தால் — அதைத் தாம் சரிபார்க்கவில்லை என்று Banks கூறுகிறார் — இந்த வரம்பு 3 முதல் மேலே உள்ள ஒவ்வொரு கடத்திக்கும் பொருந்தும்.

பொறி எப்படி மூடுகிறது

நிறுவல் ஒரு முழு எண்ணை அதற்கே எதிராக நிறுத்துகிறது.

• சாய்வான பகா எண் எண்ணிக்கை. ஒரு மெய்ப் பூச்சியம் 1-க்கு மிக அருகில் இருந்தால், ஏறக்குறைய எல்லாப் பகா எண்கள் p-க்கும் χ(p) = −1. இது செவ்வியல் முடிவு; பூச்சியம் உள்ளே நுழையும் ஒரே இடம் இதுதான்.
• ஓர் அணிக்கோவை. 2-இன் வர்க்கமூலத்தாலும் χ-உடன் இணைந்த வர்க்கமூலத்தாலும் கட்டப்பட்ட ஓர் எண் அமைப்பில், கவனமாகத் தேர்ந்தெடுக்கப்பட்ட எண்களின் அடுக்குகளிலிருந்து Banks ஒரு மாபெரும் அணிக்கோவை Δ-ஐ உருவாக்குகிறார். அதன் “நெறிமம்” (norm) பூச்சியமல்லாத ஒரு முழு எண்.
• ஒரே நேரத்தில் மிகப் பெரியதும் மிகச் சிறியதும். ஓர் அளவு வரம்பு, இந்த முழு எண் மிகப் பெரியதாக இருக்க முடியாது என்கிறது. ஆனால் χ(p) = −1 ஆகும் ஒவ்வொரு பகா எண் p-இலும், ஃப்ரோபீனியஸ் சமசேர்வு எனப்படும் ஓர் இயற்கணித விதி, Δ-ஐ p-இன் உயர் அடுக்குகளால் வகுபடக்கூடியதாக்குகிறது. ஏறக்குறைய எல்லாப் பகா எண்களும் இப்படி நடந்துகொண்டால் — 1-க்கு அருகிலான பூச்சியம் கட்டாயப்படுத்துவது போல — அந்த முழு எண்ணுக்கு, அதன் அளவு அனுமதிப்பதைவிட அதிகப் பகாக் காரணிகள் தேவைப்படும்.

பூச்சியம் 1-இலிருந்து ஒரு குறைந்தபட்சத் தொலைவைக் காத்தால் மட்டுமே முரண்பாடு மறைகிறது. Banks-இன் சொற்களில், முக்கிய உத்தி என்னவென்றால், துணை எண் 2, மூன்று மாறிகளை மட்டுமே வைத்துக்கொண்டு, அணிக்கட்டின் (lattice) தரத்தை (rank) நான்காக உயர்த்துகிறது.

இப்போது, சரிபார்ப்பு

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