ਗਣਿਤ ਦਾ ਸਫ਼ਾ
ਪ੍ਰੂਫ਼ ਸੌਫਟਵੇਅਰ ਦੁਆਰਾ ਜਾਂਚਿਆ ਗਿਆ
ਵਿਚਾਰ
ਪੰਜ ਜਾਂਚਾਂ ਜੋ ਇੱਕ ਦੂਜੇ ਦੀ ਨਕਲ ਕਰਦੀਆਂ ਹਨ, ਅਸਲ ਵਿੱਚ ਇੱਕ ਜਾਂਚ ਹਨ।
ਮੰਨ ਲਓ ਪੰਜ ਲੋਕ ਕਿਸੇ ਜਵਾਬ ਦੀ ਜਾਂਚ ਕਰਦੇ ਹਨ ਅਤੇ ਸਾਰੇ ਪੰਜ ਸਹਿਮਤ ਹਨ। ਇਹ ਸੁਰੱਖਿਅਤ ਮਹਿਸੂਸ ਹੁੰਦਾ ਹੈ। ਪਰ ਜੇ ਸਾਰੇ ਪੰਜਾਂ ਨੇ ਇੱਕੋ ਜਗ੍ਹਾ ਤੋਂ ਸਿੱਖਿਆ, ਤਾਂ ਉਨ੍ਹਾਂ ਦੀ ਸਹਿਮਤੀ ਪੰਜ ਰਾਏ ਨਹੀਂ ਹੈ। ਇਹ ਇੱਕ ਰਾਏ ਪੰਜ ਵਾਰ ਦੁਹਰਾਈ ਗਈ ਹੈ। ਜਾਂਚਾਂ ਦੀ ਗਿਣਤੀ ਪੰਜ ਦਿਖਦੀ ਹੈ। ਅਸਲੀ ਗਿਣਤੀ ਇੱਕ ਹੈ।
ਇਹ 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 ਇਹ ਸਾਫ਼ ਕਹਿੰਦਾ ਹੈ, ਨਾ ਕਿ ਇਹ ਦਿਖਾਵਾ ਕਰਦਾ ਹੈ ਕਿ ਗਣਿਤ ਸਭ ਕੁਝ ਫੜਦਾ ਹੈ।
ਸਿਸਟਮ ਜੋ ਵਾਅਦਾ ਕਰਦਾ ਹੈ ਉਹ ਹੈ ਰਿਕਾਰਡ। ਹਰ ਫੈਸਲਾ ਇੱਕ ਦਸਤਖਤ ਕੀਤੀ ਰਸੀਦ ਛੱਡਦਾ ਹੈ ਜਿਸਨੂੰ ਚੁੱਪ-ਚਾਪ ਬਦਲਿਆ ਨਹੀਂ ਜਾ ਸਕਦਾ, ਇਸ ਲਈ ਝੂਠ ਨੂੰ ਹਜ਼ਾਰਾਂ ਅਜਿਹੀਆਂ ਰਸੀਦਾਂ ਨਾਲ ਮੇਲ ਖਾਂਦੇ ਰਹਿਣਾ ਪੈਂਦਾ ਹੈ ਜੋ ਉਹ ਕਦੇ ਮਿਟਾ ਨਹੀਂ ਸਕਦਾ। ਉਹਨਾਂ ਰਸੀਦਾਂ ਨੂੰ ਚੰਗੀ ਤਰ੍ਹਾਂ ਪੜ੍ਹਨਾ ਅਜੇ ਖੁੱਲ੍ਹਾ ਕੰਮ ਹੈ, ਅਤੇ ਅਸੀਂ ਇਹ ਸਾਫ਼ ਕਹਿੰਦੇ ਹਾਂ। ਵਹੀਆਂ ਦੋਵੇਂ ਹਾਲਤਾਂ ਵਿੱਚ ਸੱਚੀਆਂ ਰਹਿੰਦੀਆਂ ਹਨ।
ਇਹ ਕਿਵੇਂ ਇਕੱਠੇ ਫਿੱਟ ਹੁੰਦਾ ਹੈ
ਗਣਿਤ ਇੱਕ ਵੱਡੇ ਪੂਰੇ ਦਾ ਇੱਕ ਹਿੱਸਾ ਹੈ।
ਇਹ ਸਫ਼ਾ ਮਾਪ ਹੈ। ਇਕਸਾਰਤਾ ਰੈਚਟ ਉਹ ਤਰੀਕਾ ਹੈ ਜਿਸ ਨਾਲ ਮਾਪ ਨੂੰ ਕੰਮ ਵਿੱਚ ਲਾਇਆ ਜਾਂਦਾ ਹੈ। ਫੈੱਡਰੇਸ਼ਨ ਉਹ ਹੈ ਕਿਵੇਂ ਇਹ ਕਿਸੇ ਚੀਜ਼ ਵਿੱਚ ਬਦਲਦਾ ਹੈ ਜਿਸਨੂੰ ਬਹੁਤ ਸਾਰੇ ਸਿਸਟਮ ਸਾਂਝਾ ਕਰਦੇ ਹਨ। ਅਤੇ ਪੂਰੇ ਪ੍ਰੂਫ਼, ਇਸ ਤਰ੍ਹਾਂ ਲਿਖੇ ਕਿ ਕੰਪਿਊਟਰ ਇਨ੍ਹਾਂ ਨੂੰ ਲਾਈਨ ਦਰ ਲਾਈਨ ਜਾਂਚ ਸਕੇ, ਪੇਪਰ ਅਤੇ RATCHET ਰਿਪੋਜ਼ਿਟਰੀ ਵਿੱਚ ਹਨ।