ஃபிசிகல் சூப்பர் இன்டெலிஜென்ஸ் என்ற ஸ்டார்ட்அப் நிறுவனத்தால் உருவாக்கப்பட்ட ஒரு ஆராய்ச்சி அமைப்பு, பொது அல்லாத மானுடவியல் மாதிரியின் நிகழ்வுகளைப் பயன்படுத்தி, ஆரோன்சன்-அம்பெய்னிஸ் யூகத்தின் முழுமையான ஆதாரத்தை உருவாக்கியுள்ளது, இது 2008 ஆம் ஆண்டு முதல் திறந்த நிலையில் இருந்த ஒரு கணிதப் பிரச்சனை மற்றும் குவாண்டம் கணினிகள் கிளாசிக்கல் இயந்திரங்களை விட அதிவேக நன்மைகளை அடையும் கவலைகள். நிறுவனம் பகிரங்கமாக இடுகையிட்ட ஒரு காகிதத்தின்படி, லீன் ப்ரூஃப் உதவியாளரால் ஆதாரம் ஏற்றுக்கொள்ளப்பட்டது.
தி குவாண்டம் இன்சைடரால் முதன்முதலில் அறிக்கையிடப்பட்டு, பிசினஸ் இன்சைடரால் மூடப்பட்ட முடிவு, AI-உதவி கணிதத்திற்கான ஒரு அடையாளமாக சுயாதீன ஆராய்ச்சியாளர்களால் விவரிக்கப்படுகிறது - மேலும் இது பொதுமக்களுக்கு இதுவரை வெளியிடப்படாத ஒரு எல்லை மாதிரிக்கு இன்னும் காரணமாகக் கூறப்பட்ட மிக முக்கியமான வெளியீடுகளில் ஒன்றாகும். For more context on this story, see our ongoing AI trends.
யூகம் என்ன சொல்கிறது
ஸ்காட் ஆரோன்சன் மற்றும் ஆண்ட்ரிஸ் அம்பானிஸ் ஆகியோர் ஆரோன்சனின் 2008 ஆம் ஆண்டு விரிவுரையில் இருந்து ஒரு கேள்வியை முன்வைத்தனர்: குவாண்டம் அல்காரிதம் பெறும் உள்ளீடு சுரண்டுவதற்கு எந்த கட்டமைப்பையும் இல்லாதபோது ஒரு அதிவேக நன்மையைப் பெற முடியுமா? பீட்டர் ஷோரின் 1994 ஃபேக்டரிங் அல்காரிதம் போன்ற சிறந்த அறியப்பட்ட குவாண்டம் ஸ்பீட்அப்கள் செயல்படுகின்றன, ஏனெனில் அவற்றின் உள்ளீடுகள் அல்காரிதம் சுரண்டக்கூடிய மீண்டும் மீண்டும் வடிவங்களைக் கொண்டுள்ளன. ஆரோன்சன்-அம்பெய்னிஸ் கேள்வி எதிர் வழக்கை குறிக்கிறது - ஒரே மாதிரியான சீரற்ற, கட்டமைக்கப்படாத உள்ளீடுகள் அத்தகைய வடிவங்கள் இல்லாத இடத்தில்.
கேள்வியைப் படிக்க, ஆராய்ச்சியாளர்கள் வினவல் மாதிரியைப் பயன்படுத்துகின்றனர், இது ஒரு அல்காரிதம் அதன் உள்ளீட்டை அது செய்யும் ஒவ்வொரு செயலையும் விட எவ்வளவு அடிக்கடி அணுகுகிறது என்பதைக் கணக்கிடுகிறது. ஒரு கிளாசிக்கல் அல்காரிதம் ஒரு வினவலுக்கு ஒரு பிட் படிக்கிறது, அதே நேரத்தில் ஒரு குவாண்டம் வினவல் ஒரே நேரத்தில் பல உள்ளீட்டு நிலைகளின் சூப்பர்போசிஷனில் செயல்படும். ஆரோன்சன் மற்றும் அம்பானிஸ் ஆகியோர் ஒவ்வொரு வரம்பிற்குட்பட்ட குறைந்த டிகிரி பல்லுறுப்புக்கோவை - கொடுக்கப்பட்ட எண்ணிக்கையிலான வினவல்களுக்குப் பிறகு ஒரு குவாண்டம் அல்காரிதத்தின் வெளியீட்டு நிகழ்தகவை விவரிக்கும் கணிதப் பொருள் - மிகவும் செல்வாக்குமிக்க மாறியைக் கொண்டிருக்க வேண்டும் என்று ஊகித்தனர்.
உண்மை எனில், டி வினவல்களை உருவாக்கும் ஒரு குவாண்டம் அல்காரிதம் ஒரு கிளாசிக்கல் அல்காரிதம் மூலம் உருவகப்படுத்தப்படலாம் என்று யூகமானது, பெரும்பாலான உள்ளீடுகளில் பல்லுறுப்புக்கோவையாக பல வினவல்களை உருவாக்குகிறது, இது கட்டமைக்கப்படாத சிக்கல்களுக்கான அதிவேக வேகத்தை நிராகரிக்கிறது. யூகமானது பல்லுறுப்புக்கோவைகளைப் பற்றிய முறையான அறிக்கையை அனுமானித்து நிரூபிக்கப்பட்டது, ஆனால் அறிக்கையே 18 ஆண்டுகளாக ஆதாரத்தை எதிர்த்தது.
ஆதாரம் எப்படி கிடைத்தது
PSI இன் வலைப்பதிவு இடுகை மற்றும் அதனுடன் இணைந்த கட்டுரையின் படி, ஆராய்ச்சி அமைப்பு PSI இன் சொந்த உள்கட்டமைப்பின் மூன்றாவது நாளில் ஒரு முழுமையான ஆதாரத்தை உருவாக்கியது. லீன் 4 இல் முக்கிய தேற்றம் மற்றும் அதன் அசல் அனுமானத்தின் உருவாக்கம் முறைப்படுத்தப்பட்டது, மேலும் லீனின் கர்னல் - ஒவ்வொரு தர்க்கரீதியான படியையும் இயந்திரத்தனமாக சரிபார்க்கும் மென்பொருள் கூறு - ஆதாரத்தை ஏற்றுக்கொண்டது. பிஎஸ்ஐ பின்னர் கணினி தொடர்பான திறந்த சிக்கல்களை ஒதுக்கியது, இது இறுதிப் பதிப்பு ஏற்றுக்கொள்ளப்படுவதற்கு முன் இருமுறை முடிவை வலுப்படுத்த வழிவகுத்தது.
களஞ்சியத்தின் பதிவுசெய்யப்பட்ட தணிக்கையானது, முறையான வளர்ச்சியில் எந்த ஆதாரமான இடங்கள் மற்றும் கூடுதல் கோட்பாடுகள் இல்லை என்று கூறுகிறது. பிரகடனங்கள் லீனின் கர்னல் மற்றும் lean4lean மூலம் மீண்டும் இயக்கப்பட்டன, லீனின் வகை சரிபார்ப்பின் ஒரு சுயாதீன செயலாக்கம், மேலும் இரண்டு கர்னல்களையும் பயன்படுத்தி ஒரு ஒப்பீட்டாளர் நான்கு இறுதி தேற்றங்களை ஏற்றுக்கொண்டார். இரண்டாவது இயந்திரத்தில் ஒரு கட்டுப்பாட்டு சோதனையில், ஒப்பீட்டாளர் ஒரு சரியான சிறிய தீர்வை ஏற்றுக்கொண்டார் மற்றும் நான்கு வேண்டுமென்றே தவறானவற்றை நிராகரித்தார்.
கணிதவியலாளர்கள் ஷாச்சார் லோவெட் மற்றும் ஜியாபெங் ஜாங் ஆகியோரால் அமைக்கப்பட்ட ஒரு மூலோபாயத்தை இந்த ஆதாரம் பின்பற்றுகிறது, இது பகுதியளவு சான்றிதழ்கள் மற்றும் நிலைத் தொகுப்புகளின் அடிப்படையில் உள்ளது, ஆனால் அவர்களின் திட்டம் ஒரு யூகமாக விட்டுச்சென்ற ஒரு சமத்துவமின்மையை மாற்றியமைக்கிறது, இது ஒரு புதிய அனைத்து ஜோடி சமத்துவமின்மையால் உருவாக்கப்பட்ட உள்ளீட்டு அமைப்புகளின் அடிப்படையில் கட்டமைக்கப்பட்டது - ஒரு கட்டுமானப் பிஎஸ்ஐ லெம்மா முந்தையதைத் தாண்டியது.
மனித மேற்பார்வை மற்றும் சரிபார்க்கப்பட்ட வரம்புகள்
PSI இன் தொழில்நுட்ப ஊழியர்களின் உறுப்பினரான டேவிட் டர்டுரியன், ஆராய்ச்சி முறையை உருவாக்கி இயக்கினார், சிக்கலைக் கண்டறிந்து, மாதிரியை முதல் வரைவைத் தொகுக்கத் தூண்டினார், மேலும் அந்த வரைவை மதிப்பாய்வு செய்தார்; காகிதத்தின் சரியான தன்மைக்கு அவரைப் பொறுப்பாளர் என்று களஞ்சியம் குறிப்பிடுகிறது. ஜிம் ஹால்வர்சன் ஆதாரத்தை தணிக்கை செய்தார், மேலும் ஃபியாலா ஷனஹான் முறைப்படுத்தல் குறித்து கருத்து தெரிவித்தார். AI மாதிரிகள் கணித அறிக்கைகள், முதல் வரைவு மற்றும் லீன் முறைப்படுத்தல் ஆகியவற்றை உருவாக்கியதாக களஞ்சியம் வெளிப்படுத்துகிறது.
சரிபார்ப்புக்கு வெளிப்படையான வரம்புகள் உள்ளன, இதை PSI இன் காகிதம் ஒப்புக்கொள்கிறது. லீனில் உள்ள முறையான அறிக்கை அச்சிடப்பட்ட யூகத்துடன் பொருந்துகிறது என்பதை ஒரு மனித வாசகர் இன்னும் உறுதிப்படுத்த வேண்டும், மேலும் மனிதனால் படிக்கக்கூடிய காகிதம் இயந்திரத்தால் சரிபார்க்கப்படவில்லை. லீனின் கர்னல், மாத்லிப் நூலகத்தின் வரையறைகள் மற்றும் சரிபார்க்கப் பயன்படுத்தப்படும் இயந்திரங்கள் நம்பகமான தளத்தின் ஒரு பகுதியாகவே உள்ளன.
நிபுணர் எதிர்வினை
இந்த அறிவிப்பு ஆகஸ்ட் 2026 இல் கை பிளாங்க், ஜோர்டான் டாக்டர், கார்மென் ஸ்ட்ராசில் மற்றும் லி-யாங் டான் ஆகியோரின் ஆய்வறிக்கையைப் பின்பற்றுகிறது, இது இணையான குவாண்டம் அல்காரிதம்களுக்கான கிளாசிக்கல்-சிமுலேஷன் விளைவுகளைத் தீர்த்தது - இது ஒரு பகுதி முடிவு முழு யூகத்திற்கும் குறைவாகவே நிறுத்தப்பட்டது. PSI இன் கூற்றுப்படி, நான்கு ஆராய்ச்சியாளர்களும் முழுமையான ஆதாரத்தைப் படித்து வருகின்றனர், கருத்துகளை வழங்கியுள்ளனர் மற்றும் நிபுணர்களை இலக்காகக் கொண்ட ஒரு குறுகிய விளக்கத்தைத் தயாரிக்கின்றனர்.
PSI ஆல் வெளியிடப்பட்ட தங்கள் மதிப்பீட்டில், ஆராய்ச்சியாளர்கள் எழுதினர்: "இது ஒரு பெரிய முடிவு. இது குவாண்டம் வேகத்தை ஒப்புக்கொள்ளும் பிரச்சனைகளின் தன்மைக்கு முக்கியமான தாக்கங்கள் கொண்ட பல தசாப்தங்கள் பழமையான யூகத்தை தீர்க்கிறது. ஆதாரம் பூலியன் செயல்பாடுகள் மற்றும் நிகழ்தகவு சேர்க்கைகளின் பகுப்பாய்வில் பல வேலைகளை இழுக்கிறது மற்றும் நீட்டிக்கிறது. எல்லாம் ஒரு மாயாஜால வழியில் ஒன்றாக இணைக்கப்பட்டுள்ளது."
குவாண்டம் கம்ப்யூட்டிங்கிற்கு என்ன அர்த்தம்
குவாண்டம் கம்ப்யூட்டிங் ஆராய்ச்சிக்கு, தேற்றம் குவாண்டம் இயந்திரங்கள் உதவக்கூடிய சிக்கல்களுக்கும் அவை செய்ய முடியாத சிக்கல்களுக்கும் இடையிலான எல்லையைக் கூர்மைப்படுத்துகிறது. இது அல்காரிதம் வடிவமைப்பாளர்களை பொதுவான உள்ளீடுகளில் வேகத்தை தேடுவதை விட, கணித அல்லது உடல் அமைப்பு உண்மையான நன்மைகளை வழங்கும் சிக்கல்களை நோக்கி வழிநடத்துகிறது. எவ்வாறாயினும், எந்த நிஜ-உலகப் பயன்பாடுகள் பயனுள்ள வேகத்தை வழங்கும் என்பதை முடிவு தீர்மானிக்கவில்லை, மேலும் தரவைச் செயலாக்கத் தேவையான அனைத்து வேலைகளையும் வினவல் மாதிரி கணக்கிடாது, எனவே இது மொத்த கணினி நேரம் அல்லது குவாண்டம் இயந்திரங்களின் வணிக மதிப்பின் மீது பொதுவான வரம்பை நிறுவவில்லை.
கையெழுத்துப் பிரதியும் அதன் லீன் 4 முறைப்படுத்தலும் GitHub இல் பொதுவில் உள்ளன, அங்கு சமூகம் இப்போது முறையான அறிக்கைக்கும் அசல் அனுமானத்திற்கும் இடையிலான பொருத்தத்தை சரிபார்க்க முயற்சி செய்யலாம் - இயந்திரத்தால் சரிபார்க்கப்பட்ட ஆதாரத்தை முழுமையாக சான்றளிக்கப்பட்ட ஒன்றிலிருந்து பிரிக்கும் மீதமுள்ள படி.
Anthropic ஐப் பொறுத்தவரை, எபிசோட் எந்த API க்கும் வெளியிடப்படாத திறன்களின் முன்னோட்டத்தை வழங்குகிறது: கணித அறிக்கைகளை உருவாக்கிய மாதிரி பொதுவில் இல்லை, மேலும் அது எப்போது அல்லது அனுப்பப்படும் என்பதை நிறுவனம் அறிவிக்கவில்லை.
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
