Axiom Math, ਇੱਕ ਸੈਨ ਫ੍ਰਾਂਸਿਸਕੋ-ਅਧਾਰਤ ਕੰਪਨੀ ਜੋ ਗਣਿਤ ਲਈ AI ਸਿਸਟਮਾਂ ਦਾ ਨਿਰਮਾਣ ਕਰਦੀ ਹੈ, ਨੇ ਗਣਿਤ ਦੇ ਇਤਿਹਾਸ ਵਿੱਚ ਸਭ ਤੋਂ ਲੰਬੇ ਸਬੂਤ ਵਜੋਂ ਵਿਆਪਕ ਤੌਰ 'ਤੇ ਵਰਣਿਤ, ਫਿਨਾਈਟ ਸਧਾਰਨ ਸਮੂਹਾਂ (CFSG) ਦੇ ਵਰਗੀਕਰਣ ਦਾ ਪਹਿਲਾ ਪੂਰਾ ਕੰਪਿਊਟਰ-ਚੈੱਕ ਕੀਤਾ ਪ੍ਰਮਾਣ ਜਾਰੀ ਕੀਤਾ ਹੈ। ਕੰਪਨੀ ਦੀ ਘੋਸ਼ਣਾ ਦੇ ਅਨੁਸਾਰ, ਇੰਜੀਨੀਅਰਾਂ ਅਤੇ ਗਣਿਤ ਵਿਗਿਆਨੀਆਂ ਨੇ ਲੀਨ ਪਰੂਫ ਅਸਿਸਟੈਂਟ ਵਿੱਚ ਕੋਡ ਦੀਆਂ ਲਗਭਗ 43.1 ਮਿਲੀਅਨ ਲਾਈਨਾਂ ਤਿਆਰ ਕਰਨ ਲਈ ਸਿਰਫ 24 ਦਿਨਾਂ ਵਿੱਚ ਦਰਜਨਾਂ AI ਏਜੰਟਾਂ ਦੇ ਝੁੰਡਾਂ ਨੂੰ ਨਿਰਦੇਸ਼ਿਤ ਕੀਤਾ, ਇੱਕ ਨਤੀਜੇ ਦੀ ਪੁਸ਼ਟੀ ਕੀਤੀ ਜੋ ਪਹਿਲਾਂ ਲਗਭਗ 15,000 ਪੰਨਿਆਂ ਵਿੱਚ ਫੈਲੇ ਹੋਏ ਸਨ ਜੋ ਲਗਭਗ 500 ਤੋਂ ਵੱਧ ਲੋਕਾਂ ਦੁਆਰਾ ਲਿਖੇ ਗਏ ਸਨ। ਦਹਾਕੇ
ਪ੍ਰਾਪਤੀ ਇੱਕ ਪਲ 'ਤੇ ਉਤਰਦੀ ਹੈ ਜਦੋਂ ਮਸ਼ੀਨ-ਸਹਾਇਤਾ ਵਾਲਾ ਗਣਿਤ ਤੇਜ਼ੀ ਨਾਲ ਤੇਜ਼ ਹੋ ਰਿਹਾ ਹੈ, ਅਤੇ AI ਰਿਸਰਚ ਨਿਊਜ਼ ਨੂੰ ਟਰੈਕ ਕਰਨ ਵਾਲੇ ਆਉਟਲੈਟਸ ਨੇ ਇੱਕ ਵਿਸ਼ੇਸ਼ ਅਭਿਆਸ ਤੋਂ ਇੱਕ ਸਰਹੱਦੀ ਸਮਰੱਥਾ ਤੱਕ ਰਸਮੀ ਤਸਦੀਕ ਦੇ ਕਦਮ ਨੂੰ ਦੇਖਿਆ ਹੈ। ਕਿਹੜੀ ਚੀਜ਼ ਇਸ ਰੀਲੀਜ਼ ਨੂੰ ਅਸਧਾਰਨ ਬਣਾਉਂਦੀ ਹੈ ਪੈਮਾਨਾ ਹੈ: ਰਸਮੀਕਰਣ ਵਿੱਚ ਲਗਭਗ 2.05 ਮਿਲੀਅਨ ਘੋਸ਼ਣਾਵਾਂ 100 ਮੀਲਪੱਥਰਾਂ ਵਿੱਚ ਸੰਗਠਿਤ ਹੁੰਦੀਆਂ ਹਨ, ਉਹਨਾਂ ਵਿੱਚੋਂ ਹਰ ਇੱਕ ਨੂੰ ਲੀਨ ਦੇ ਕਰਨਲ ਦੁਆਰਾ ਜਾਂਚਿਆ ਜਾਂਦਾ ਹੈ, ਇੱਕ ਛੋਟਾ ਭਰੋਸੇਮੰਦ ਕੋਰ ਜੋ ਹਰ ਇੱਕ ਤਰਕਪੂਰਨ ਕਦਮ ਦੀ ਪੁਸ਼ਟੀ ਕਰਦਾ ਹੈ।
ਵਰਗੀਕਰਨ ਅਸਲ ਵਿੱਚ ਕੀ ਕਹਿੰਦਾ ਹੈ
ਸੀਮਿਤ ਸਾਧਾਰਨ ਸਮੂਹ ਸੀਮਿਤ ਸਮਰੂਪਤਾ ਦੇ ਅਵਿਭਾਗੀ ਬਿਲਡਿੰਗ ਬਲਾਕ ਹੁੰਦੇ ਹਨ, ਅਤੇ ਵਰਗੀਕਰਨ — ਜਿਸਨੂੰ "ਦਿ ਐਨਾਰਮਸ ਥਿਊਰਮ" ਕਿਹਾ ਜਾਂਦਾ ਹੈ — ਉਹਨਾਂ ਦੀ ਪੂਰੀ ਸੂਚੀ ਦਿੰਦਾ ਹੈ। ਪ੍ਰੋਜੈਕਟ ਦੇ ਦਸਤਾਵੇਜ਼ਾਂ ਦੇ ਅਨੁਸਾਰ, ਹਰ ਸੀਮਿਤ ਸਧਾਰਨ ਸਮੂਹ ਚਾਰ ਕਿਸਮਾਂ ਵਿੱਚੋਂ ਇੱਕ ਹੁੰਦਾ ਹੈ: ਪ੍ਰਮੁੱਖ ਕ੍ਰਮ ਦਾ ਇੱਕ ਚੱਕਰੀ ਸਮੂਹ, ਘੱਟੋ-ਘੱਟ ਪੰਜ ਚਿੰਨ੍ਹਾਂ 'ਤੇ ਇੱਕ ਵਿਕਲਪਕ ਸਮੂਹ, ਸੀਮਤ ਖੇਤਰਾਂ ਵਿੱਚ ਬਣੇ ਲਾਈ ਕਿਸਮ ਦੇ ਸਮੂਹਾਂ ਦੇ ਸੋਲਾਂ ਅਨੰਤ ਪਰਿਵਾਰਾਂ ਵਿੱਚੋਂ ਇੱਕ, ਜਾਂ ਬਿਲਕੁਲ 26 ਸਪੋਰਡਿਕ ਸਮੂਹਾਂ ਵਿੱਚੋਂ ਇੱਕ ਜੋ ਕਿਸੇ ਪਰਿਵਾਰ ਵਿੱਚ ਫਿੱਟ ਨਹੀਂ ਹੁੰਦੇ।
ਇਹ ਸਾਬਤ ਕਰਨਾ ਕਿ ਇਹ ਸੂਚੀ ਹਰ ਸੰਭਾਵਨਾ ਨੂੰ ਖਤਮ ਕਰਦੀ ਹੈ, ਨੇ ਸਮੂਹਿਕ ਯਤਨਾਂ ਦੀ ਇੱਕ ਸਦੀ ਦਾ ਬਿਹਤਰ ਹਿੱਸਾ ਲਿਆ। ਜੌਨ ਥੌਮਸਨ, ਜਿਸਦਾ ਕੰਮ ਵਰਗੀਕਰਨ ਦਾ ਕੇਂਦਰ ਸੀ, ਨੂੰ 1970 ਵਿੱਚ ਫੀਲਡਜ਼ ਮੈਡਲ ਅਤੇ 2008 ਵਿੱਚ ਅਬਲ ਇਨਾਮ ਮਿਲਿਆ। ਸਬੂਤ ਇੰਨਾ ਲੰਬਾ ਅਤੇ ਗਣਿਤ-ਸ਼ਾਸਤਰੀਆਂ ਦੀਆਂ ਪੀੜ੍ਹੀਆਂ ਵਿੱਚ ਵੰਡਿਆ ਗਿਆ ਸੀ ਕਿ ਇਸਦੀ ਸੰਪੂਰਨਤਾ ਬਾਰੇ ਸ਼ੱਕ ਦਹਾਕਿਆਂ ਤੱਕ ਬਣਿਆ ਰਿਹਾ — ਸ਼ੰਕੇ ਹੁਣ ਰਸਮੀ ਤੌਰ 'ਤੇ ਦੂਰ ਹੋ ਗਏ ਹਨ।
500 ਸਰੋਤਾਂ ਵਿੱਚ ਏਜੰਟਾਂ ਦੇ ਝੁੰਡ
ਅਸਲ ਸਬੂਤ 500 ਤੋਂ ਵੱਧ ਲੇਖਾਂ ਅਤੇ ਕਿਤਾਬਾਂ ਵਿੱਚ ਖਿੰਡੇ ਹੋਏ ਹਨ, ਕਈ ਦਹਾਕੇ ਪਹਿਲਾਂ ਅਸੰਗਤ ਸੰਕੇਤਾਂ ਵਿੱਚ ਲਿਖੇ ਗਏ ਸਨ। ਇੱਕ Axiom ਇੰਜੀਨੀਅਰ ਨੇ ਰੀਲੀਜ਼ ਦੀ ਹੈਕਰ ਨਿਊਜ਼ ਚਰਚਾ ਵਿੱਚ ਵਿਧੀ ਦਾ ਵਰਣਨ ਕੀਤਾ: ਏਜੰਟਾਂ ਦੇ ਇੱਕ ਝੁੰਡ ਨੂੰ ਇਹਨਾਂ ਸਾਰੇ ਸਰੋਤਾਂ ਵਿੱਚੋਂ ਲੰਘਣ ਦਾ ਕੰਮ ਸੌਂਪਿਆ ਗਿਆ ਸੀ, ਜਿਸ ਵਿੱਚ ਸਖ਼ਤ ਹਿੱਸਾ ਹਰ ਚੀਜ਼ ਨੂੰ ਇੱਕ ਸੰਪੂਰਨ ਸੰਪੂਰਨ ਰੂਪ ਵਿੱਚ ਇਕੱਠਾ ਕਰ ਰਿਹਾ ਸੀ, ਕਿਉਂਕਿ ਇੱਕੋ ਗੈਰ ਰਸਮੀ ਸੰਕਲਪ ਨੂੰ ਥੋੜੇ ਵੱਖਰੇ ਪਰ ਗਣਿਤਿਕ ਤੌਰ 'ਤੇ ਅਸੰਗਤ ਤਰੀਕਿਆਂ ਨਾਲ ਰਸਮੀ ਕੀਤਾ ਜਾ ਸਕਦਾ ਹੈ।
ਕੰਪਨੀ ਦੇ ਬਲਾਗ ਪੋਸਟ ਵਿੱਚ ਕਿਹਾ ਗਿਆ ਹੈ ਕਿ ਇਸ ਕੋਸ਼ਿਸ਼ ਨੂੰ ਸ਼ੁਰੂ ਤੋਂ ਜਾਰੀ ਹੋਣ ਵਿੱਚ 24 ਦਿਨ ਲੱਗੇ, ਮਨੁੱਖੀ ਇੰਜੀਨੀਅਰਾਂ ਅਤੇ ਗਣਿਤ ਵਿਗਿਆਨੀਆਂ ਨੇ ਲਾਈਨ-ਦਰ-ਲਾਈਨ ਕੰਮ ਕਰਨ ਦੀ ਬਜਾਏ ਏਜੰਟ ਦੇ ਝੁੰਡ ਨੂੰ ਸਟੀਅਰ ਕੀਤਾ। ਨਤੀਜਾ 2026 ਵਿੱਚ ਪਹਿਲਾਂ ਦੇ ਉੱਚ-ਪ੍ਰੋਫਾਈਲ ਆਟੋ-ਰਸਮੀਕਰਨ ਮੀਲਪੱਥਰ ਦੀ ਪਾਲਣਾ ਕਰਦਾ ਹੈ, ਜਿਸ ਵਿੱਚ ਫਰੰਟੀਅਰ ਮਾਡਲਾਂ ਦੇ ਨਾਲ ਤਿਆਰ ਕੀਤੇ ਗਏ ਮੁੱਖ ਕਲਾਸੀਕਲ ਸਿਧਾਂਤਾਂ ਦੇ ਲੀਨ ਸਬੂਤ ਸ਼ਾਮਲ ਹਨ, ਪਰ ਇੱਕ ਪੈਮਾਨੇ 'ਤੇ ਕੋਈ ਵੀ ਪਿਛਲਾ ਪ੍ਰੋਜੈਕਟ ਨਹੀਂ ਪਹੁੰਚਿਆ ਹੈ।
34 ਪ੍ਰਕਾਸ਼ਿਤ ਰਿਕਾਰਡ ਤੋਂ ਭਟਕਣਾ
ਪ੍ਰਕਾਸ਼ਿਤ ਸਬੂਤ ਨੂੰ ਮਸ਼ੀਨ-ਚੈੱਕ ਕਰਨ ਯੋਗ ਰੂਪ ਵਿੱਚ ਅਨੁਵਾਦ ਕਰਨ ਨਾਲ ਗਣਿਤ ਸਾਹਿਤ ਵਿੱਚ ਅਸਲ ਸਮੱਸਿਆਵਾਂ ਦਾ ਪਰਦਾਫਾਸ਼ ਹੋਇਆ। Axiom ਰਿਪੋਰਟ ਕਰਦਾ ਹੈ ਕਿ ਜ਼ਿਆਦਾਤਰ ਮੁੱਦੇ ਮਾਮੂਲੀ ਸਨ — ਟਾਈਪੋਗ੍ਰਾਫਿਕਲ ਗਲਤੀਆਂ, ਟੇਬਲਾਂ ਵਿੱਚ ਗਲਤੀਆਂ, ਜਾਂ ਘਟੀਆਂ ਪਰਿਕਲਾਂ। ਪਰ ਪ੍ਰਕਾਸ਼ਿਤ ਰਿਕਾਰਡ ਤੋਂ 34 ਧਿਆਨ ਦੇਣ ਯੋਗ ਭਟਕਣਾਵਾਂ ਸਨ ਜਿਨ੍ਹਾਂ ਨੂੰ ਰਸਮੀਕਰਣ ਤੋਂ ਪਹਿਲਾਂ ਹੱਲ ਕਰਨ ਦੀ ਲੋੜ ਸੀ।
ਸਭ ਤੋਂ ਮਹੱਤਵਪੂਰਨ ਅਸੰਤੁਲਿਤ ਗਰੁੱਪ ਥਿਊਰਮ ਨਾਲ ਸਬੰਧਤ ਹੈ। ਨਤੀਜੇ ਲਈ ਪਹਿਲੀ ਪੀੜ੍ਹੀ ਦੇ ਰੂਟ ਨੂੰ ਰਸਮੀ ਬਣਾਉਂਦੇ ਹੋਏ, ਟੀਮ ਨੇ ਇੱਕ ਪ੍ਰਕਾਸ਼ਿਤ ਦਲੀਲ ਵਿੱਚ ਵਰਤੇ ਗਏ ਇੱਕ ਬੰਦ ਹੋਣ ਦੇ ਦਾਅਵੇ ਦੇ ਉਲਟ ਉਦਾਹਰਨਾਂ ਲੱਭੀਆਂ। ਮਾਹਰ ਸਮੂਹ ਸਿਧਾਂਤਕਾਰਾਂ ਨਾਲ ਸਲਾਹ-ਮਸ਼ਵਰਾ ਕਰਕੇ, ਉਨ੍ਹਾਂ ਨੇ ਡੈਨੀਅਲ ਗੋਰੇਨਸਟਾਈਨ-ਯੁੱਗ ਸਟ੍ਰਕਚਰਲ ਤਕਨੀਕਾਂ 'ਤੇ ਬਣੇ ਇੱਕ ਵਿਕਲਪਿਕ ਰੂਟ ਦਾ ਨਿਰਮਾਣ ਕੀਤਾ - ਖਾਸ ਤੌਰ 'ਤੇ 1970 ਦੇ ਦਹਾਕੇ ਤੋਂ ਅਧਿਕਤਮ 2-ਕੰਪੋਨੈਂਟਾਂ ਦੀ ਥਿਊਰੀ - ਅਤੇ ਫਿਕਸ ਨੂੰ ਇੱਕ ਨਵੇਂ 35-ਪੰਨਿਆਂ ਦੇ ਗਰੁੱਪ ਥਿਊਰੀ ਪੇਪਰ ਦੇ ਰੂਪ ਵਿੱਚ ਪ੍ਰਕਾਸ਼ਿਤ ਕੀਤਾ, ਜੋ ਕਿ ਪ੍ਰੀਪ੍ਰਿੰਟ 2610.00575 ਵਜੋਂ ਪੋਸਟ ਕੀਤਾ ਗਿਆ ਸੀ। ਕੰਪਨੀ ਦਾ ਕਹਿਣਾ ਹੈ ਕਿ ਉਹ ਗਣਿਤਕ ਭਾਈਚਾਰੇ ਦੇ ਫਾਇਦੇ ਲਈ ਇੱਕ ਲੰਮੀ ਇਰੱਟਾ ਸੂਚੀ ਜਾਰੀ ਕਰੇਗੀ, ਜਿਸ ਨੂੰ ਸਮੂਹ ਸਿਧਾਂਤਕਾਰਾਂ ਨਾਲ ਸਲਾਹ-ਮਸ਼ਵਰਾ ਕਰਕੇ ਤਿਆਰ ਕੀਤਾ ਗਿਆ ਹੈ, ਜਿਨ੍ਹਾਂ ਦੇ ਕੰਮ 'ਤੇ ਵਰਗੀਕਰਨ ਨਿਰਭਰ ਕਰਦਾ ਹੈ।
ਮਸ਼ੀਨਾਂ ਨਾਲ ਗਣਿਤ ਦੀ ਜਾਂਚ ਕਿਉਂ ਕੀਤੀ ਜਾਂਦੀ ਹੈ
ਇੱਕ ਰਸਮੀਕਰਣ ਦਾ ਮੁੱਲ ਸਿਰਫ਼ ਇਹ ਨਹੀਂ ਹੈ ਕਿ ਇੱਕ ਕੰਪਿਊਟਰ ਨੇ ਸਬੂਤ ਨੂੰ ਪ੍ਰਵਾਨਗੀ ਦਿੱਤੀ ਹੈ. ਇੱਕ ਲੀਨ ਰਸਮੀਕਰਣ, ਪਰੂਫ ਅਸਿਸਟੈਂਟ ਦੇ ਕਰਨਲ ਦੇ ਭਰੋਸੇ ਦੇ ਅਧਾਰ ਨੂੰ ਘਟਾ ਦਿੰਦਾ ਹੈ - ਇੱਕ ਛੋਟਾ, ਭਾਰੀ ਆਡਿਟ ਕੀਤਾ ਪ੍ਰੋਗਰਾਮ - ਖਿੰਡੇ ਹੋਏ ਮਾਹਰਾਂ ਦੁਆਰਾ ਪੜ੍ਹੇ ਗਏ ਹਜ਼ਾਰਾਂ ਪੰਨਿਆਂ ਦੇ ਇਕੱਠੇ ਕੀਤੇ ਵਿਸ਼ਵਾਸ ਦੀ ਬਜਾਏ। ਹੈਕਰ ਨਿਊਜ਼ ਥ੍ਰੈਡ 'ਤੇ ਟਿੱਪਣੀ ਕਰਨ ਵਾਲੇ, ਜਿੱਥੇ ਕਹਾਣੀ ਨੇ ਸੈਂਕੜੇ ਅਪਵੋਟ ਲਏ, ਨੇ ਨੋਟ ਕੀਤਾ ਕਿ ਵਰਗੀਕਰਨ ਕਿਉਂ ਰੱਖਦਾ ਹੈ ਇਸ ਬਾਰੇ ਅਨੁਭਵੀ ਗਿਆਨ ਸ਼ਾਬਦਿਕ ਤੌਰ 'ਤੇ ਖਤਮ ਹੋਣ ਦਾ ਖ਼ਤਰਾ ਸੀ ਕਿਉਂਕਿ ਗਣਿਤ ਵਿਗਿਆਨੀਆਂ ਦੀ ਅਸਲ ਪੀੜ੍ਹੀ ਰਿਟਾਇਰ ਹੋ ਗਈ ਸੀ, ਕਿਉਂਕਿ ਕੋਈ ਵੀ ਵਿਅਕਤੀ ਪੂਰੀ ਦਲੀਲ ਨੂੰ ਆਪਣੇ ਸਿਰ ਵਿੱਚ ਨਹੀਂ ਰੱਖ ਸਕਦਾ ਸੀ।
ਭੌਤਿਕ ਵਿਗਿਆਨ ਵਿੱਚ ਹੋਰ ਕਿਤੇ ਵੀ ਵਿਹਾਰਕ ਗੂੰਜ ਹਨ। 26 ਛਿੱਟੇ ਹੋਏ ਸਮੂਹਾਂ ਵਿੱਚੋਂ ਸਭ ਤੋਂ ਵੱਡਾ, ਮੌਨਸਟਰ ਗਰੁੱਪ, ਸੀਮਿਤ ਸਮਰੂਪਤਾ ਨੂੰ ਮਾਡਿਊਲਰ ਫੰਕਸ਼ਨਾਂ ਨਾਲ ਜੋੜਨ ਵਾਲੇ "ਅਦਭੁਤ ਮੂਨਸ਼ਾਈਨ" ਪ੍ਰੋਗਰਾਮ ਵਿੱਚ ਦਿਖਾਈ ਦਿੰਦਾ ਹੈ - ਉਹ ਕੰਮ ਜਿਸ ਨੇ 1998 ਵਿੱਚ ਰਿਚਰਡ ਬੋਰਚਰਡਜ਼ ਨੂੰ ਇੱਕ ਫੀਲਡ ਮੈਡਲ ਪ੍ਰਾਪਤ ਕੀਤਾ - ਅਤੇ ਐਡਵਰਡ ਵਿਟਨ ਦੇ 2007 ਦੇ ਪ੍ਰਸਤਾਵ ਵਿੱਚ ਮੌਨਸਟਰ ਦੇ ਬਲੈਕ-ਸਿਮਟ੍ਰੋਫਾਈਡ ਇਨਸਿਮਟ੍ਰੋਪਾਈਡ ਨੂੰ ਜੋੜਦੇ ਹੋਏ। ਤਿੰਨ-ਅਯਾਮੀ ਬ੍ਰਹਿਮੰਡ। ਇੱਕ ਪ੍ਰਮਾਣਿਤ ਵਰਗੀਕਰਨ ਬਿਲਕੁਲ ਇਸ ਕਿਸਮ ਦੇ ਅੰਤਰ-ਅਨੁਸ਼ਾਸਨੀ ਕਾਰਜਾਂ ਲਈ ਅੰਤਰੀਵ ਸੰਰਚਨਾਤਮਕ ਗਣਿਤ ਨੂੰ ਮਜ਼ਬੂਤ ਜ਼ਮੀਨ 'ਤੇ ਰੱਖਦਾ ਹੈ।
ਅੱਗੇ ਕੀ ਆਉਂਦਾ ਹੈ
Axiom ਦਾ ਕਹਿਣਾ ਹੈ ਕਿ ਇਰੱਟਾ ਪ੍ਰੋਜੈਕਟ ਦੇ ਨਾਲ, ਰਸਮੀਕਰਣ ਤੋਂ ਲਏ ਗਏ ਹੋਰ ਕਾਗਜ਼ਾਤ ਰਸਤੇ ਵਿੱਚ ਹਨ। ਰਸਮੀ ਢੰਗਾਂ ਦੇ ਭਾਈਚਾਰੇ ਲਈ, ਰੀਲੀਜ਼ ਏਜੰਟ-ਨਿਰਦੇਸ਼ਿਤ ਤਸਦੀਕ ਪ੍ਰੋਜੈਕਟਾਂ ਲਈ ਕੀ ਕੋਸ਼ਿਸ਼ ਕਰ ਸਕਦੇ ਹਨ ਲਈ ਇੱਕ ਨਵਾਂ ਬੈਂਚਮਾਰਕ ਸੈੱਟ ਕਰਦਾ ਹੈ; ਗਣਿਤ ਲਈ, ਇਹ ਇੱਕ ਵਿਸ਼ਾਲ, ਅੱਧੀ-ਸਦੀ-ਲੰਬੀ ਸਹਿਯੋਗੀ ਪ੍ਰਾਪਤੀ ਨੂੰ ਇੱਕ ਸਿੰਗਲ ਆਰਟੀਫੈਕਟ ਵਿੱਚ ਬਦਲਦਾ ਹੈ ਜਿਸਦੀ ਕੋਈ ਵੀ ਕੰਪਿਊਟਰ ਜਾਂਚ ਕਰ ਸਕਦਾ ਹੈ। ਵਰਗੀਕਰਨ ਨੂੰ ਹੁਣ ਸਿਰਫ਼ ਵਿਸ਼ਵਾਸ ਨਹੀਂ ਕੀਤਾ ਜਾਂਦਾ ਹੈ। ਇਹ ਹੁਣ, ਸਭ ਤੋਂ ਸ਼ਾਬਦਿਕ ਅਰਥਾਂ ਵਿੱਚ, ਸਾਬਤ ਹੋ ਗਿਆ ਹੈ - ਅਤੇ ਸਬੂਤ ਕਿਸੇ ਵੀ ਵਿਅਕਤੀ ਨੂੰ ਡਾਊਨਲੋਡ ਕਰਨ ਅਤੇ ਤਸਦੀਕ ਕਰਨ ਲਈ ਉਪਲਬਧ ਹੈ।
