AI நிறுவனமான Anthropic-ல் பணிபுரியும் கணிதவியலாளர் Levent Alöge, Claude AI மாடலைப் பயன்படுத்தி 87 வருடங்களாக தீர்க்கப்படாத ஜேக்கோபியன் கான்ஜெக்ச்சர் (Jacobian Conjecture) என்பதற்கு ஒரு எதிர் உதாரணத்தைக் கண்டுபிடித்ததாகக் கூறியுள்ளார். இந்த கூற்று தற்போது அறிவியல் உலகத்தால் ஆய்வு செய்யப்பட்டு வருகிறது.
Detailed Coverage
கணித உலகில் ஒரு முக்கிய அறிவிப்பு!
கணித உலகின் ஒரு முக்கிய புதிரான, 1939 ஆம் ஆண்டு முதல் தீர்க்கப்படாமல் இருந்த ஜேக்கோபியன் கான்ஜெக்ச்சர் (Jacobian Conjecture) குறித்த ஒரு முக்கிய அறிவிப்பு வெளியாகியுள்ளது. AI நிறுவனமான Anthropic-ல் பணிபுரியும் கணிதவியலாளர் Levent Alöge, தங்களது Claude AI மாடலைப் பயன்படுத்தி இந்த பழமையான கோட்பாட்டிற்கு ஒரு எதிர் உதாரணத்தைக் கண்டுபிடித்ததாகக் கூறியுள்ளார். இது நிரூபிக்கப்பட்டால், இயற்கணித வடிவியல் (Algebraic Geometry) மற்றும் செயற்கை நுண்ணறிவின் (AI) அறிவியல் ஆராய்ச்சியில் இது ஒரு மிகப்பெரிய மைல்கல்லாக அமையும்.
ஜேக்கோபியன் கான்ஜெக்ச்சர் என்றால் என்ன?
ஜெர்மன் கணிதவியலாளர் Ott-Heinrich Keller அவர்களால் அறிமுகப்படுத்தப்பட்ட ஜேக்கோபியன் கான்ஜெக்ச்சர், பல்லுறுப்புக்கோவை வரைபடங்கள் (Polynomial Maps) பற்றிய ஒரு அடிப்படையான கேள்வி ஆகும். ஒரு பல்லுறுப்புக்கோவை வரைபடத்தின் ஜேக்கோபியன் டிட்டர்மினன்ட் (Jacobian determinant) பூஜ்ஜியமற்ற மாறிலியாக இருந்தால், அதற்கு ஒரு பல்லுறுப்புக்கோவை நேர்மாறு (Polynomial Inverse) இருக்குமா என்பதே இதன் சாராம்சம். பல ஆண்டுகளாக கணித மேதைகள் முயன்றும், இது ஒரு திறந்த கேள்வியாகவே இருந்து வருகிறது.
கணித கண்டுபிடிப்பில் AI-யின் பங்கு
Alöge, Anthropic நிறுவனத்தின் ஊழியர், தனது கண்டுபிடிப்புகளை சமூக வலைத்தளங்கள் மூலம் பகிர்ந்துள்ளார். அவர் மூன்று மாறிகள் (Variables) கொண்ட ஒரு குறிப்பிட்ட பல்லுறுப்புக்கோவை வரைபடத்தை முன்மொழிந்துள்ளார். அதன் ஜேக்கோபியன் டிட்டர்மினன்ட் -2 ஆக மாறிலியாக இருப்பதாகவும், ஆனால் அது நேர்மாறு செய்ய முடியாதது என்றும் அவர் கூறியுள்ளார். இதற்கு மூன்று வெவ்வேறு உள்ளீட்டுப் புள்ளிகள் ஒரே வெளியீட்டைக் கொடுப்பதாக அவர் சுட்டிக்காட்டியுள்ளார். இந்தக் கூற்று உண்மையாக இருந்தால், இது கான்ஜெக்ச்சரின் அடிப்படை கருத்துக்கு நேரடி முரணாக அமையும்.
AI இந்த விஷயத்தில் ஒரு முக்கிய பங்கு வகித்தாலும், கணித சமூகம் இது போன்ற கூற்றுகளுக்கு மிக உயர்ந்த தரத்தை வைத்திருக்கிறது. ஜேக்கோபியன் கான்ஜெக்ச்சர் இயற்கணித வடிவியலில் மிகவும் ஆழமாக வேரூன்றியிருப்பதால், எந்தவொரு தீர்வும் அல்லது எதிர் உதாரணமும் தீவிர ஆய்வு மற்றும் சக மதிப்பாய்வுக்கு (Peer-reviewed verification) உட்படுத்தப்பட வேண்டும். சுயாதீன நிபுணர்கள் இப்போது இந்த கண்டுபிடிப்புகளை மீண்டும் செய்து, தர்க்கத்தில் பிழைகள் இல்லாமல் இருப்பதை உறுதிசெய்ய வேண்டும்.
அறிவியல் ஆராய்ச்சியாளர்களுக்கு AI ஒரு உதவியாளர்
இந்த நிகழ்வு, விஞ்ஞானிகள் தொழில்நுட்பத்தை எவ்வாறு பயன்படுத்துகிறார்கள் என்பதில் ஒரு பரந்த மாற்றத்தை எடுத்துக்காட்டுகிறது. மேம்பட்ட AI மாதிரிகள், வடிவ அங்கீகாரம் (Pattern Recognition) மற்றும் கருதுகோள் சோதனை (Hypothesis Testing) போன்ற சிக்கலான சிக்கல்களைத் தீர்க்க உதவும் திறனுக்காக பெருகிய முறையில் சோதிக்கப்படுகின்றன. AI கணித கண்டுபிடிப்புகளை விரைவுபடுத்தும் ஆற்றலைக் கொண்டுள்ளதாக சிலர் நம்பினாலும், பல கல்வியாளர்கள் சிக்கலான நிரூபணங்களைச் சரிபார்க்க மனித மேற்பார்வை அவசியம் என்பதை வலியுறுத்துகின்றனர். முதலீட்டாளர்கள் மற்றும் ஆராய்ச்சியாளர்கள் இந்த சம்பவம் AI-யின் பங்கு அறிவியல் கண்டுபிடிப்பில் ஒரு நம்பகமான விரிவாக்கத்தைக் குறிக்குமா அல்லது முறையான கணிதத்தில் AI-உருவாக்கிய தர்க்க வாதங்களின் வரம்புகளுக்கு ஒரு நினைவூட்டலாக இருக்குமா என்பதை உன்னிப்பாகக் கவனித்து வருகின்றனர்.