OpenAI தனது மாடல் 80 ஆண்டுகளான geometry ஊகத்தை முறியடித்ததாக கூறுகிறது

AI mathematics crosses a new threshold

OpenAI தனது உள் reasoning model ஒன்றில் discrete geometry-யின் ஒரு மையமான ஊகத்தை புரட்டிப் போடும் proof உருவாகியுள்ளதாக கூறுகிறது; இதன் மூலம் ஒரு general-purpose AI system research frontier-இல் பங்களிக்க முடியும் என்பதற்கான இதுவரை மிகத் தெளிவான கோரிக்கைகளில் ஒன்றை முன்வைக்கிறது. இந்த முடிவு planar unit distance problem-ஐச் சுற்றியது; 1946-இல் Paul Erdős முதலில் முன்வைத்த ஒரு பிரசித்தமான கேள்வி: நீங்கள் ஒரு plane-இல் n points வைத்தால், எத்தனை pairs துல்லியமாக one unit தூரத்தில் இருக்க முடியும்?

இந்த பிரச்சினையை சொல்லுவது எளிது, ஆனால் தீர்ப்பது மிகக் கடினம். பல தசாப்தங்களாக, square-grid-style constructions தான் unit-distance pairs எண்ணிக்கையை அதிகபட்சப்படுத்துவதற்கான அடிப்படையில் சிறந்த வழி என mathematicians நம்பினர். OpenAI-யின் கூற்றுப்படி, அதன் model அந்த நீண்டகால எண்ணத்தை polynomial margin-ஆல் மிஞ்சும், infinite family of counterexamples-ஐ கண்டுபிடித்தது; இதனால் prevailing conjecture நடைமுறையில் மறுக்கப்பட்டது.

Why this problem matters

Unit distance problem mathematics-இல் ஒரு அசாதாரண இடத்தைப் பிடித்துள்ளது. ஒரு sentence-இல் non-specialist-க்கு விளக்குவதற்குப் போதுமான எளிமை கொண்டது, ஆனால் nearly 80 ஆண்டுகளாக தீர்வு காண முடியாத அளவுக்கு ஆழமானதும் ஆகும். அந்த சேர்க்கை இதை combinatorial geometry-யின் மிகப் பிரசித்தமான open questions-களில் ஒன்றாகவும் mathematical creativity-க்கான touchstone-ஆகவும் மாற்றியுள்ளது.

OpenAI இந்த முடிவை theorem itself காரணமாக மட்டும் அல்லாமல், proof எவ்வாறு கண்டுபிடிக்கப்பட்டது என்பதாலும் முக்கியமானதாகக் கருதுகிறது. அதன் விளக்கப்படி, argument ஒரு general-purpose reasoning model-இலிருந்து வந்தது; mathematics-க்காக மட்டும் உருவாக்கப்பட்ட system-இலிருந்தோ, proof trees-ஐத் தேட hard-wired செய்யப்பட்ட tool-இலிருந்தோ, அல்லது unit distance problem-க்கு குறிப்பாக உருவாக்கப்பட்ட software-இலிருந்தோ அல்ல. OpenAI கூறும் வகையில், இந்த வேலை Erdős problems மீதான broader testing-இலிருந்து உருவானது; இது advanced models active research-இல் அர்த்தமுள்ள பங்களிப்பு செய்ய முடியுமா என்பதைப் பார்க்க வடிவமைக்கப்பட்டது.

External checking was central

இந்தக் கூற்று மிக வலுவானதானதால், verification process அறிவிப்பை விட முக்கியமானதாகிறது. OpenAI கூறுவதாவது, வெளிப்புற mathematicians குழு proof-ஐச் சரிபார்த்தது; மேலும் argument, அதன் background, மற்றும் முடிவு ஏன் முக்கியம் என்பதைக் கூறும் companion paper-ஐயும் தயாரித்தது. நிறுவனம் இந்த outside review-ஐ release-இன் core part எனவே காட்டுகிறது; பின்னர் சேர்க்கப்பட்ட விஷயமாக அல்ல.

அந்த வேறுபாடு முக்கியமானது. Mathematics இன்னும் reasoning-இன் நீளமான சங்கிலியை தெளிவான standard-க்கு எதிராக மதிப்பிடக்கூடிய சில துறைகளில் ஒன்றாக இருக்கிறது: proof ஒன்றாக தங்கி நிற்கிறது அல்லது இல்லை. அதனால் இந்த துறை AI reasoning-க்கு ஒரு குறிப்பாக பயனுள்ள test bed ஆகிறது. ஒரு system தொடக்கம் முதல் முடிவு வரை சிக்கலான argument-ஐ நிலைநிறுத்தி, expert checking-ஐத் தாண்டி நிற்க முடிந்தால், அது flashy benchmark result அல்லது polished demo-வைவிட வலுவான signal-ஐ வழங்குகிறது.

What OpenAI says the model actually did

நிறுவனத்தின் கூற்றுப்படி, model algebraic number theory-யிலிருந்து வரும் கருத்துகளை மேற்பரப்பில் elementary geometric question போலத் தோன்றும் ஒன்றில் கொண்டு வந்தது. இப்படியான cross-field move mathematics பணியில் ஆழத்தின் அடையாளமாக இருக்கிறது. இது system பரிச்சயமான local tricks-ஐ மீண்டும் சேர்த்துக் கொண்டிருக்கவில்லை, மாறாக standard framing-க்கு வெளியேயுள்ள tools-ஐத் தேடிக்கொண்டிருந்தது என்பதைச் சுட்டுகிறது.

OpenAI மேலும், இந்த theorem-க்கு model குறிப்பாக scaffold செய்யப்படவில்லை எனக் கூறுகிறது. அந்த விவரம் சரியானதாக இருந்தால், modern reasoning systems open-ended discovery-இல் collaborators ஆக மேலும் பயனுள்ளதாக மாறுகின்றன என்பதற்கு இந்த முடிவு ஆதாரமாகிறது; tightly scripted tasks-களில் உதவியாளர்களாக மட்டும் அல்ல.

இந்த proof-ஐ mathematics-இன் ஒரு subfield-க்கு மையமான prominent open problem-ஐ AI autonomous-ஆகத் தீர்த்த முதல் நிகழ்வாக நிறுவனம் காட்டுகிறது. இது உயர்ந்த அளவுகோல்; மேலும் இந்த wording, முந்தைய machine-assisted achievements-உடன் இந்த முடிவை ஒப்பிட விரும்பும் researchers-இன் scrutiny-ஐ ஈர்க்கும். இருந்தாலும், அந்த எச்சரிக்கையுடனும், இந்த அறிவிப்பு ஒரு குறிப்பிடத்தக்க மாற்றத்தைச் சொல்கிறது: leading AI labs இப்போது experts-ஐ வேகமாக வேலை செய்ய உதவுவது மட்டுமல்ல, experts பின்னர் மதிப்பிட்டு விரிவுபடுத்தும் வகையில் பங்களிப்புகளைச் செய்யும் systems பற்றியும் பேசுகின்றன.

Why the announcement lands beyond mathematics

இந்த முடிவு AI-க்கு முக்கியமானது; காரணம் mathematics, reasoning systems-இல் மக்கள் அதிகம் விரும்பும் பல பண்புகளைச் சுருக்குகிறது: precision, long-horizon consistency, மற்றும் subtle logical failure-ஐத் தவிர்க்கும் திறன். ஒரு model கடினமான proof-இன் கட்டமைப்பை இறுதி வரை தக்கவைத்துக்கொள்ள முடிந்தால், அது வெறும் stylistic fluency-க்கு அப்பாற்பட்ட நிலைத்த ஒன்றைக் காட்டுகிறது.

இது research practice-க்கும் முக்கியம். Models கடினமான பிரச்சினைகளில் valid strategies-ஐ முன்வைக்க முடிந்தால், mathematicians conjectures-ஐ தேடுவது, approaches-ஐ சோதிப்பது, மற்றும் unfamiliar toolkits-ஐ ஆராய்வது ஆகியவற்றை அது மாற்றத் தொடங்கலாம். இது human researchers-இன் பங்கை நீக்குவதில்லை. அதை மாற்றுகிறது. Experts இன்னும் standards-ஐ அமைக்கிறார்கள், arguments-ஐப் பரிசோதிக்கிறார்கள், significance-ஐ விளக்குகிறார்கள், மற்றும் முடிவுகளை அறிவின் broader body-உடன் இணைக்கிறார்கள். ஆனால் serious ideas உருவாக்கக்கூடிய entities-இன் தொகுப்பு இப்போது விரிவடையக்கூடும்.

OpenAI-யின் release மேலும், consumer products மட்டும் வைத்து AI progress-ஐ மதிப்பிடுவது அதிகம் கடினமாகி வருகிறதென்ற ஒரு நினைவூட்டலாகவும் உள்ளது. மிக முக்கியமான சில மாற்றங்கள் முதலில் specialist settings-இல் வரலாம்; அங்கு output quality-ஐ independently check செய்ய முடியும். Mathematics-இல், பல பிற துறைகளுக்கு மாறாக, அந்த வகை validation-க்கு குறைந்தபட்சம் ஒரு பாதை உள்ளது.

The next question

தெளிவான அடுத்த கேள்வி இது ஒருமுறை நடந்ததா அல்லது repeatable pattern-இன் ஒரு பகுதியா என்பதுதான். ஒரு theorem, எவ்வளவு striking-ஆக இருந்தாலும், AI systems mathematics-இல் நம்பகமாக முன்னேற்றம் செய்ய முடியும் என்பதை நிரூபிக்காது. Models எவ்வளவு அடிக்கடி genuinely new insights உருவாக்க முடிகிறது, எவ்வளவு human steering தேவைப்படுகிறது, மற்றும் இதே செயல்திறன் வேறு proof cultures கொண்ட subfields-களுக்கும் விரிகிறதா என்பதை researchers அறிய விரும்புவார்கள்.

இப்போது, இந்த அறிவிப்பு unusually concrete stakes கொண்ட milestone claim-ஆக நிற்கிறது. proof செல்லுபடியாகிறது, classical problem-ஐ மாற்றுகிறது, அல்லது இல்லை. OpenAI கூறுவதாவது, வெளிப்புற mathematicians இதை ஏற்கனவே சரிபார்த்துள்ளனர்; அந்த உண்மை மட்டுமே vague capability claims-இன் மீது கட்டப்பட்ட familiar cycle of AI hype-இலிருந்து இந்த நிகழ்வை பிரிக்கிறது.

அந்த argument expert scrutiny-யைத் தொடர்ந்து தாங்கிக் கொண்டால், அதன் முக்கியத்துவம் இரு மடங்கு ஆகும். discrete geometry-யில் ஒரு பிரசித்தமான conjectural picture புரட்டப்படும்; மேலும் AI reasoning உதவியிலிருந்து விலகி, specialists உண்மையான mathematics எனக் கருதும் ஒரு முடிவின் authorship-இல் நுழையும்.

இந்தக் கட்டுரை OpenAI வழங்கிய செய்தியின் அடிப்படையில் எழுதப்பட்டுள்ளது. மூலக் கட்டுரையைப் படிக்கவும்.