அஸ்ட்ரா கிராக் உதவிய சிக்கல்கள் "குறைந்தது ஒரு தசாப்தத்திற்கு அவற்றின் மைய முடிவுகளில் எந்த முன்னேற்றமும் இல்லை, பெரும்பாலான சந்தர்ப்பங்களில், மிக நீண்ட காலம்" என்று OpenAI எழுதியது. உயர் பரிமாண வடிவியல், குறியீட்டு கோட்பாடு, எண்கணித சுற்று சிக்கலானது, குழுக் கோட்பாடு, குவாண்டம் சிக்கலானது, லேட்டிஸ் கிரிப்டோகிராஃபி மற்றும் எக்ஸ்ட்ரீமல் காம்பினேட்டரிக்ஸ் உள்ளிட்ட துறைகளில் முடிவுகள் பரவுகின்றன - முன்னேற்றம் பொதுவாக ஆண்டுகளில் அளவிடப்படுகிறது, ஒரு ஆராய்ச்சி இயங்காது.
சரிபார்க்கப்பட்ட சான்றுகள், பதில்கள் மட்டும் அல்ல
கணிதத்தில் யூகிக்கும் சாட்போட்டிலிருந்து அஸ்ட்ராவின் வெளியீட்டை வேறுபடுத்துவது சரிபார்ப்பு ஆகும். ஓபன்ஏஐ, மனித ஆராய்ச்சியாளர்கள் கையெழுத்துப் பிரதிகளாக வாதங்களைத் தயாரிக்க அதே மாதிரியைப் பயன்படுத்தினர், மேலும் அஸ்ட்ரா ஒவ்வொரு வாதத்தையும் லீன் சான்றிதழாக முறைப்படுத்தியது. லீன் என்பது ஒரு ஓப்பன் சோர்ஸ் ப்ரூஃப் அசிஸ்டெண்ட் ஆகும், இது கணித வாதங்களை இயந்திரத்தால் சரிபார்க்க முடியும், அதாவது மற்ற கணிதவியலாளர்கள் நம்பிக்கையின் முடிவுகளை எடுக்க வேண்டியதில்லை - அவை மென்பொருளால் நொடிகளில் சுயாதீனமாக சரிபார்க்கப்படும்.
அந்த வேறுபாடு முக்கியமானது. ஒரு மொழி மாதிரியானது நுட்பமான, அபாயகரமான பிழையைக் கொண்ட ஒரு நம்பத்தகுந்த தோற்றமுள்ள ஆதாரத்தை உருவாக்க முடியும். ஒவ்வொரு வாதத்தையும் லீனுக்கு மொழிபெயர்ப்பதன் மூலம், OpenAI ஒரு சந்தைப்படுத்தல் உரிமைகோரலை சரிபார்க்கக்கூடிய கலைப்பொருளாக மாற்றியது. BleepingComputer இன் படி, விவரங்களைப் புகாரளித்தது, குறிப்பிட்ட முன்னேற்றங்கள், குழுக் கோட்பாட்டில் ஒரு பெரிய திறந்த கேள்வியைத் தீர்க்கும், சோஃபிக் அல்லாத குழுக்களின் இருப்பை நிறுவுவதற்கான ஆதாரத்தை உள்ளடக்கியது; கோன்ஸின் விறைப்பு யூகத்தின் மறுப்பு; உயர் பரிமாண ஸ்பியர் பேக்கிங்கிற்கான புதிய எல்லைகள்; மற்றும் பல சிக்கல்களைத் தீர்க்கும் முடிவுகள் பல கணிதவியலாளரான பால் எர்டோஸால் முன்வைக்கப்பட்டது.
இந்த தீர்வுகளைக் கண்டறிய தேவையான மொத்த டோக்கன்களின் எண்ணிக்கை தற்போதைய ஏபிஐ விகிதங்களில் தோராயமாக $2,000 செலவாகும் என்று OpenAI குறிப்பிட்டது - நவீன கணித கண்டுபிடிப்பின் கணக்கீட்டு தடம் பற்றிய ஒரு குறிப்பிடத்தக்க தரவு புள்ளி, மற்றும் ஆய்வகங்களுக்கு மட்டும் அல்லாமல், நன்கு நிதியளிக்கப்பட்ட கல்விக் குழுக்களின் எல்லையில் ஆராய்ச்சியை வைக்கிறது.
கணிதவியலாளர்கள் எதிர்வினையாற்றுகிறார்கள்
தாமஸ் ப்ளூம், Erdős-problem reference site erdosproblems.com ஐ இயக்கும் மான்செஸ்டர் பல்கலைக்கழகத்தின் கணிதவியலாளர், தி டிகோடர் படி, X இல் முடிவுகளை "பெரிய செய்தி" என்று அழைத்தார். மே மாதம் வெளியிடப்பட்ட யூனிட் தொலைவு அனுமானத்திற்கு எதிர் உதாரணத்தை விட அவர் அவற்றை மிகவும் குறிப்பிடத்தக்கதாக மதிப்பிட்டார். "ஒருவேளை யூனிட் தூரத்திற்கான ஆதாரத்தை விட பெரியதாக இருக்காது, ஆனால் கட்டுமானங்களின் அடிப்படையில், இது பெரியது" என்று ப்ளூம் எழுதினார்.ப்ளூம், AI ஆனது கணிதவியலாளர்களை மாற்றியமைக்கிறது என்ற கட்டமைப்பிற்கு எதிராக பின்னுக்குத் தள்ளப்பட்டது, இந்த அமைப்பு ஒரு நூற்றாண்டுக்கும் மேலான கோட்பாட்டைக் கொண்டு வரும்போது, அது கணிதவியலாளர்களால் கட்டமைக்கப்பட்டது, மேலும் கணிதவியலாளர்கள் இதுவரை எழுதியுள்ள எல்லாவற்றிலும் பயிற்சியளிக்கப்பட்டது.
நோம் பிரவுன், அஸ்ட்ரா நம்பியிருக்கும் சோதனை நேர பகுத்தறிவு தொழில்நுட்பத்தின் பின்னால் உள்ள ஆராய்ச்சியாளர், மேலும் அளவிடப்பட்டார். "துரதிர்ஷ்டவசமாக, மில்லினியம் பரிசு பிரச்சனைகள் இல்லை (இன்னும்)," அவர் X இல் பதிவிட்டுள்ளார், ஏழு பிரபலமான பிரச்சனைகளுக்கு களிமண் கணித நிறுவனம் தலா $1 மில்லியன் வழங்குகிறது - 2000 இல் பரிசுகள் அறிவிக்கப்பட்டதிலிருந்து ஒன்று மட்டுமே தீர்க்கப்பட்டுள்ளது.அனைவரையும் ஈர்க்கவில்லை. AI விமர்சகர் கேரி மார்கஸ், ஒரு சப்ஸ்டாக் இடுகையில் இந்த மாதிரியை "அற்புதமானது - ஆனால் மிகவும் அதிகமாக விற்கப்பட்டது" என்று அழைத்தார், இது ஒரு எல்லைப்புற ஆய்வகம் ஒரு மைல்கல்லைக் கோரும் போதெல்லாம் சந்தேகத்தின் பழக்கமான வரியாகும். உண்மையான தொழில்நுட்ப சாதனை மற்றும் விளம்பர கட்டமைப்பிற்கு இடையே உள்ள பதற்றம் அஸ்ட்ரா எவ்வாறு பெறப்படுகிறது என்பதை வரையறுக்கும்.
நீண்ட பணிகளுக்கான புதிய மாதிரி குடும்பம்
அஸ்ட்ரா என்பது நீண்டகால பணிச்சுமைக்காக உருவாக்கப்பட்ட ஒரு புதிய மாதிரி குடும்பம் என்பதை தகவல் சுயாதீனமாக உறுதிப்படுத்தியது. ஓபன்ஏஐ இதை ஒரு பெரிய சிக்கலின் வெவ்வேறு பகுதிகளில் பல AI முகவர்கள் ஒத்துழைக்க அனுமதிக்கும் ஒரு அமைப்பாக விவரிக்கிறது - ஒரு தேற்றத்தை நிரூபிப்பது அல்லது பெரிய கோட்பேஸை மறுசீரமைப்பது போன்ற வினாடிகளுக்குப் பதிலாக மணிநேரம் அல்லது நாட்களை எடுக்கும் பணிகளைச் சரியாக இலக்காகக் கொண்ட வடிவமைப்பு.
மாடல் GPT-5.7, GPT-6, அல்லது வேறு பெயரில் அனுப்பப்படுமா என்பதை OpenAI முடிவு செய்யவில்லை என்று BleepingComputer தெரிவித்துள்ளது. தலைமை நிர்வாக அதிகாரி சாம் ஆல்ட்மேன் ஏற்கனவே அஸ்ட்ராவை வாஷிங்டன், டி.சி.யில் காட்சிப்படுத்தியுள்ளார், தி டிகோடர் அறிக்கை, நிறுவனம் கொள்கை வகுப்பாளர்களுக்கு முன் வைக்கும் அளவுக்கு முதிர்ச்சியடைந்த அமைப்பைக் கருதுகிறது.
அரசு மறுஆய்வு தடை
ஒருவேளை மிகவும் பின்விளைவு விவரம் ஒழுங்குமுறை ஆகும். தி டிகோடரின் கூற்றுப்படி, பொது வெளியீட்டிற்கு முன் அதிகாரப்பூர்வ ஒப்புதல் தேவைப்படும் அமெரிக்க அரசாங்கத்தின் திட்டமிட்ட மறுஆய்வு செயல்முறைக்கு செல்லும் முதல் மாடல்களில் அஸ்ட்ராவும் இருக்கும். இது தொடக்க காலக்கெடுவில் அரசியல் நிச்சயமற்ற ஒரு அடுக்கைச் சேர்க்கிறது, இது முந்தைய முதன்மை மாதிரிகள் ஒருபோதும் எதிர்கொள்ளவில்லை - மேலும் OpenAI அஸ்ட்ராவின் திறன்களை எவ்வாறு வகைப்படுத்துகிறது என்பதற்கான பங்குகளை உயர்த்துகிறது.
கடுமையான ஓபன் வெயிட் பந்தயத்தின் மத்தியில் அறிமுகமும் வருகிறது. சில நாட்களுக்கு முன்பு, திங்கிங் மெஷின்ஸ் லேப் அதன் இன்க்லிங்-ஸ்மால் ஓபன் வெயிட் மாடலை வெளியிட்டது, மேலும் சீன ஆய்வகங்கள் திறந்த-எடை எல்லை அமைப்புகளைத் தொடர்ந்து தள்ளுகின்றன. தனியுரிம, பெரிய அளவிலான பகுத்தறிவு - லீன் போன்ற கருவிகளால் சரிபார்க்கப்பட்டது - மிகப்பெரிய முன்னேற்றங்களுக்கான பாதையாக உள்ளது என்று OpenAI இன் பந்தயத்தை Astra சமிக்ஞை செய்கிறது.
தற்போது, அஸ்ட்ரா வெளியிடப்படாமல் உள்ளது. ஆனால் அதன் கணித அறிமுகமானது, எந்த எல்லைக்குட்பட்ட AI அமைப்புகள் தூய அறிவியலுக்கு பங்களிக்க முடியும் என்பதையும், அவற்றுடன் வரும் கூற்றுகளை பொதுமக்கள் எவ்வளவு நெருக்கமாக ஆராய வேண்டும் என்பதையும் பற்றிய உரையாடலை ஏற்கனவே மறுவடிவமைத்துள்ளது.
AIக்கு முன்னால் இருங்கள்
அஸ்ட்ரா மற்றும் பரந்த எல்லை மாதிரி இனம் போன்ற முன்னேற்றங்களைத் தொடர விரும்புகிறீர்களா? [சமீபத்திய AI மேம்பாடுகளுக்கு] (https://aibuzzwire.news) எங்கள் மையத்தை புக்மார்க் செய்யவும்.
மேலும் AI செய்திகளைப் படிக்கவும் →
