ਗਣਿਤ ਦਾ ਸਫ਼ਾ
ਪ੍ਰੂਫ਼ ਸੌਫਟਵੇਅਰ ਦੁਆਰਾ ਜਾਂਚਿਆ ਗਿਆ
ਵਿਚਾਰ
ਪੰਜ ਜਾਂਚਾਂ ਜੋ ਇੱਕ ਦੂਜੇ ਦੀ ਨਕਲ ਕਰਦੀਆਂ ਹਨ, ਅਸਲ ਵਿੱਚ ਇੱਕ ਜਾਂਚ ਹਨ।
ਮੰਨ ਲਓ ਪੰਜ ਲੋਕ ਕਿਸੇ ਜਵਾਬ ਦੀ ਜਾਂਚ ਕਰਦੇ ਹਨ ਅਤੇ ਸਾਰੇ ਪੰਜ ਸਹਿਮਤ ਹਨ। ਇਹ ਸੁਰੱਖਿਅਤ ਮਹਿਸੂਸ ਹੁੰਦਾ ਹੈ। ਪਰ ਜੇ ਸਾਰੇ ਪੰਜਾਂ ਨੇ ਇੱਕੋ ਜਗ੍ਹਾ ਤੋਂ ਸਿੱਖਿਆ, ਤਾਂ ਉਨ੍ਹਾਂ ਦੀ ਸਹਿਮਤੀ ਪੰਜ ਰਾਏ ਨਹੀਂ ਹੈ। ਇਹ ਇੱਕ ਰਾਏ ਪੰਜ ਵਾਰ ਦੁਹਰਾਈ ਗਈ ਹੈ। ਜਾਂਚਾਂ ਦੀ ਗਿਣਤੀ ਪੰਜ ਦਿਖਦੀ ਹੈ। ਅਸਲੀ ਗਿਣਤੀ ਇੱਕ ਹੈ।
ਇਹ AI ਲਈ ਮਹੱਤਵਪੂਰਨ ਹੈ। ਇੱਕ AI ਸਿਸਟਮ ਆਪਣੀ ਸੋਚ 'ਤੇ ਕਈ ਜਾਂਚਾਂ ਚਲਾ ਸਕਦਾ ਹੈ ਅਤੇ ਫਿਰ ਵੀ ਧੋਖਾ ਖਾ ਸਕਦਾ ਹੈ, ਜੇ ਉਹ ਜਾਂਚਾਂ ਇੱਕੋ ਅੰਨ੍ਹੇ ਧੱਬੇ ਨੂੰ ਸਾਂਝਾ ਕਰਦੀਆਂ ਹਨ। Coherence Collapse Analysis ਉਹ ਤਰੀਕਾ ਹੈ ਜਿਸ ਨਾਲ CIRIS ਅਸਲੀ ਜਾਂਚਾਂ ਅਤੇ ਗੂੰਜਾਂ ਵਿੱਚ ਫਰਕ ਕਰਦਾ ਹੈ।
ਇੱਕੋ ਫਾਰਮੂਲਾ
ਤੁਹਾਡੇ ਕੋਲ ਅਸਲ ਵਿੱਚ ਕਿੰਨੀਆਂ ਜਾਂਚਾਂ ਹਨ, ਇਹ ਗਿਣਨਾ।
ਇਸਦੇ ਕੇਂਦਰ ਵਿੱਚ ਇੱਕ ਛੋਟਾ ਜਿਹਾ ਫਾਰਮੂਲਾ ਹੈ। ਇਹ ਸਰਵੇ ਅੰਕੜਿਆਂ ਤੋਂ ਆਉਂਦਾ ਹੈ, ਜਿੱਥੇ ਇਸਨੂੰ Kish design effect ਕਿਹਾ ਜਾਂਦਾ ਹੈ। CIRIS ਪਹਿਲਾ ਸੀ ਜਿਸਨੇ ਇਸਨੂੰ AI ਅਲਾਈਨਮੈਂਟ ਲਈ ਵਰਤਿਆ।
real checks = checks / (1 + copying × (checks − 1))
“Checks” ਉਹ ਹੈ ਜਿੰਨੀਆਂ ਜਾਂਚਾਂ ਤੁਸੀਂ ਚਲਾਈਆਂ। “Copying” ਉਹ ਹੈ ਕਿੰਨਾ ਉਹ ਓਵਰਲੈਪ ਕਰਦੀਆਂ ਹਨ, 0 ਤੋਂ (ਸਾਰੀਆਂ ਆਜ਼ਾਦ) 1 ਤੱਕ (ਸਾਰੀਆਂ ਇੱਕੋ)। ਨਤੀਜਾ ਇਹ ਹੈ ਕਿ ਤੁਹਾਡੇ ਕੋਲ ਅਸਲ ਵਿੱਚ ਕਿੰਨੀਆਂ ਜਾਂਚਾਂ ਹਨ।
ਕੋਈ ਨਕਲ ਨਹੀਂ: ਦਸ ਜਾਂਚਾਂ ਦਸ ਗਿਣੀਆਂ ਜਾਂਦੀਆਂ ਹਨ। ਹਰ ਜਾਂਚ ਆਪਣੀ ਜਗ੍ਹਾ ਕਮਾਉਂਦੀ ਹੈ।
ਪੂਰੀ ਨਕਲ: ਦਸ ਜਾਂਚਾਂ ਇੱਕ ਗਿਣੀਆਂ ਜਾਂਦੀਆਂ ਹਨ। ਕੋਈ ਫਰਕ ਨਹੀਂ ਪੈਂਦਾ ਕਿ ਤੁਸੀਂ ਕਿੰਨੀਆਂ ਜੋੜੋ।
ਸਿਹਤਮੰਦ ਪੱਟੀ
ਨਾ ਬਹੁਤ ਇੱਕੋ ਜਿਹਾ, ਨਾ ਬਹੁਤ ਖਿੰਡਿਆ।
ਉਹੀ ਆਕਾਰ ਇੱਥੇ ਵੀ ਦਿਖਦਾ ਹੈ ਜੋ ਹਰ ਥਾਂ CIRIS ਦੇਖਦਾ ਹੈ। ਜੇ ਜਾਂਚਾਂ ਇੱਕ ਦੂਜੇ ਦੀ ਬਹੁਤ ਜ਼ਿਆਦਾ ਨਕਲ ਕਰਦੀਆਂ ਹਨ, ਸਿਸਟਮ ਬਹੁਤ ਕਠੋਰ ਹੈ: ਇੱਕ ਆਵਾਜ਼ ਦੁਹਰਾਈ ਗਈ, ਧੋਖਾ ਦੇਣਾ ਆਸਾਨ। ਜੇ ਉਨ੍ਹਾਂ ਵਿੱਚ ਕੋਈ ਸਾਂਝ ਨਹੀਂ, ਇਹ ਬਹੁਤ ਖਿੰਡਿਆ ਹੈ: ਉਹ ਕਿਸੇ ਗੱਲ 'ਤੇ ਸਹਿਮਤ ਨਹੀਂ ਹੋ ਸਕਦੀਆਂ। ਸਿਹਤਮੰਦ ਜਾਂਚ ਵਿਚਕਾਰ ਦੀ ਪੱਟੀ ਵਿੱਚ ਰਹਿੰਦੀ ਹੈ, ਉਹੀ ਕੋਰੀਡੋਰ ਜਿਸ ਦੁਆਲੇ ਬਾਕੀ CIRIS ਬਣਾਇਆ ਗਿਆ ਹੈ।
ਉਸ ਪੱਟੀ ਦੀਆਂ ਸਹੀ ਸੀਮਾਵਾਂ ਮਾਪੇ ਜਾ ਰਹੇ ਸਿਸਟਮ 'ਤੇ ਨਿਰਭਰ ਕਰਦੀਆਂ ਹਨ। ਕੋਈ ਇੱਕ ਜਾਦੂਈ ਨੰਬਰ ਨਹੀਂ ਜੋ ਹਰ ਥਾਂ ਕੰਮ ਕਰੇ, ਅਤੇ ਖੋਜ ਇਸ ਬਾਰੇ ਇਮਾਨਦਾਰ ਹੈ। ਕੋਰੀਡੋਰ ਵਿਚਾਰ, ਪੂਰੀ ਤਰ੍ਹਾਂ, ਵਿਜ਼ਨ ਸਫ਼ੇ 'ਤੇ ਹੈ।
ਅਸਲੀ ਟ੍ਰੈਫਿਕ 'ਤੇ
ਇਹ ਮਾਪਿਆ ਗਿਆ, ਸਿਰਫ਼ ਦਲੀਲ ਨਹੀਂ ਦਿੱਤੀ ਗਈ।
CIRIS ਨੇ ਆਪਣੇ ਲਾਈਵ ਏਜੰਟ ਟ੍ਰੈਫਿਕ 'ਤੇ ਅਸਲੀ ਜਾਂਚ ਦੀ ਗਿਣਤੀ ਮਾਪੀ, ਹਜ਼ਾਰਾਂ ਦਰਜ ਫੈਸਲਿਆਂ ਵਿੱਚੋਂ। ਸਿਹਤਮੰਦ ਟ੍ਰੈਫਿਕ 'ਤੇ ਇਹ ਲਗਭਗ ਸੱਤ ਤੋਂ ਨੌਂ ਸੱਚਮੁੱਚ ਆਜ਼ਾਦ ਜਾਂਚਾਂ ਦੀ ਰੇਂਜ ਵਿੱਚ ਚੱਲਿਆ ਹੈ। ਉਹ ਮਾਪ, ਅਤੇ ਇਹ ਕਿਵੇਂ ਕੀਤਾ ਗਿਆ, Constrained Reasoning Chains study ਹੈ। ਤੁਸੀਂ ਖੋਜ ਸਫ਼ੇ 'ਤੇ ਲਾਈਵ ਨੰਬਰ ਦੇਖ ਸਕਦੇ ਹੋ।
ਇਮਾਨਦਾਰ ਸੀਮਾ
ਇਹ ਗਣਿਤ ਕੀ ਨਹੀਂ ਕਰ ਸਕਦਾ।
ਪੇਪਰ ਆਪਣੇ ਆਪ 'ਤੇ ਇੱਕ ਸਖ਼ਤ ਸੀਮਾ ਸਾਬਤ ਕਰਦਾ ਹੈ। ਕੁਝ ਕਿਸਮਾਂ ਦੇ ਨੁਕਸਾਨ ਇੱਕ ਬੇਇਮਾਨ ਹਿੱਸੇ ਤੋਂ ਨਹੀਂ ਆਉਂਦੇ। ਇਹ ਇਮਾਨਦਾਰ ਹਿੱਸਿਆਂ ਤੋਂ ਆਉਂਦੇ ਹਨ ਜੋ ਮਿਲ ਕੇ ਬੁਰਾ ਨਤੀਜਾ ਦਿੰਦੇ ਹਨ, ਅਤੇ ਉਸ ਕਿਸਮ ਦੇ ਲਗਭਗ ਚਾਲੀ ਫੀਸਦੀ ਨੁਕਸਾਨ ਕਿਸੇ ਵੀ ਜਾਂਚਕਾਰ ਦੁਆਰਾ ਨਹੀਂ ਫੜੇ ਜਾ ਸਕਦੇ, ਚਾਹੇ ਕਿੰਨਾ ਚੰਗਾ ਵੀ ਹੋਵੇ। CIRIS ਇਹ ਸਾਫ਼ ਕਹਿੰਦਾ ਹੈ ਨਾ ਕਿ ਇਹ ਦਿਖਾਵਾ ਕਰਦਾ ਕਿ ਗਣਿਤ ਸਭ ਕੁਝ ਫੜਦਾ ਹੈ।
ਗਣਿਤ ਜੋ ਕਹਿੰਦਾ ਹੈ ਉਹ ਸਮੇਂ ਦੇ ਨਾਲ ਲਾਗਤ ਬਾਰੇ ਹੈ: ਹਫ਼ਤਿਆਂ ਤੱਕ ਅਸਲੀ, ਇਮਾਨਦਾਰ ਸੋਚ ਚਲਾਉਣਾ ਹਜ਼ਾਰਾਂ ਦਰਜ ਫੈਸਲਿਆਂ ਵਿੱਚ ਝੂਠ ਨੂੰ ਇਕਸਾਰ ਰੱਖਣ ਨਾਲੋਂ ਸਥਿਰ ਅਤੇ ਸਸਤਾ ਹੈ। ਇਹ ਜ਼ਮੀਨ ਨੂੰ ਇਮਾਨਦਾਰੀ ਵੱਲ ਝੁਕਾਉਂਦਾ ਹੈ। ਇਹ ਹਰ ਇੱਕ ਝੂਠ ਫੜਨ ਦਾ ਵਾਅਦਾ ਨਹੀਂ ਕਰਦਾ।
ਇਹ ਕਿਵੇਂ ਇਕੱਠੇ ਫਿੱਟ ਹੁੰਦਾ ਹੈ
ਗਣਿਤ ਇੱਕ ਵੱਡੇ ਪੂਰੇ ਦਾ ਇੱਕ ਹਿੱਸਾ ਹੈ।
ਇਹ ਸਫ਼ਾ ਮਾਪ ਹੈ। ਇਕਸਾਰਤਾ ਰੈਚਟ ਉਹ ਤਰੀਕਾ ਹੈ ਜਿਸ ਨਾਲ ਮਾਪ ਨੂੰ ਕੰਮ ਵਿੱਚ ਲਾਇਆ ਜਾਂਦਾ ਹੈ। ਫੈੱਡਰੇਸ਼ਨ ਉਹ ਹੈ ਕਿਵੇਂ ਇਹ ਕਿਸੇ ਚੀਜ਼ ਵਿੱਚ ਬਦਲਦਾ ਹੈ ਜਿਸਨੂੰ ਬਹੁਤ ਸਾਰੇ ਸਿਸਟਮ ਸਾਂਝਾ ਕਰਦੇ ਹਨ। ਅਤੇ ਪੂਰੇ ਪ੍ਰੂਫ਼, ਇਸ ਤਰ੍ਹਾਂ ਲਿਖੇ ਕਿ ਕੰਪਿਊਟਰ ਇਨ੍ਹਾਂ ਨੂੰ ਲਾਈਨ ਦਰ ਲਾਈਨ ਜਾਂਚ ਸਕੇ, ਪੇਪਰ ਅਤੇ RATCHET ਰਿਪੋਜ਼ਿਟਰੀ ਵਿੱਚ ਹਨ।