AI குறியீட்டு சகாப்தத்தை துல்லியமாக இலக்காகக் கொண்ட ஒரு சுருதியுடன் 278 புள்ளிகள் மற்றும் முதல் பக்க விவாதத்தை ஈர்த்து, இந்த வாரம் ஹேக்கர் செய்திகளில் பெண்ட் எனப்படும் நிரலாக்க மொழி உயர்ந்தது: உங்கள் விதிகளை மீறும் குறியீட்டை அனுப்ப AI முகவருக்கு கணித ரீதியாக இயலாது.

திட்டத்தின் இணையதளம் பென்டை "ஆதாரத்தின் மூலம் AI தவறுகளைத் தடுக்கும் வேகமான மொழி" என்று விவரிக்கிறது, இது ஒரு அசாதாரணமான குணாதிசயங்களின் கலவையை உறுதியளிக்கிறது: C-ஸ்பீடு நேட்டிவ் கம்பைலேஷன், CPU கோர்கள் மற்றும் CUDA-திறன் கொண்ட GPUகள், லீன்-ஸ்டைல் ​​ஃபார்மல் ப்ரூஃப்கள் மற்றும் பைதான் போன்ற தொடரியல். For more context on this story, see our ongoing breaking AI news.

வேறு வார்த்தைகளில் கூறுவதானால், பென்ட் மனிதர்கள் எழுதுவதற்கு சிறந்த மொழியாக இருக்க முயற்சிக்கவில்லை. AI முகவர்கள் எழுதுவதற்கு இது ஒரு சிறந்த மொழியாக இருக்க முயற்சிக்கிறது - இது கம்பைலரே பாதுகாப்பாக நிற்கிறது.

வாதம்: தூண்டுதல்கள் தெளிவற்றவை, சான்றுகள் இல்லை

மென்பொருள் மேம்பாடு எங்கு செல்கிறது என்பதைப் பற்றி திட்டத்தின் முகப்புப் பக்கத்தில் உள்ள ஃப்ரேமிங் வழக்கத்திற்கு மாறாக நேர்மையாக உள்ளது.

"ஏஜிஐக்குப் பிந்தைய பொருளாதாரத்தில், மனிதர்கள் குறியீட்டை எழுதுவதையும் படிப்பதையும் நிறுத்திவிடுவார்கள், ஆனால் AIக்கள் நம்மைச் சுற்றியுள்ள உலகத்தை உருவாக்குவதைச் சொல்ல, நாம் என்ன செய்ய விரும்புகிறோம் என்பதைச் சொல்ல தெளிவின்மை இல்லாத வழி தேவை" என்று தளம் வாதிடுகிறது. "சட்டங்கள் மூலம், நமது நோக்கங்கள் இயல்பான மொழியை விட மிகவும் துல்லியமாக இருக்கும். ஆதாரங்களுடன், AI எங்கள் அறிவுறுத்தல்களை சரியாக செயல்படுத்தியதா என்பதை சரிபார்க்கலாம். மேலும் ஒரு வேகமான கம்பைலர் அதை வேகத்தில் இயக்கும்."

அந்த ஆய்வறிக்கை டெவலப்பருக்கும் கருவிக்கும் இடையிலான வழக்கமான உறவைத் தலைகீழாக மாற்றுகிறது. AI-உருவாக்கப்பட்ட குறியீட்டை வரிக்கு வரி மறுபரிசீலனை செய்வதற்கான வெளியீட்டாகக் கருதுவதற்குப் பதிலாக, எப்போதும் வைத்திருக்க வேண்டிய பண்புகளை அறிவிக்குமாறு பெண்ட் மனிதனைக் கேட்கிறார் - மேலும் எதையும் ஒன்றிணைக்கும் முன் இயந்திரம் அதன் செயல்பாட்டை நிரூபிக்கச் செய்கிறது.

எப்படி LAWS.bend வேலை செய்கிறது

வடிவமைப்பின் மையப்பகுதி LAWS.bend எனப்படும் கோப்பாகும், இதில் டெவலப்பர்கள் திட்டம் திருப்திப்படுத்த வேண்டிய மாறுபாடுகளை அறிவிக்கிறார்கள். கருத்துக்கான தளத்தின் கோஷம்: "LAWS.bend என்பது AGENTS.md ஆதாரத்தால் ஆதரிக்கப்படுகிறது." AGENTS.md கோப்புகள் AI குறியீட்டு முகவர்களை அமைதியாகப் புறக்கணிக்கக்கூடிய இயற்கை மொழி விதிகளுடன் அறிவுறுத்தும் இடத்தில், பெண்டின் சட்டங்கள் வகை சரிபார்ப்பாளரால் செயல்படுத்தப்படுகின்றன.

"அப்போதிலிருந்து, எந்த AIயாலும் அவற்றை உடைக்கும் ஒரு வரியை அனுப்ப முடியாது," என்று தளம் கூறுகிறது.

அதனுடன் உள்ள PROOF.bend கோப்பில் ஒவ்வொரு சட்டமும் வைத்திருக்கும் இயந்திரத்தால் சரிபார்க்கப்பட்ட வாதங்கள் உள்ளன - மேலும், குறிப்பாக, அந்த ஆதாரம் AI ஆல் எழுதப்பட்டது, மனிதனால் அல்ல. எது உண்மையாக இருக்க வேண்டும் என்று டெவலப்பர் கூறுகிறார்; முகவர் ஆதாரத்தை உருவாக்குகிறார்.

இந்த திட்டம் ஒரு பொம்மை விளையாட்டின் யோசனையை நிரூபிக்கிறது, அதில் வெற்றி பெறுவது சாத்தியமற்றது என்று சட்டம் அறிவிக்கிறது. ஆர்ப்பாட்டத்தில், ஒரு புதிய அம்சக் கோரிக்கை - "பலகையை சுற்றி வையுங்கள்" - ஒரு பிழையை அறிமுகப்படுத்துகிறது, இது வீரர் வெற்றிபெற அனுமதிக்கிறது. LAWS.bend இல்லாமல், தரமற்ற குறியீடு ஒன்றிணைகிறது மற்றும் பிழை நேரலையில் செல்கிறது. LAWS.bend உள்ள நிலையில், மாற்றம் நிராகரிக்கப்பட்டது, மேலும் சரியான ஆதாரத்துடன் வரும் செயலாக்கத்தை உருவாக்கும் வரை AI மீண்டும் முயற்சி செய்ய வேண்டும். தளம் சொல்வது போல்: "ஒரு பிழையை இணைப்பது கணித ரீதியாக சாத்தியமற்றது: இது ஒரு தேற்றம்."

வேகம் இயக்கி

முறையான சரிபார்ப்பு என்பது பழைய யோசனை. அன்றாட மென்பொருள் மேம்பாட்டிலிருந்து அதை விலக்கி வைத்திருப்பது செலவு: லீன் மற்றும் ரோக் போன்ற ஆதார உதவியாளர்கள் நடுத்தர அளவிலான கோட்பேஸைச் சரிபார்க்க சில நிமிடங்கள் எடுத்துக் கொள்ளலாம், இது கிரிப்டோகிராஃபி அல்லது ஆப்பரேட்டிங் சிஸ்டம் கர்னல்களுக்கு சகித்துக்கொள்ளக்கூடியது ஆனால் ஒரு மணி நேரத்திற்கு டஜன் கணக்கான மாற்றங்களைச் செய்யும் AI முகவருக்கு இது நடைமுறைக்கு மாறானது.

ஒரு வினாடி அல்லது அதற்கும் குறைவான நேரத்தில் இயங்கும் வகை சரிபார்ப்பாளரைத் தானே ஆதார சரிபார்ப்பாளராக மாற்றுவது என்பது பெண்டின் பதில். "ஒவ்வொரு மாற்றத்திற்கும் பிறகு ஒரு AI முகவர் சரிபார்க்க முடியும்" என்று தளம் கூறுகிறது - ஹெவிவெயிட், இறுதி-திட்ட விழாவிலிருந்து சரிபார்ப்பை ஒவ்வொரு திருத்தத்திலும் இலகுரக வாயிலாக மாற்றுகிறது.

செயல்திட்டத்தின் சொந்த தளத்தில் (Apple M4 Max இல் இயங்கும்) வெளியிடப்பட்ட வரையறைகளை அடிப்படையாகக் கொண்ட செயல்திறன் உரிமைகோரல்கள், பலகை முழுவதும் லட்சியமாக உள்ளன:

  • வளைவு நேட்டிவ் குறியீட்டிற்கு தொகுக்கிறது மற்றும் ஒற்றை மையத்தில் "கிட்டத்தட்ட C போல வேகமாக" இயங்கும்.
  • பதினாறு கோர்களில் உள்ள அதே பைனரி அளவுகோல்கள் அல்லது GPU இல், ஒரு மையத்தின் வேகத்தை விட 100 மடங்கு வரை தளம் உரிமை கோருகிறது.
  • பேரலலிசம் தானாகவே உள்ளது — "இழைகள் இல்லை, பூட்டுகள் இல்லை, எழுதுவதற்கு கர்னல்கள் இல்லை" - இயங்கும் நேரத்தின் மூலம் ஒவ்வொரு மையத்திலும் அது கண்டுபிடித்து முடிவுகளை இணைக்கிறது.

தொடங்குவது வேண்டுமென்றே உராய்வு இல்லாதது: ஒரு வரி நிறுவல் ஸ்கிரிப்ட் மற்றும் AGENTS.md இல் ஒட்டப்பட வேண்டிய துணுக்கை, `வளைவு வழிகாட்டி`யை இயக்குமாறு ஏஜெண்டுக்கு அறிவுறுத்துகிறது, LAWS.bend இல் முக்கியமான விதிகளைப் பின்பற்றவும், மேலும் `பென்ட் PROOF.bend` ஐ இயக்கவும்.

அது ஏன் இப்போது எதிரொலிக்கிறது

ஹேக்கர் நியூஸ் பதில் - மணிநேரத்திற்குள் நூற்றுக்கணக்கான புள்ளிகள் - டெவலப்பர் சமூகத்தில் அதிகரித்து வரும் கவலையை பிரதிபலிக்கிறது. AI குறியீட்டு முகவர்கள் குறியீட்டை தயாரிப்பதை கிட்டத்தட்ட இலவசமாக்கியுள்ளனர், ஆனால் அதை சரிபார்ப்பது அதே வேகத்தில் மலிவானதாக இல்லை. குறியீடு மதிப்பாய்வு, சோதனை மற்றும் QA இன்னும் அடிப்படையில் மனித-வேக செயல்முறைகள், மற்றும் குழுக்கள் பெருகிய முறையில் இடையூறு மென்பொருளை எழுதுவதில் இருந்து அதை நம்புவதற்கு மாறியுள்ளது என்று தெரிவிக்கின்றன.

பெண்டின் கூலி என்னவென்றால், நம்பிக்கைச் சிக்கல் பணிப்பாய்வுகளை விட மொழியில் சிறப்பாகத் தீர்க்கப்படுகிறது. கூறப்பட்ட மாறாநிலையை மீறும் குறியீட்டை கம்பைலர் ஏற்க மறுத்தால், மறுஆய்வு உரையாடல் மாறும்: இயந்திரம் ஏற்கனவே விலக்கிய பிழைகளை வேட்டையாடுவதை மனிதர்கள் நிறுத்தி, வணிகத்திற்கு உண்மையில் என்ன தேவை என்பதை சட்டங்கள் தாங்களாகவே எடுத்துக் கொள்கின்றனவா என்பதில் கவனம் செலுத்தத் தொடங்குங்கள்.

எச்சரிக்கைகள்

எந்தவொரு திட்டமும் அதன் சொந்த அளவுகோல்கள் மூலம் தன்னைத்தானே விளம்பரப்படுத்துவது போல, சுயாதீன சரிபார்ப்பு என்பது வெளிப்படையான அடுத்த கேள்வியாகும். செயல்திறன் புள்ளிவிவரங்கள் திட்டத்தின் இணையதளத்தில் இருந்து வருகின்றன, மேலும் இந்த ஆர்ப்பாட்டம் வேண்டுமென்றே எளிமையான உதாரணம். நிஜ உலக கோட்பேஸ்கள் குழப்பமான நிலை, வெளிப்புற அமைப்புகள் மற்றும் மிருதுவான முறைப்படுத்தலை எதிர்க்கும் தேவைகளைக் கொண்டுள்ளன - முறையான முறைகளின் கடினமான பகுதி ஒருபோதும் நிரூபிக்கப்படவில்லை, ஆனால் விவரக்குறிப்பு.

கலாச்சார தடையும் உள்ளது. ஒரு புதிய மொழியை ஏற்றுக்கொள்ள மனித மேம்பாட்டாளர்களை சமாதானப்படுத்துவது மிகவும் கடினமானது; AI முகவர்கள் பெரும்பாலான எழுத்துக்களைச் செய்தாலும், அவர்களின் திட்டத்தின் விதிகளை இயந்திரத்தால் சரிபார்க்கக்கூடிய சட்டங்களாக குறியாக்கம் செய்ய அவர்களை நம்ப வைப்பது இன்னும் பெரிய கேள்வியாகும்.

ஆனால் முக்கிய நுண்ணறிவு - AI-உருவாக்கப்பட்ட குறியீட்டின் சகாப்தத்திற்காக வடிவமைக்கப்பட்ட ஒரு மொழி சரியானதை தொகுக்கும் நேர சொத்தாக மாற்ற வேண்டும் - இது இப்போது தொழில்துறை அளவில் உள்ள ஒரு சிக்கலுக்கு ஒரு தீவிரமான பதில். பெண்ட் குறிப்பாக அந்த வாதத்தை வென்றாலும் அல்லது சில வாரிசு வெற்றி பெற்றாலும், பயணத்தின் திசை தெளிவாகத் தெரிகிறது: இயந்திரங்கள் குறியீட்டை எழுதும் போது, ​​காவலர்கள் இயந்திரத்திற்குள் செல்ல வேண்டும்.

மென்பொருள் எவ்வாறு உருவாக்கப்படுகிறது என்பதை மாற்றியமைக்கும் கருவிகளைப் பற்றி மேலும் அறிய, சமீபத்திய AI செய்திகள் மற்றும் AI மேம்பாட்டு சுற்றுச்சூழல் அமைப்பின் தற்போதைய கவரேஜைப் பின்பற்றவும்.

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →