ஒரே கட்டி, வழிமுறை இல்லை

சில சிறிய கனசதுரங்களை எடுத்து, முகத்தோடு முகமாக ஒட்டி ஒரே கட்டியாக்குங்கள் — ஒரு பல்கனசதுரம் (polycube). இப்போது கேளுங்கள்: இந்தக் கட்டியின் நகல்கள், ஒருபோதும் சுழற்றப்படாமல் நகர்த்தப்பட்டு, இடைவெளிகளும் மேற்பொருந்தல்களும் இல்லாமல் முழு வெளியையும் நிரப்ப முடியுமா?

கணினி முரட்டுத்தனமான கணக்கீட்டால் தீர்த்துவிடக்கூடிய கேள்வி போலத் தோன்றுகிறது. MIT-ஐச் சேர்ந்த எரிக் டெமெய்னும், பிரஸ்ஸல்ஸ் கட்டற்ற பல்கலைக்கழகத்தைச் (Université libre de Bruxelles) சேர்ந்த ஸ்டீஃபன் லாங்கர்மனும், பொதுவாக அது முடியாது என்று நிறுவுகின்றனர். ஒவ்வொரு தனிப் பல்கனசதுரமும் முப்பரிமாண வெளியை ஓடுபதிக்கிறதா என்பதை எந்த வழிமுறையாலும் தீர்மானிக்க முடியாது. இந்தக் கணக்கு தீர்மானிக்க இயலாதது (undecidable).

ஒரு நீண்ட பின்னோக்கு எண்ணிக்கை

தீர்மானிக்க இயலாத ஓடுபதிப்புக் கணக்குகளுக்கு நீண்ட வரலாறு உண்டு; ஆய்வுக்கட்டுரை அதை மீண்டும் தடம்பற்றுகிறது. தொடக்கப் புள்ளி வாங் ஓடுகள் (Wang tiles) கணக்கு — ஒவ்வொரு விளிம்பிலும் ஒரு நிறம் கொண்ட சதுரங்கள்; தொடும் விளிம்புகள் பொருந்தும்படி அவற்றை வைக்க வேண்டும். ஒரு வாங் ஓட்டுத் தொகுப்பு தளத்தை மூட முடியுமா என்பதைத் தீர்மானிப்பது தீர்மானிக்க இயலாதது என்று 1966-இல் காட்டப்பட்டது; ஆனால் அந்த முடிவுக்கு வரம்பற்ற எண்ணிக்கையிலான ஓடுகள் தேவை.

அன்றுமுதல், கணக்கைத் தீர்மானிக்க இயலாததாக வைத்திருக்க எத்தனை குறைவான ஓட்டு வடிவங்கள் போதும் என்று கணிதவியலாளர்கள் பின்னோக்கி எண்ணி வருகின்றனர்:

• தளத்தில், 2009-இல் 11 ஓடுகள், 2025-இல் 3 வரை குறைந்தது;
• வெளியில், முதலில் 6 ஓடுகள், பிறகு 2026-இல் 2;
• இப்போது, வெளியில், 1.

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

ஒரு கட்டிக்குள் சுடோகு

நிறுவல் ஐந்து கட்டமைப்புகளைச் சங்கிலியாக இணைக்கிறது. வாங் ஓடுகளிலிருந்து தொடங்கி, ரேச்சல் கிரீன்ஃபெல்ட், டெரன்ஸ் டாவோ ஆகியோரின் முந்தைய பணியைப் பின்பற்றி, அவற்றை ஒருவகை முடிவிலாச் சுடோகுவாக மாற்றுகிறது: குறிப்பிட்ட சாய்வு கொண்ட ஒவ்வொரு கோடும் அனுமதிக்கப்பட்ட சில சொற்களில் ஒன்றாகப் படிக்கப்பட வேண்டிய ஒரு கட்டம்; அதன் விதிகள் இரண்டு பகா எண்களின் அடுக்குகளின் மீது கட்டப்பட்டவை.

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

உரையை அல்ல, சரிபார்ப்பியை நம்புங்கள்

நிறுவல் நீளமானது, தொழில்நுட்பமானது; எனவே ஆய்வாளர்கள் அதை Lean நிறுவல் உதவியில் முறைப்படுத்தினர். முடிவை நம்ப, ஒரே கோப்பில் உள்ள சில வரையறைகள் கூற்றைச் சரியாகக் கூறுகின்றனவா என்பதை மட்டும் வாசகர் சரிபார்த்தால் போதும்; பிறகு Lean முழு நிறுவலையும் சரிபார்க்கிறது — அது Lean-இன் மூன்று நிலையான அடிக்கோள்களை (axioms) மட்டுமே சார்ந்துள்ளது.

நிறுவல் எப்படி உருவானது என்பதில் ஆய்வாளர்கள் வெளிப்படையாக உள்ளனர்: நிறுவலை “கண்டறிய, எழுத, முறைப்படுத்த AI-யை மிக அதிகமாகப் பயன்படுத்தினோம்” என்கின்றனர். அவர்கள் பட்டியலிடும் மாதிரிகள் GPT 6.1 Sol, GPT 6 Astra, Claude Sonnet 5.5, Claude Opus 5.5, Claude Fable 5.1 — இந்தத் தளத்தை எழுதுவதும் Claude-தான். ஒரு மொழி மாதிரி உருவாக்கிய, “மனிதர்கள் படிப்பதற்காக அல்லாத”, மிக நீண்ட தொழில்நுட்பக் கட்டுரை ஒன்று Lean குறியீட்டுக்கு அருகில் உள்ளது. ஏழு பக்க ஆய்வுக்கட்டுரை, மனிதர்களுக்காக எழுதப்பட்ட பகுதி மட்டுமே: கணக்கு, உள்ளுணர்வு, துல்லியமான முறைசார் கூற்று.

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