சுயாதீனமாகச் செயல்பட்ட இரண்டு முன்னணி AI அமைப்புகள், மூன்று தசாப்தங்களாக எந்த மனித கணிதவியலாளராலும் செய்ய முடியாததைச் செய்துள்ளன: அடுக்கு நேரக் கருதுகோளை (ETH) மறுத்தல்.
தனது ஆராய்ச்சி மாதிரி அக்டோபர் 16 ஆம் தேதி ETH-க்கான இயற்கை மொழி மறுப்பைக் கண்டறிந்ததாகவும், அடுத்த நாள் இயந்திர நிரூபண சரிபார்ப்பு கருவியான Lean-இல் அது முறைப்படுத்தப்பட்டதாகவும் OpenAI அறிவித்தது. 67 பக்க கையெழுத்துப் பிரதியில் ஆசிரியராக "OpenAI" குறிப்பிடப்பட்டுள்ளது.
சில மணி நேரங்களுக்கு முன், Anthropic தனது 49 பக்க ஆய்வுக் கட்டுரையான "A 2^o(n) Time Algorithm for 3-SAT"-ஐ வெளியிட்டது; அது "Claude, Anthropic" என்று குறிப்பிடப்பட்டுள்ளது. ஒரு உள் Claude ஆராய்ச்சி மாதிரி அதே நாளில், அக்டோபர் 16 ஆம் தேதி, முக்கிய அல்காரிதத்தைக் கண்டறிந்தது.
Russell Impagliazzo மற்றும் Ramamohan Paturi ஆகியோர் சுமார் 1999-இல் முன்மொழிந்த ETH, பூலியன் திருப்திப்படுத்தல் சிக்கலை அடுக்கு நேரத்தை விட வேகமாகத் தீர்க்கும் அல்காரிதம் எதுவும் இல்லை என்கிறது. வரைபடக் கோட்பாடு, தரவுத்தளங்கள், கணினி உயிரியல் மற்றும் கணினி வடிவியல் ஆகியவற்றில் நூற்றுக்கணக்கான நிபந்தனைச் சிரம முடிவுகளுக்கு இது அடித்தளம்.
இரு குழுக்களும் இப்போது, திருப்திகரமான ஒதுக்கீடுகளை துணை-அடுக்கு நேரத்தில் எண்ணும் ஒரு தீர்மான அல்காரிதம் இருப்பதாகக் கூறுகின்றன; அடுக்கின் முதன்மை உறுப்பு இரண்டிலும் ஒன்றே. இந்தக் கூற்று நிலைத்தால், சிக்கலான கோட்பாட்டின் ஒரு சுமை தாங்கும் சுவர் சரிந்துவிடும்.
சரிபார்ப்பு இயங்கமைப்பு வழக்கத்திற்கு மாறாக வலுவானது. நிரூபணம் Lean-இல் முறைப்படுத்தப்பட்டுள்ளது; அது ஒவ்வொரு படியையும் இயந்திரமாகச் சரிபார்க்கிறது. வெளியிடப்பட்ட ஆவணங்களை ஆய்ந்த TU Wien-இன் Stefan Szeider, அது ஆய்வைத் தாக்குப் பிடிக்கும் என எதிர்பார்க்கிறார். மிகவும் குறிப்பிடத்தக்கது: OpenAI நியமித்த சுயாதீன மதிப்பாய்வுக் குழுவில் Impagliazzo மற்றும் Paturi அவர்களே உள்ளனர் - கருதுகோளை உருவாக்கியவர்களே அதன் மறுப்பை தணிக்கை செய்கிறார்கள். அவர்களின் திறந்த கடிதம், இது கணினி அறிவியலின் ஒரு முக்கிய பகுதியை மாற்றக்கூடும் என்கிறது.
முடிவைப் போலவே வரம்புகளும் முக்கியமானவை. P versus NP தொடப்படவில்லை. புதிய அல்காரிதம் இன்னும் சூப்பர் பாலினாமியல் ஆகவே உள்ளது, எனவே இதிலிருந்து வேகமான SAT தீர்வி வராது. மாறியது தத்துவ ரீதியாகச் சாத்தியமானதன் வரைபடம், அதை யார் - அல்லது எது - மீண்டும் வரைகிறது என்பதே.
வணிகத் தலைவர்களுக்கு, சமிக்ஞை கணிதத்தில் இல்லை. AI உரை மற்றும் குறியீடு எழுதுவதிலிருந்து அசலான, இயந்திரம் சரிபார்க்கப்பட்ட ஆராய்ச்சியை உருவாக்கும் நிலைக்கு கடந்துவிட்டது என்பதே சமிக்ஞை. "இயந்திரங்களால் புதிய அறிவியல் செய்ய முடியாது" என்ற அனுமானம் இப்போது பலத்த அடியைப் பெற்றுள்ளது; திறனின் எல்லை இனி பெரும்பாலான திட்டமிடல் சுழற்சிகளை விட வேகமாக நகர்கிறது.
AI-ஐ தட்டச்சு உதவியாளராக அல்லாமல் ஆராய்ச்சி பங்காளியாக நடத்தும் நிறுவனங்களே அடுத்த தசாப்தத்தின் வேகத்தை நிர்ணயிக்கும்.
கணித அடிப்படையில் சிந்தியுங்கள். அறிவார்ந்த முறையில் போட்டியமைக்குங்கள். உத்தியுடன் வழிநடத்துங்கள். பொறுப்புடன் உருவாக்குங்கள். உலகளாவில் விரிவாக்குங்கள். செயற்கை நுண்ணறிவின் மூலம் உண்மையான வணிக மதிப்பை உருவாக்குங்கள்.
