ਅਲਫਾਪਰੂਫ ਕੋਡ ਅਤੇ ਸਿਗਨਲ: ਜਾਂਚ ਕੀਤੇ ਮਸ਼ੀਨ-ਕੋਡ ਸੁਰੱਖਿਆ ਪ੍ਰਮਾਣ ਅਤੇ ਭਰੋਸੇਯੋਗ ਧਾਰਨਾਵਾਂ

ਇਹ ਵੀਡੀਓ ਕੀ ਕਵਰ ਕਰਦਾ ਹੈ

• AI ਏਜੰਟ ਉਮੀਦਵਾਰ ਪ੍ਰਮਾਣ ਪੈਦਾ ਕਰਦੇ ਹਨ; ਲੀਨ ਦਾ ਕਰਨਲ ਜਾਂਚ ਕਰਦਾ ਹੈ ਕਿ ਕੀ ਉਹ ਮਨੁੱਖ ਦੁਆਰਾ ਪ੍ਰਵਾਨਿਤ ਰਸਮੀ ਦਾਅਵੇ ਨੂੰ ਸਥਾਪਿਤ ਕਰਦੇ ਹਨ।
• ਪ੍ਰਮਾਣਿਤ ਨਿਸ਼ਾਨਾ ਇੱਕ ਖਾਸ ਕੰਪਾਈਲ ਕੀਤਾ libsignal CLI ਹਾਰਨੈੱਸ ਹੈ, ਜਿਸ ਵਿੱਚ ਭਰੋਸੇਯੋਗ ਸਿਮੈਂਟਿਕਸ ਅਤੇ ਕ੍ਰਿਪਟੋਗ੍ਰਾਫਿਕ ਕੰਟਰੈਕਟਸ ਹਨ।
• ਕੰਪਾਈਲ ਕੀਤੀ ਗਈ ਬਾਈਨਰੀ ਨੂੰ ਸਾਬਤ ਕਰਨਾ ਉਸ ਬਾਈਨਰੀ ਦੀਆਂ ਦੱਸੀਆਂ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਲਈ ਰਸਟ ਕੰਪਾਈਲਰ ਨੂੰ ਭਰੋਸੇਯੋਗ ਅਧਾਰ ਤੋਂ ਹਟਾਉਂਦਾ ਹੈ।
• ਖੋਜਕਰਤਾਵਾਂ ਨੇ ਪਹਿਲਾਂ ਠੀਕ ਕੀਤੇ ਗਏ ਬੱਗਾਂ ਦੇ ਦੋ ਇਕੱਲੇ ਦੁਬਾਰਾ ਪੇਸ਼ ਕਰਨ ਦੀ ਰਿਪੋਰਟ ਦਿੱਤੀ ਹੈ ਜੋ ਉਹਨਾਂ ਦੇ ਪ੍ਰਤੀਕਾਤਮਕ ਸੁਰੱਖਿਆ ਥਿਊਰਮ ਦੀ ਉਲੰਘਣਾ ਕਰਦੇ ਹਨ।
• ਤੁਲਨਾਕਾਰ ਪ੍ਰਮਾਣਿਤ ਨਿਸ਼ਾਨੇ ਅਤੇ ਹਰ ਨਿਰਭਰ ਪਰਿਭਾਸ਼ਾ ਦੀ ਜਾਂਚ ਇੱਕ ਸੁਰੱਖਿਅਤ ਪ੍ਰਵਾਨਿਤ ਨਿਰਧਾਰਨ ਦੇ ਵਿਰੁੱਧ ਕਰਦਾ ਹੈ; ਸੋਧਾਂ ਇੱਕ ਵੱਖਰੀ ਸਮੀਖਿਆ ਕੀਤੀ ਪ੍ਰਕਿਰਿਆ ਵਿੱਚੋਂ ਲੰਘਦੀਆਂ ਹਨ।

ਅਨੁਵਾਦਿਤ ਟ੍ਰਾਂਸਕ੍ਰਿਪਟ

ਮੂਲ ਅੰਗਰੇਜ਼ੀ ਬਿਰਤਾਂਤ ਤੋਂ ਅਨੁਵਾਦ ਕੀਤਾ ਗਿਆ। ਉਪਲਬਧ ਆਡੀਓ ਅਤੇ ਕੈਪਸ਼ਨ YouTube ਦੁਆਰਾ ਨਿਯੰਤਰਿਤ ਕੀਤੇ ਜਾਂਦੇ ਹਨ।

AI ਸੁਰੱਖਿਆ ਪ੍ਰਮਾਣ ਦੀ ਜਾਂਚ ਕੌਣ ਕਰਦਾ ਹੈ?

0:00 ਇੱਕ AI ਸੁਰੱਖਿਆ ਆਡਿਟ ਅਜੇ ਵੀ ਇੱਕ ਚੈਟਬੋਟ 'ਤੇ ਭਰੋਸਾ ਕਰਨ ਵਰਗਾ ਲੱਗਦਾ ਹੈ। ਗੂਗਲ ਦਾ ਨਵਾਂ ਸਿਗਨਲ ਨਤੀਜਾ ਇੱਕ ਵੱਖਰੇ ਕਰਨਲ ਦੁਆਰਾ ਗਣਿਤਿਕ ਪ੍ਰਮਾਣਾਂ ਨਾਲ ਆਉਂਦਾ ਹੈ ਜਾਂਚ ਕਰਦਾ ਹੈ। ਇਸ ਵੀਡੀਓ ਵਿੱਚ, ਗੂਗਲ ਨੇ ਕੀ ਸਾਬਤ ਕੀਤਾ? ਅਤੇ ਉਹ ਏਜੰਟ ਨੂੰ ਗੋਲਪੋਸਟਾਂ ਨੂੰ ਹਿਲਾਉਣ ਤੋਂ ਕਿਵੇਂ ਰੋਕਦੇ ਹਨ? ਇਹ ਉਪਯੋਗੀ ਜਵਾਬ ਹੈ। ਮਾਡਲ ਉਮੀਦਵਾਰ ਪ੍ਰਮਾਣ ਲਿਖਦੇ ਹਨ, ਅਤੇ ਲੀਨ ਪ੍ਰਮਾਣਾਂ ਦੀ ਜਾਂਚ ਇੱਕ ਮਨੁੱਖੀ-ਪ੍ਰਵਾਨਿਤ ਦਾਅਵੇ ਦੇ ਵਿਰੁੱਧ ਕਰਦਾ ਹੈ ਜੋ ਚੁਣੇ ਹੋਏ ਕੰਪਾਈਲ ਕੀਤੇ ਕੋਡ ਬਾਰੇ ਹੈ। ਮਨੁੱਖ ਅਜੇ ਵੀ ਦਾਅਵੇ ਅਤੇ ਧਾਰਨਾਵਾਂ ਦੇ ਮਾਲਕ ਹਨ।

0:21 ਤੁਸੀਂ ਮਾਡਲ ਦੀ ਜਿੱਤ ਭਾਸ਼ਣ 'ਤੇ ਵਿਸ਼ਵਾਸ ਕੀਤੇ ਬਿਨਾਂ ਨਤੀਜੇ ਦੀ ਜਾਂਚ ਕਰ ਸਕਦੇ ਹੋ। ਇੱਕ ਵੱਖਰੀ ਜਾਂਚ ਚੁੱਪਚਾਪ ਸਵਾਲ ਬਦਲਣ ਨੂੰ ਫੜ ਲੈਂਦੀ ਹੈ। ਅਸੀਂ ਇਸਨੂੰ ਪਰਿਭਾਸ਼ਾਵਾਂ ਤੱਕ ਲੈ ਜਾਵਾਂਗੇ। ਮੰਗਲਵਾਰ, ਦਸ ਨਵੰਬਰ ਹੈ, ਅਤੇ ਇਹ The Daily Diff ਹੈ। AlphaProof Code ਗੂਗਲ ਦਾ ਇੱਕ ਢਾਂਚਾ ਹੈ ਜੋ ਸਾਫਟਵੇਅਰ ਨਿਰਧਾਰਨ ਲਿਖਣ ਲਈ ਮਨੁੱਖੀ ਮਾਰਗਦਰਸ਼ਨ ਨਾਲ ਅਤੇ AI ਏਜੰਟਾਂ ਨਾਲ ਜਾਂਚ ਕੀਤੇ ਪ੍ਰਮਾਣ ਪੈਦਾ ਕਰਨ ਲਈ ਹੈ। ਇਹ ਅਧਿਐਨ ਇੱਕ ਖਾਸ ਕਮਾਂਡ-ਲਾਈਨ ਪ੍ਰੋਗਰਾਮ ਦੇ ਅੰਦਰ, ਸਿਗਨਲ ਦੇ ਮੈਸੇਜਿੰਗ ਪ੍ਰੋਟੋਕੋਲ ਨੂੰ ਲਾਗੂ ਕਰਨ ਵਾਲੀ ਰਸਟ ਲਾਇਬ੍ਰੇਰੀ, libsignal ਨੂੰ ਨਿਸ਼ਾਨਾ ਬਣਾਉਂਦਾ ਹੈ।

0:45 ਗੂਗਲ ਨੇ ਅੱਜ ਕੰਮ ਦਾ ਐਲਾਨ ਕੀਤਾ। ਇਸਦੇ ਪੇਪਰ ਵਿੱਚ ਕਿਹਾ ਗਿਆ ਹੈ ਕਿ ਪੰਜ ਖੋਜਕਰਤਾਵਾਂ ਨੇ ਚਾਰ ਹਫ਼ਤਿਆਂ ਤੋਂ ਵੱਧ ਕੰਮ ਕੀਤਾ। ਏਜੰਟਾਂ ਨੇ ਪ੍ਰਮਾਣ ਲਿਖੇ, ਜਦੋਂ ਕਿ ਮਨੁੱਖਾਂ ਨੇ ਆਪਣਾ ਜ਼ਿਆਦਾਤਰ ਯਤਨ ਨਿਰਧਾਰਨ 'ਤੇ ਖਰਚ ਕੀਤਾ। ਲੋੜਾਂ ਨੇ ਹੋਰ ਵੀ ਮਹਿੰਗੀਆਂ ਮੀਟਿੰਗਾਂ ਬਣਨ ਦਾ ਇੱਕ ਤਰੀਕਾ ਲੱਭ ਲਿਆ ਹੈ। ਨਿਰਧਾਰਨ ਦੱਸਦਾ ਹੈ ਕਿ ਪ੍ਰੋਗਰਾਮ ਨੂੰ ਕੀ ਕਰਨਾ ਚਾਹੀਦਾ ਹੈ,

ਇੱਕ ਦਾਅਵਾ ਪ੍ਰਮਾਣ ਨਿਸ਼ਾਨਾ ਕਿਵੇਂ ਬਣਦਾ ਹੈ?

0:59 ਇੱਕ ਹਮਲਾਵਰ ਕੀ ਨਿਯੰਤਰਿਤ ਕਰਦਾ ਹੈ, ਅਤੇ ਦਲੀਲ ਨੂੰ ਕਿਹੜੀਆਂ ਧਾਰਨਾਵਾਂ ਦੀ ਲੋੜ ਹੈ। ਸਮੀਖਿਅਕ ਪੁੱਛਦੇ ਹਨ ਕਿ ਕੀ ਇਹ ਉਹ ਸੁਰੱਖਿਆ ਨੂੰ ਫੜਦਾ ਹੈ ਜਿਸਦੀ ਲੋਕ ਪਰਵਾਹ ਕਰਦੇ ਹਨ। ਇੱਕ ਕਮਜ਼ੋਰ ਸਵਾਲ ਦਾ ਇੱਕ ਸੁੰਦਰਤਾ ਨਾਲ ਜਾਂਚਿਆ ਗਿਆ ਜਵਾਬ ਉਸ ਸਵਾਲ ਨੂੰ ਬਰਕਰਾਰ ਰੱਖਦਾ ਹੈ। ਟੀਮ ਸਿਗਨਲ ਦੇ ਹੈਂਡਸ਼ੇਕ ਅਤੇ ਇਸਦੀ ਮੈਸੇਜ-ਕੀ ਰੈਚੇਟ ਬਾਰੇ ਪਹਿਲਾਂ ਦੇ ਖੋਜ 'ਤੇ ਅਧਾਰਤ ਹੈ। ਰਸਮੀ ਵਿਸ਼ਲੇਸ਼ਣਾਂ ਨੇ ਪਹਿਲਾਂ ਹੀ ਉਹਨਾਂ ਡਿਜ਼ਾਈਨਾਂ ਦਾ ਅਧਿਐਨ ਕੀਤਾ ਹੈ। ਗੂਗਲ ਦਾ ਦਾਅਵਾ ਉਹਨਾਂ ਦੇ ਸੁਰੱਖਿਆ ਦਲੀਲਾਂ ਨੂੰ ਇੱਕ ਅਣਸੋਧਿਤ ਉਤਪਾਦਨ ਲਾਇਬ੍ਰੇਰੀ ਦੇ ਕੰਪਾਈਲ ਕੀਤੇ ਲਾਗੂਕਰਨ ਨਾਲ ਜੋੜਦਾ ਹੈ, ਜਿੱਥੇ ਡਿਜ਼ਾਈਨ ਨੂੰ ਅਸਲ ਕੋਡ ਨਾਲ ਸੰਪਰਕ ਬਚਾਉਣਾ ਪੈਂਦਾ ਹੈ। ਸਿਗਨਲ ਦੇ ਮੁੱਖ ਤਕਨਾਲੋਜੀ ਅਫਸਰ, ਐਰਨ ਕ੍ਰੇਟ,

1:27 ਪਹਿਲਾਂ ਦੇ ਪ੍ਰਮਾਣਿਕਤਾ ਦੇ ਛੋਟੇ ਦਾਇਰਿਆਂ ਤੋਂ ਪਰੇ ਵਿਸਥਾਰ ਦਾ ਵਰਣਨ ਕਰਦੇ ਹਨ। ਲਾਗੂਕਰਨ ਦੇ ਵੇਰਵਿਆਂ ਵਿੱਚ ਆਊਟ-ਆਫ-ਆਰਡਰ ਸੁਨੇਹੇ ਅਤੇ ਦੇਰੀ ਵਾਲੇ ਸੁਨੇਹਿਆਂ ਲਈ ਪੁਰਾਲੇਖਬੱਧ ਸੈਸ਼ਨ ਸ਼ਾਮਲ ਹਨ। ਅਸਲ ਸਾਫਟਵੇਅਰ ਉਹਨਾਂ ਰਸੀਦਾਂ ਨੂੰ ਰੱਖਦਾ ਹੈ ਜੋ ਤੁਹਾਡੇ ਸ਼ਾਨਦਾਰ ਡਾਇਗ੍ਰਾਮ ਨੇ ਸੁੱਟ ਦਿੱਤੀਆਂ ਸਨ। ਖੋਜਕਰਤਾ ਅਣਸੋਧਿਤ ਰਸਟ ਲਾਇਬ੍ਰੇਰੀ ਨੂੰ ਮਿਆਰੀ

ਕੰਪਾਈਲ ਕੀਤੀ ਗਈ ਬਾਈਨਰੀ ਨੂੰ ਕਿਉਂ ਸਾਬਤ ਕਰੀਏ?

1:41 ਕੰਪਾਈਲਰ ਨਾਲ ਇੱਕ Arm ਸਿਕਸਟੀ-ਫੋਰ ਲੀਨਕਸ ਐਗਜ਼ੀਕਿਊਟੇਬਲ ਵਿੱਚ ਕੰਪਾਈਲ ਕਰਦੇ ਹਨ। ਉਹਨਾਂ ਦੇ ਥਿਊਰਮ ਇੱਕ ਰਸਮੀ ਨਿਰਦੇਸ਼ ਮਾਡਲ ਦੀ ਵਰਤੋਂ ਕਰਕੇ ਉਸ ਬਾਈਨਰੀ ਦਾ ਵਰਣਨ ਕਰਦੇ ਹਨ, ਸਰੋਤ ਅਤੇ ਅਨੁਕੂਲਿਤ ਮਸ਼ੀਨ ਕੋਡ ਦੇ ਵਿਚਕਾਰਲੇ ਅੰਤਰਾਲ ਨੂੰ ਪਾਰ ਕਰਦੇ ਹੋਏ। ਇੱਕ ਕੰਪਾਈਲਰ ਗਲਤੀ ਜੋ ਇੱਕ ਦੱਸੀ ਗਈ ਵਿਸ਼ੇਸ਼ਤਾ ਨੂੰ ਤੋੜਦੀ ਹੈ, ਉਸਦੇ ਥਿਊਰਮ ਨੂੰ ਗਲਤ ਬਣਾ ਦੇਵੇਗੀ। ਇਸ ਲਈ ਕੰਪਾਈਲਰ ਇਸ ਬਾਈਨਰੀ ਲਈ ਭਰੋਸੇਯੋਗ ਅਧਾਰ ਛੱਡ ਦਿੰਦਾ ਹੈ। ਤੁਸੀਂ ਅਜੇ ਵੀ ਨਿਰਦੇਸ਼ ਮਾਡਲ ਅਤੇ ਲੀਨ ਦੇ ਚੈਕਰ 'ਤੇ ਭਰੋਸਾ ਕਰਦੇ ਹੋ। ਭਰੋਸੇ ਦੀ ਸੀਮਾ ਬਦਲ ਗਈ ਹੈ, ਅਤੇ ਇਸਦਾ ਇੱਕ ਪਤਾ ਹੈ। ਲਗਭਗ ਛੇ ਅਤੇ ਅੱਧਾ ਮਿਲੀਅਨ ਲਾਈਨਾਂ ਦਾ ਜਾਂਚਿਆ ਗਿਆ ਪ੍ਰਮਾਣ ਲਗਭਗ ਛੱਬੀ

2:06 ਹਜ਼ਾਰ ਭਰੋਸੇਯੋਗ ਨਿਰਧਾਰਨ ਅਤੇ ਨਿਰਦੇਸ਼-ਸਿਮੈਂਟਿਕਸ ਲਾਈਨਾਂ 'ਤੇ ਅਧਾਰਤ ਹੈ। ਇਹ ਆਰਟੀਫੈਕਟ ਗਿਣਤੀਆਂ ਹਨ। ਉਹਨਾਂ ਨੂੰ ਖੁਫੀਆ ਅੰਕਾਂ ਵਜੋਂ ਮੰਨਣਾ ਡਿਵੈਲਪਰਾਂ ਨੂੰ ਉਹਨਾਂ ਦੇ ਨੋਡ ਮੋਡਿਊਲ ਫੋਲਡਰ ਦੇ ਆਕਾਰ ਦੁਆਰਾ ਦਰਜਾ ਦੇਣ ਵਰਗਾ ਹੈ।

ਕਿਹੜੀਆਂ ਸੁਰੱਖਿਆ ਵਿਸ਼ੇਸ਼ਤਾਵਾਂ ਨੇ ਲਾਗੂਕਰਨ ਦੇ ਅੰਤਰਾਲ ਨੂੰ ਪਾਰ ਕੀਤਾ?

2:16 ਦਲੀਲਾਂ ਸੁਨੇਹਾ ਗੁਪਤਤਾ ਅਤੇ ਪ੍ਰਮਾਣਿਕਤਾ ਨੂੰ ਕਵਰ ਕਰਦੀਆਂ ਹਨ, ਦੱਸੀਆਂ ਗਈਆਂ ਮਾਡਲਾਂ ਦੇ ਤਹਿਤ ਫਾਰਵਰਡ ਗੁਪਤਤਾ ਅਤੇ ਸਮਝੌਤੇ ਤੋਂ ਬਾਅਦ ਦੀ ਸੁਰੱਖਿਆ ਦੇ ਨਾਲ। ਉਹ ਪਿਛਲੇ ਦੋ ਚੋਰੀ ਹੋਈਆਂ-ਕੁੰਜੀਆਂ ਦੇ ਨੁਕਸਾਨ ਅਤੇ ਤਾਜ਼ਾ ਐਕਸਚੇਂਜਾਂ ਤੋਂ ਬਾਅਦ ਰਿਕਵਰੀ ਦੀਆਂ ਸੀਮਾਵਾਂ ਦਾ ਵਰਣਨ ਕਰਦੇ ਹਨ। ਹਰ ਗਾਰੰਟੀ ਦੇ ਹਮਲਾਵਰ ਅਤੇ ਸੈਸ਼ਨ 'ਤੇ ਸ਼ਰਤਾਂ ਹਨ। ਕ੍ਰਿਪਟੋਗ੍ਰਾਫਿਕ ਪ੍ਰਿਮਿਟਿਵ ਭਰੋਸੇਯੋਗ ਕੰਟਰੈਕਟਸ ਦੇ ਪਿੱਛੇ ਬੈਠੇ ਹਨ। ਪ੍ਰਮਾਣ ਮੰਨਦਾ ਹੈ ਕਿ ਉਹ ਰੁਟੀਨ ਨਿਰਧਾਰਤ ਅਨੁਸਾਰ ਵਿਵਹਾਰ ਕਰਦੇ ਹਨ ਅਤੇ ਕ੍ਰਿਪਟੋਗ੍ਰਾਫਿਕ ਸੁਰੱਖਿਆ ਧਾਰਨਾਵਾਂ 'ਤੇ ਨਿਰਭਰ ਕਰਦਾ ਹੈ। ਇੱਕ ਪ੍ਰਮਾਣ ਕ੍ਰਿਪਟੋਗ੍ਰਾਫੀ ਨੂੰ ਆਦਰਸ਼ ਬਣਾਉਂਦਾ ਹੈ; ਦੂਜਾ ਹਮਲਾਵਰ ਦੀ ਸਫਲਤਾ ਦੀਆਂ ਸੰਭਾਵਨਾਵਾਂ ਬਾਰੇ ਤਰਕ ਕਰਦਾ ਹੈ।

2:42 ਦੋਵਾਂ 'ਤੇ ਉਹਨਾਂ ਦ੍ਰਿਸ਼ਾਂ 'ਤੇ ਪਾਬੰਦੀਆਂ ਹਨ ਜੋ ਉਹ ਕਵਰ ਕਰਦੇ ਹਨ। ਪੁੱਛੋ ਕਿ ਕਿਹੜਾ ਬਿਲਡ, ਕਿਹੜੀ ਵਿਸ਼ੇਸ਼ਤਾ, ਅਤੇ ਕਿਹੜੀਆਂ ਧਾਰਨਾਵਾਂ। ਇਹ ਨਤੀਜਾ ਖੋਜਕਰਤਾਵਾਂ ਦੇ ਕਮਾਂਡ-ਲਾਈਨ ਹਾਰਨੈੱਸ ਨਾਲ ਸਬੰਧਤ ਹੈ। ਸਮੂਹ ਮੈਸੇਜਿੰਗ ਭਵਿੱਖ ਦਾ ਕੰਮ ਹੈ, ਅਤੇ ਕੰਪਿਊਟੇਸ਼ਨਲ ਮਾਡਲ ਮਲਟੀ-ਡਿਵਾਈਸ ਸਥਿਤੀ ਨੂੰ ਬਾਹਰ ਕੱਢਦਾ ਹੈ। ਹਰ ਸਿਗਨਲ ਇੰਸਟਾਲੇਸ਼ਨ ਨੂੰ ਬੱਗ-ਮੁਕਤ ਕਹਿਣਾ ਥਿਊਰਮ ਤੋਂ ਬਾਹਰ ਭਟਕਦਾ ਹੈ। ਖੋਜਕਰਤਾਵਾਂ ਨੇ ਪਹਿਲਾਂ ਠੀਕ ਕੀਤੇ ਗਏ ਦੋ ਸਿਗਨਲ ਬੱਗਾਂ ਨੂੰ

ਕੀ ਨਿਰਧਾਰਨ ਟੁੱਟੇ ਹੋਏ ਕੋਡ ਨੂੰ ਰੱਦ ਕਰ ਸਕਦਾ ਹੈ?

3:02 ਵੱਖਰੀਆਂ ਕਾਪੀਆਂ ਵਿੱਚ ਦੁਬਾਰਾ ਪੇਸ਼ ਕੀਤਾ ਅਤੇ ਉਹਨਾਂ ਨੂੰ ਕੰਪਾਈਲ ਕੀਤਾ। ਜਾਂਚ ਕੀਤੇ ਪ੍ਰਮਾਣਾਂ ਨੇ ਦਿਖਾਇਆ ਕਿ ਉਹ ਬਾਈਨਰੀਆਂ ਪ੍ਰਤੀਕਾਤਮਕ ਸੁਰੱਖਿਆ ਥਿਊਰਮ ਦੀ ਉਲੰਘਣਾ ਕਰਦੀਆਂ ਹਨ। ਇਸ ਨਾਲ ਜਾਂਚ ਕੀਤੀ ਗਈ ਕਿ ਕੀ ਨਿਰਧਾਰਨ ਅਸਲ ਟੁੱਟੇ ਹੋਏ ਲਾਗੂਕਰਨਾਂ ਨੂੰ ਰੱਦ ਕਰ ਸਕਦਾ ਹੈ। ਤੁਹਾਡੇ ਹਰੇ ਚੈਕਮਾਰਕ ਨੂੰ ਇੱਕ ਲਾਲ ਟੈਸਟ ਦੀ ਲੋੜ ਹੈ। ਗੂਗਲ ਜਾਂਚ ਨਿਰਦੇਸ਼ਾਂ ਦੇ ਨਾਲ ਨਿਰਧਾਰਨ ਅਤੇ ਪ੍ਰਮਾਣ ਪ੍ਰਕਾਸ਼ਿਤ ਕਰਦਾ ਹੈ। ਰਿਪੋਜ਼ਟਰੀ ਕਹਿੰਦੀ ਹੈ ਕਿ ਇੱਕ ਸਾਫ਼ ਬਿਲਡ ਵਿੱਚ ਘੰਟੇ ਅਤੇ ਕਾਫ਼ੀ ਮੈਮੋਰੀ ਲੱਗਦੀ ਹੈ। ਲੈਪਟਾਪ 'ਤੇ ਘੋਸ਼ਣਾ ਨੂੰ ਪੜ੍ਹਨਾ ਕਾਫ਼ੀ ਸੌਖਾ ਹੈ। ਹਾਰਡਵੇਅਰ ਮਾਡਲ ਅਤੇ ਭਰੋਸੇਯੋਗ ਕੰਟਰੈਕਟਸ ਨੂੰ ਅਜੇ ਵੀ ਸਮੀਖਿਆ ਦੀ ਲੋੜ ਹੈ।

3:26 ਮੈਂ ਇਸ ਐਪੀਸੋਡ ਲਈ ਵਿਸ਼ਾਲ ਆਰਟੀਫੈਕਟ ਨੂੰ ਦੁਬਾਰਾ ਨਹੀਂ ਬਣਾਇਆ ਹੈ। ਅਸੀਂ ਪ੍ਰਕਾਸ਼ਿਤ ਨਤੀਜੇ ਅਤੇ ਇਸ ਦੀਆਂ ਸੀਮਾਵਾਂ ਦੀ ਰਿਪੋਰਟ ਕਰ ਰਹੇ ਹਾਂ। ਬਾਹਰੀ ਲੋਕਾਂ ਕੋਲ ਇਸਦੀ ਜਾਂਚ ਕਰਨ ਦਾ ਇੱਕ ਮਾਰਗ ਹੈ, ਜੋ ਮੇਰੇ ਲਈ ਕਿਸੇ ਹੋਰ AI ਜਿੱਤ ਦੇ ਚੱਕਰ ਨਾਲੋਂ ਜ਼ਿਆਦਾ ਮਹੱਤਵਪੂਰਨ ਹੈ। ਹੁਣ ਜਾਲ।

ਕੀ ਇੱਕ ਸਹੀ ਪ੍ਰਮਾਣ ਗਲਤ ਸਵਾਲ ਦਾ ਜਵਾਬ ਦੇ ਸਕਦਾ ਹੈ?

3:36 ਲੀਨ ਇੱਕ ਅਜਿਹੇ ਬਿਆਨ ਦੇ ਸਹੀ ਪ੍ਰਮਾਣ ਨੂੰ ਸਵੀਕਾਰ ਕਰ ਸਕਦਾ ਹੈ ਜੋ ਲਗਭਗ ਕੁਝ ਵੀ ਨਹੀਂ ਮੰਗਦਾ। ਅਸੰਭਵ ਧਾਰਨਾਵਾਂ ਇੱਕ ਥਿਊਰਮ ਨੂੰ ਨਿਰਾਰਥਕ ਬਣਾ ਸਕਦੀਆਂ ਹਨ। ਸੁਰਖੀ ਥਿਊਰਮ ਦੇ ਹੇਠਾਂ ਦੱਬੀ ਇੱਕ ਪਰਿਭਾਸ਼ਾ ਨੂੰ ਬਦਲਣਾ ਟੀਚੇ ਨੂੰ ਕਮਜ਼ੋਰ ਕਰ ਸਕਦਾ ਹੈ। ਪੇਪਰ ਇਸਦੇ ਵਿਰੁੱਧ ਜਾਂਚਾਂ ਨੂੰ ਡਿਜ਼ਾਈਨ ਕਰਦਾ ਹੈ। ਗੇਟਕੀਪਰ ਇੱਕ ਰੱਖੀ ਗਈ ਪ੍ਰਵਾਨਿਤ ਨਿਰਧਾਰਨ ਰੱਖਦਾ ਹੈ ਜਿਸਨੂੰ ਪ੍ਰਮਾਣ ਏਜੰਟ ਲਿਖ ਨਹੀਂ ਸਕਦੇ। ਉਹ ਇੱਕ ਵੱਖਰੀ ਸੋਧ ਪ੍ਰਕਿਰਿਆ ਦੁਆਰਾ ਸੁਧਾਰਾਂ ਦਾ ਪ੍ਰਸਤਾਵ ਕਰ ਸਕਦੇ ਹਨ। ਸੁਰੱਖਿਆ ਕਮਜ਼ੋਰੀ ਨੂੰ ਸੰਭਾਵੀ ਬੱਗ ਵਜੋਂ ਵਧਾਇਆ ਜਾਂਦਾ ਹੈ। ਪ੍ਰਮਾਣਕ ਦੀ ਸਫਲਤਾ ਦੀ ਘੋਸ਼ਣਾ ਦੀ ਇੱਥੇ ਕੋਈ ਅਥਾਰਟੀ ਨਹੀਂ ਹੈ।

4:00 ਮਨੁੱਖ ਭਰੋਸੇਯੋਗ ਧਾਰਨਾਵਾਂ ਵਿੱਚ ਤਬਦੀਲੀਆਂ ਦਾ ਨਿਰਣਾ ਕਰਦੇ ਹਨ, ਸਿੱਧੇ ਤੌਰ 'ਤੇ ਜਾਂ ਉਹਨਾਂ ਦੀ ਨੀਤੀ ਦੁਆਰਾ, ਅਤੇ ਹਰ ਮੁਹਿੰਮ ਤੋਂ ਬਾਅਦ ਸੋਧਾਂ ਦੀ ਸਮੀਖਿਆ ਕਰਦੇ ਹਨ। ਮਾਹਰ ਦਾ ਫੈਸਲਾ ਅਜੇ ਵੀ ਜ਼ਿੰਮੇਵਾਰੀ ਅਧੀਨ ਹੈ। ਏਜੰਟ ਇੱਕ ਵੱਖਰੀ ਅਸਾਈਨਮੈਂਟ ਦੀ ਬੇਨਤੀ ਕਰ ਸਕਦਾ ਹੈ। ਇਹ ਆਪਣੇ ਆਪ ਨੂੰ ਪਾਸਿੰਗ ਗ੍ਰੇਡ ਨਹੀਂ ਦੇ ਸਕਦਾ।

ਚਲਦੇ ਗੋਲਪੋਸਟਾਂ ਨੂੰ ਕੀ ਫੜਦਾ ਹੈ?

4:13 ਇਹ ਵਾਅਦਾ ਕੀਤੀ ਗਈ ਜਾਂਚ ਹੈ। ਲੀਨ ਦਾ ਤੁਲਨਾਕਾਰ ਥਿਊਰਮ ਅਤੇ ਹਰ ਪਰਿਭਾਸ਼ਾ ਜਿਸ 'ਤੇ ਇਹ ਨਿਰਭਰ ਕਰਦਾ ਹੈ, ਦੀ ਤੁਲਨਾ ਉਸ ਸੁਰੱਖਿਅਤ ਪ੍ਰਵਾਨਿਤ ਕਾਪੀ ਨਾਲ ਕਰਦਾ ਹੈ। ਇਹ ਪ੍ਰਵਾਨਿਤ ਐਕਸਿਓਮਜ਼ ਦੀ ਵੀ ਜਾਂਚ ਕਰਦਾ ਹੈ ਅਤੇ ਇੱਕ ਨਵੇਂ ਕਰਨਲ ਵਿੱਚ ਪ੍ਰਮਾਣ ਨੂੰ ਦੁਬਾਰਾ ਚਲਾਉਂਦਾ ਹੈ। ਇਸ ਲਈ ਇੱਕ ਸਹਾਇਕ ਪਰਿਭਾਸ਼ਾ ਨੂੰ ਚੁੱਪਚਾਪ ਕਮਜ਼ੋਰ ਕਰਨਾ ਤੁਲਨਾ ਕੀਤੀ ਜਾ ਰਹੀ ਚੀਜ਼ ਨੂੰ ਬਦਲਦਾ ਹੈ। ਇੱਕ ਸਵੀਕਾਰ ਕੀਤੇ ਪ੍ਰਮਾਣ ਨੂੰ ਪ੍ਰਵਾਨਿਤ ਨਿਸ਼ਾਨੇ ਨੂੰ ਸਥਾਪਿਤ ਕਰਨਾ ਪੈਂਦਾ ਹੈ। ਇਹ ਅਜੇ ਵੀ ਮਨੁੱਖਾਂ ਨੂੰ ਇੱਕ ਮਜ਼ਬੂਤ ਨਿਸ਼ਾਨਾ ਅਤੇ ਇਮਾਨਦਾਰ ਧਾਰਨਾਵਾਂ ਚੁਣਨ ਲਈ ਜ਼ਿੰਮੇਵਾਰ ਛੱਡਦਾ ਹੈ। ਤੁਹਾਡੇ ਆਪਣੇ AI ਕਾਰਜਪ੍ਰਵਾਹ ਲਈ, ਸਵੀਕ੍ਰਿਤੀ ਮਾਪਦੰਡਾਂ ਨੂੰ

4:37 ਕਰਮਚਾਰੀ ਦੀਆਂ ਸੰਪਾਦਨ ਅਨੁਮਤੀਆਂ ਤੋਂ ਬਾਹਰ ਰੱਖੋ ਅਤੇ ਪ੍ਰਸਤਾਵਿਤ ਤਬਦੀਲੀਆਂ ਦੀ ਵੱਖਰੇ ਤੌਰ 'ਤੇ ਸਮੀਖਿਆ ਕਰੋ। ਗੂਗਲ ਦਾ ਨਤੀਜਾ ਉਸ ਵੱਖਰੇਪਨ ਨੂੰ ਠੋਸ ਬਣਾਉਂਦਾ ਹੈ। ਪ੍ਰਮਾਣ ਲੇਖਕ ਕੰਮ ਕਰਦਾ ਹੈ; ਜਾਂਚ ਸੀਮਾ ਫੈਸਲਾ ਕਰਦੀ ਹੈ ਕਿ ਕੀ ਇਹ ਗਿਣਿਆ ਜਾਂਦਾ ਹੈ। ਜੇ ਤੁਸੀਂ ਇਹ ਸੁਣਨ ਦੀ ਬਜਾਏ ਪੜ੍ਹਨਾ ਚਾਹੁੰਦੇ ਹੋ, ਤਾਂ ਹਰ ਸਵੇਰ ਤੁਹਾਡੇ ਇਨਬਾਕਸ ਵਿੱਚ The Daily Diff ਮੁਫਤ ਆਉਂਦਾ ਹੈ the daily diff dot dev 'ਤੇ, ਲਿੰਕ ਹੇਠਾਂ। ਸੋ ਅੱਜ ਦਾ ਫੈਸਲਾ ਹੈ SHIP IT।

ਕੀ ਮੈਂ ਇਸ ਪ੍ਰਮਾਣ ਕਾਰਜਪ੍ਰਵਾਹ ਨੂੰ ਜਾਰੀ ਕਰਾਂਗਾ?

4:54 ਮੈਂ ਇਸ ਜਾਂਚ ਕੀਤੇ-ਪ੍ਰਮਾਣ ਕਾਰਜਪ੍ਰਵਾਹ ਨੂੰ ਜਾਰੀ ਕਰਾਂਗਾ ਕਿਉਂਕਿ ਪ੍ਰਵਾਨਿਤ ਦਾਅਵਾ ਜਵਾਬ ਪੈਦਾ ਕਰਨ ਵਾਲੇ ਏਜੰਟ ਤੋਂ ਵੱਖਰਾ ਰਹਿੰਦਾ ਹੈ। ਮੈਂ ਹਰ ਨਤੀਜੇ ਨਾਲ ਦਾਇਰਾ ਅਤੇ ਧਾਰਨਾਵਾਂ ਨੂੰ ਜੋੜ ਕੇ ਰੱਖਾਂਗਾ। ਸਬਸਕ੍ਰਾਈਬ ਕਰੋ, ਘੰਟੀ ਦਬਾਓ, ਅਤੇ ਟਿੱਪਣੀਆਂ ਵਿੱਚ ਮੈਨੂੰ ਦੱਸੋ ਕਿ ਕੀ ਤੁਸੀਂ ਇਸਨੂੰ ਵੱਖਰੇ ਢੰਗ ਨਾਲ ਮੋਹਰ ਲਗਾਈ ਹੁੰਦੀ। ਅਤੇ ਅੱਜ ਲਈ ਇਹੋ ਹੈ The Daily Diff। ਮੈਂ Axrisi ਤੋਂ ਨਿਕੋ ਹਾਂ। ਜ਼ਿੰਮੇਵਾਰੀ ਨਾਲ ਮਰਜ ਕਰੋ।

ਸਰੋਤ

1. AlphaProof Code: Verifying Signal's Security at the Machine-Code Level — technical scope, trusted base and gatekeepingSwarat Chaudhuri and colleagues / Google DeepMind and Google
2. Introducing AlphaProof Code — November 10 announcement and attributed Signal CTO responsePushmeet Kohli and Swarat Chaudhuri / Google DeepMind
3. Code-verification repository — initial commit, public artifacts and checking instructionsGoogle DeepMind / GitHub
4. The PQXDH Key Agreement Protocol — older official specification and prior-analysis contextEhren Kret and Rolfe Schmidt / Signal
5. The Double Ratchet Algorithm — Triple Ratchet sectionTrevor Perrin, Moxie Marlinspike and Rolfe Schmidt / Signal
6. Google DeepMind leadership — Demis Hassabis's relevant lab identityGoogle DeepMind
7. Demis Hassabis in 2025 — authentic portrait, cropped/resized/compressed and unflipped; no background removal or generated expression/detail; lab identity only, no authorship, proof writing, current reaction or endorsementChristopher P. Michel / Cmichel67 / Wikimedia Commons
8. Portrait licence — CC BY-SA 4.0; attribution, adaptation disclosure and ShareAlikeCreative Commons
9. Expanding Brain template — cropped/captioned artifact-count satire, brief transformed <=2s commentary; no benchmark, hosting licence, legal-clearance or blanket reuse claimImgflip / user-uploaded meme template
10. Tom and Jerry — Boomerang Official actual animated reaction, silent resized/captioned 1.875s excerpt; brief transformed process commentary, no actual researcher or executive reaction, hosting licence, legal-clearance or blanket reuse claimBoomerang Official / GIPHY / Tom and Jerry
11. Boomerang GIF source link — uploader-provided provenanceBoomerang
12. AlphaProof Code discussion — attention context, anonymous opinions excluded from factual proof claimsHacker News
13. Code-verification licence — Apache 2.0 for Google code, third-party licences retainedGoogle / GitHub