கணிதப் பக்கம்
நிரூபண மென்பொருளால் சரிபார்க்கப்பட்டது
கருத்து
ஒன்றையொன்று நகலெடுக்கும் ஐந்து சோதனைகள் உண்மையில் ஒரே சோதனை.
ஐந்து பேர் ஒரு விடையை சோதிக்கிறார்கள் என்று வைத்துக்கொள்வோம், ஐவரும் ஒப்புக்கொள்கிறார்கள். அது பாதுகாப்பாக தோன்றுகிறது. ஆனால் ஐவரும் அதை ஒரே இடத்திலிருந்து கற்றிருந்தால், அவர்களின் ஒப்புதல் ஐந்து கருத்துக்கள் அல்ல. ஒரு கருத்து ஐந்து முறை மீண்டும் சொல்லப்பட்டது. சோதனைகளின் எண்ணிக்கை ஐந்தாக தெரிகிறது. உண்மையான எண்ணிக்கை ஒன்று.
இது AI-க்கு முக்கியம். ஒரு AI அமைப்பு தன் சொந்த சிந்தனையில் பல சோதனைகளை இயக்கலாம், ஆனால் அந்த சோதனைகள் ஒரே குருட்டு புள்ளியை பகிர்ந்தால் ஏமாற்றப்படலாம். Coherence Collapse Analysis என்பது CIRIS உண்மையான சோதனைகளுக்கும் எதிரொலிகளுக்கும் உள்ள வித்தியாசத்தை கண்டறியும் முறை.
ஒரே சூத்திரம்
உங்களிடம் உண்மையில் எத்தனை சோதனைகள் உள்ளன என்று எண்ணுதல்.
இதன் மையத்தில் ஒரு சுருக்கமான சூத்திரம் உள்ளது. அது கணக்கெடுப்பு புள்ளியியலிலிருந்து வருகிறது, அங்கே அது Kish design effect என்று அழைக்கப்படுகிறது, மேலும் அதே வடிவம் வாக்களிப்புக் கோட்பாட்டிலும் பாதுகாப்புப் பொறியியலிலும் தெரிகிறது. CIRIS அதை AI ஒத்திசைவுக்குப் பயன்படுத்துகிறது.
real checks = checks / (1 + copying × (checks − 1))
"Checks" என்பது நீங்கள் இயக்கிய சோதனைகளின் எண்ணிக்கை. "Copying" என்பது அவை எவ்வளவு மேலடுக்குகின்றன, 0 (எல்லாம் சுயாதீனம்) முதல் 1 (எல்லாம் ஒன்றே) வரை. விளைவு என்பது உங்களிடம் உண்மையில் எத்தனை சோதனைகள் உள்ளன என்பது.
நகலெடுப்பு இல்லை: ஒவ்வொன்றும் தனித்தனி சோதனையாக இருக்கும்போது மட்டுமே பத்து சோதனைகள் பத்தாக கணக்கிடப்படும்.
முழு நகலெடுப்பு: பத்து சோதனைகள் ஒன்றாக கணக்கிடப்படும். நீங்கள் எத்தனை சேர்த்தாலும் முக்கியமில்லை.
உண்மையான போக்குவரத்தில்
இது அளவிடப்பட்டது, வெறும் வாதிடப்படவில்லை.
CIRIS தன் சொந்த நேரடி முகவர் போக்குவரத்தில் உண்மையான சோதனை எண்ணிக்கையை அளவிட்டது, ஆயிரக்கணக்கான பதிவு செய்யப்பட்ட முடிவுகளில். ஆரோக்கியமான போக்குவரத்தில் சுமார் ஏழு முதல் ஒன்பது உண்மையில் சுயாதீனமான சோதனைகளின் வரம்பில் இயங்கியது. அந்த அளவீடும், அது எப்படி செய்யப்பட்டது என்பதும் Constrained Reasoning Chains study. ஆராய்ச்சி பக்கத்தில் நேரடி எண்களை கவனிக்கலாம்.
நேர்மையான உச்சவரம்பு
இந்த கணிதம் என்ன செய்ய முடியாது.
கட்டுரை தன் மீதே ஒரு கடினமான வரம்பை நிரூபிக்கிறது. சில வகையான தீங்கு ஒரு நேர்மையற்ற பகுதியிலிருந்து வருவதில்லை. நேர்மையான பகுதிகள் சேர்ந்து ஒரு மோசமான முடிவை உருவாக்குவதிலிருந்து வருகின்றன, மேலும் அந்தத் தீங்கின் சில பகுதி, பகுதிகளை மட்டும் பார்க்கும் எந்தச் சரிபார்ப்பு அமைப்புக்கும் தெரியாது என்று கட்டுரை நிரூபிக்கிறது, அது எவ்வளவு சிறந்ததாக இருந்தாலும். கணிதம் எல்லாவற்றையும் பிடிக்கும் என்று நடிப்பதற்குப் பதிலாக CIRIS அதை வெளிப்படையாகச் சொல்கிறது.
அமைப்பு உறுதியளிப்பது பதிவைத்தான். ஒவ்வொரு முடிவும் ஒரு கையொப்பமிட்ட ரசீதை விட்டுச் செல்கிறது, அதை அமைதியாக மாற்றி எழுத முடியாது, எனவே ஒரு பொய், தான் ஒருபோதும் அழிக்க முடியாத ஆயிரக்கணக்கான ரசீதுகளுடன் ஒத்துப்போக வேண்டும். அந்த ரசீதுகளை நன்றாக வாசிப்பது இன்னும் திறந்த வேலை, அதை நாங்கள் வெளிப்படையாகச் சொல்கிறோம். எப்படியிருந்தாலும் கணக்குகள் உண்மையாகவே இருக்கின்றன.
இது எப்படி ஒன்றிணைகிறது
கணிதம் ஒரு பெரிய முழுமையின் ஒரு பகுதி.
இந்தப் பக்கம் அளவீடு. ஒத்திசைவு சக்கரம் (Coherence Ratchet) என்பது அந்த அளவீட்டை நடைமுறையில் பயன்படுத்தும் முறை. ஃபெடரேஷன் என்பது பல அமைப்புகள் பகிரும் ஒன்றாக இது மாறும் விதம். மேலும் முழு நிரூபணங்கள், கணினி வரிவரியாக சரிபார்க்கும் விதத்தில் எழுதப்பட்டவை, கட்டுரையிலும் RATCHET repository-யிலும் உள்ளன.