ਐਂਥਰੋਪਿਕ ਨੇ ਵੀਰਵਾਰ, 4 ਸਤੰਬਰ, 2026 ਨੂੰ ਘੋਸ਼ਣਾ ਕੀਤੀ, ਕਿ ਕਲਾਉਡ ਨੇ ਫਰਮੈਟ ਦੇ ਆਖਰੀ ਪ੍ਰਮੇਏ ਦਾ ਪਹਿਲਾ ਸੰਪੂਰਨ ਕੰਪਿਊਟਰ-ਚੈੱਕ ਕੀਤਾ ਪ੍ਰਮਾਣ ਤਿਆਰ ਕੀਤਾ ਹੈ, ਜੋ ਕਿ ਗਣਿਤ ਦੇ ਸਭ ਤੋਂ ਮਸ਼ਹੂਰ ਨਤੀਜਿਆਂ ਵਿੱਚੋਂ ਇੱਕ ਹੈ, 11 ਦਿਨਾਂ ਵਿੱਚ ਵੱਡੇ ਪੱਧਰ 'ਤੇ ਖੁਦਮੁਖਤਿਆਰੀ ਨਾਲ ਕੰਮ ਕਰਦਾ ਹੈ ਅਤੇ ਲੀਨ ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ ਵਿੱਚ ਕੋਡ ਦੀਆਂ 13 ਮਿਲੀਅਨ ਲਾਈਨਾਂ ਲਿਖਦਾ ਹੈ, ਕੰਪਨੀ ਦੀ ਅਧਿਕਾਰਤ ਘੋਸ਼ਣਾ ਦੇ ਅਨੁਸਾਰ।
ਮੀਲ ਪੱਥਰ ਨੇ ਖੋਜ ਭਾਈਚਾਰੇ ਵਿੱਚ ਤੁਰੰਤ ਧਿਆਨ ਖਿੱਚਿਆ, ਪ੍ਰਕਾਸ਼ਨ ਦੇ ਕੁਝ ਘੰਟਿਆਂ ਦੇ ਅੰਦਰ ਹੀ ਹੈਕਰ ਨਿਊਜ਼ ਨੂੰ ਸਿਖਰ 'ਤੇ ਲਿਆ। ਥਿਊਰਮ ਦੇ ਇੱਕ ਰਸਮੀ ਸਬੂਤ ਲਈ ਇੱਕ ਬਹੁ-ਸਾਲਾ ਕਮਿਊਨਿਟੀ ਯਤਨ ਲੈਣ ਦੀ ਉਮੀਦ ਕੀਤੀ ਗਈ ਸੀ; ਇਸ ਦੀ ਬਜਾਏ, ਦਰਜਨਾਂ ਸਹਿਯੋਗੀ ਕਲਾਉਡ ਏਜੰਟਾਂ ਦੀ ਇੱਕ ਟੀਮ ਨੇ ਦੋ ਹਫ਼ਤਿਆਂ ਤੋਂ ਘੱਟ ਸਮੇਂ ਵਿੱਚ ਕੰਮ ਪੂਰਾ ਕਰ ਲਿਆ। ਅੱਜ AI ਸਮਰੱਥਾਵਾਂ ਕਿੱਥੇ ਖੜ੍ਹੀਆਂ ਹਨ ਇਸ ਬਾਰੇ ਹੋਰ ਸੰਦਰਭ ਲਈ, ਸਾਡੇ ਨਵੀਨਤਮ AI ਵਿਕਾਸ ਦੇਖੋ।
ਫਰਮੈਟ ਦਾ ਆਖਰੀ ਪ੍ਰਮੇਯ ਕੀ ਹੈ - ਅਤੇ ਇਹ 350 ਸਾਲਾਂ ਲਈ ਸਬੂਤ ਦਾ ਵਿਰੋਧ ਕਿਉਂ ਕਰਦਾ ਹੈ
ਫਰਮੈਟ ਦੀ ਆਖਰੀ ਥਿਊਰਮ ਦੱਸਦੀ ਹੈ ਕਿ ਕੋਈ ਵੀ ਸਕਾਰਾਤਮਕ ਪੂਰਨ ਅੰਕ a, b, ਅਤੇ c 2 ਤੋਂ ਵੱਧ n ਦੇ ਕਿਸੇ ਵੀ ਮੁੱਲ ਲਈ aⁿ + bⁿ = cⁿ ਨੂੰ ਸੰਤੁਸ਼ਟ ਨਹੀਂ ਕਰ ਸਕਦੇ ਹਨ। ਪਿਏਰੇ ਡੀ ਫਰਮੈਟ ਨੇ 1637 ਦੇ ਆਸਪਾਸ ਡਾਇਓਫੈਂਟਸ ਦੀ ਅਰੀਥਮੇਟਿਕਾ ਦੀ ਕਾਪੀ ਦੇ ਹਾਸ਼ੀਏ ਵਿੱਚ ਦਾਅਵਾ ਕੀਤਾ ਸੀ, ਜੋ ਕਿ ਉਸ ਨੇ ਹੁਣੇ ਇੱਕ ਮਾਰਵਿਲ-ਲੈਗਟ੍ਰੂ ਦੀ ਖੋਜ ਨਹੀਂ ਕੀਤੀ ਸੀ। ਸਬੂਤ ਜੋ ਹਾਸ਼ੀਏ ਨੂੰ ਰੱਖਣ ਲਈ ਬਹੁਤ ਤੰਗ ਸੀ।
ਤਿੰਨ ਸਦੀਆਂ ਤੋਂ ਵੱਧ ਸਮੇਂ ਲਈ, ਅਨੁਮਾਨ ਇਸ ਨੂੰ ਸਾਬਤ ਕਰਨ ਦੀ ਹਰ ਕੋਸ਼ਿਸ਼ ਤੋਂ ਬਾਹਰ ਰਿਹਾ। ਐਂਥਰੋਪਿਕ ਦੇ ਖਾਤੇ ਦੇ ਅਨੁਸਾਰ, 1908 ਵਿੱਚ ਘੋਸ਼ਿਤ 100,000 ਜਰਮਨ ਸੋਨੇ ਦੇ ਚਿੰਨ੍ਹ ਦੇ ਇਨਾਮ ਨੇ ਆਪਣੇ ਪਹਿਲੇ ਸਾਲ ਵਿੱਚ ਹੀ 621 ਗਲਤ ਕੋਸ਼ਿਸ਼ਾਂ ਕੀਤੀਆਂ। ਸਰ ਐਂਡਰਿਊ ਵਾਈਲਜ਼ ਨੇ ਅੰਤ ਵਿੱਚ 1993 ਵਿੱਚ ਇੱਕ ਸਹੀ ਸਬੂਤ ਪੇਸ਼ ਕੀਤਾ - ਕੇਵਲ ਸਮੀਖਿਅਕਾਂ ਲਈ ਤਸਦੀਕ ਵਿੱਚ ਦੋ ਮਹੀਨਿਆਂ ਦੇ ਨਾਜ਼ੁਕ ਪਾੜੇ ਦਾ ਪਰਦਾਫਾਸ਼ ਕਰਨ ਲਈ। ਵਾਈਲਸ ਨੇ ਮਈ 1995 ਵਿੱਚ ਨਿਸ਼ਚਿਤ 129 ਪੰਨਿਆਂ ਦੇ ਸੰਸਕਰਣ ਨੂੰ ਪ੍ਰਕਾਸ਼ਿਤ ਕਰਨ ਤੋਂ ਪਹਿਲਾਂ ਆਪਣੇ ਸਾਬਕਾ ਵਿਦਿਆਰਥੀ ਰਿਚਰਡ ਟੇਲਰ ਨਾਲ ਸਬੂਤ ਦੀ ਮੁਰੰਮਤ ਕਰਨ ਵਿੱਚ ਇੱਕ ਸਾਲ ਬਿਤਾਇਆ, ਜਿਸਦੀ ਪੁਸ਼ਟੀ ਕਰਨ ਲਈ ਕਈ ਮਹੀਨਿਆਂ ਦਾ ਮਿਹਨਤੀ ਕੰਮ ਲੱਗਿਆ।
ਕਲਾਉਡ ਨੇ 13-ਮਿਲੀਅਨ-ਲਾਈਨ ਸਬੂਤ ਕਿਵੇਂ ਬਣਾਇਆ
ਇਸ ਪ੍ਰੋਜੈਕਟ ਦੀ ਸ਼ੁਰੂਆਤ ਇੱਕ ਐਂਥ੍ਰੋਪਿਕ ਖੋਜਕਰਤਾ Tianyi Peng ਦੁਆਰਾ ਕੀਤੀ ਗਈ ਸੀ, ਜਿਸਦਾ ਗਰੁੱਪ ਕੋਲੰਬੀਆ ਯੂਨੀਵਰਸਿਟੀ ਵਿੱਚ AI ਰਸਮੀਕਰਣ ਲਈ ਟੂਲ ਬਣਾਉਂਦਾ ਹੈ, ਜੋ ਇਹ ਟੈਸਟ ਕਰਨ ਲਈ ਤਿਆਰ ਕੀਤਾ ਗਿਆ ਸੀ ਕਿ ਕੀ ਕਲਾਉਡ ਵਾਈਲਸ ਦੇ ਸਬੂਤ ਨੂੰ ਮਸ਼ੀਨ-ਚੈੱਕ ਕਰਨ ਯੋਗ ਰੂਪ ਵਿੱਚ ਬਦਲਣ ਵਿੱਚ ਤਰੱਕੀ ਕਰ ਸਕਦਾ ਹੈ।
ਪਹੁੰਚ ਬਦਲਣ ਤੋਂ ਬਾਅਦ ਹੀ ਕੋਸ਼ਿਸ਼ ਸਫਲ ਹੋਈ। ਐਂਥਰੋਪਿਕ ਰਿਪੋਰਟਾਂ ਦਿੰਦੀਆਂ ਹਨ ਕਿ ਏਜੰਟਾਂ ਦੀਆਂ ਸ਼ੁਰੂਆਤੀ ਕੋਸ਼ਿਸ਼ਾਂ ਅਸਫਲ ਹੋ ਗਈਆਂ ਕਿਉਂਕਿ ਉਹਨਾਂ ਨੇ ਪ੍ਰੋਜੈਕਟ ਦੀ ਸਥਿਤੀ ਦਾ ਪਤਾ ਲਗਾ ਲਿਆ ਅਤੇ ਪ੍ਰਭਾਵਸ਼ਾਲੀ ਢੰਗ ਨਾਲ ਸਹਿਯੋਗ ਕਰਨਾ ਬੰਦ ਕਰ ਦਿੱਤਾ। ਇਹ ਸਫਲਤਾ Prove2Me ਦੇ ਨਾਲ ਆਈ, ਕੋਲੰਬੀਆ ਵਿਖੇ ਪੇਂਗ ਅਤੇ ਸਹਿਯੋਗੀਆਂ ਦੁਆਰਾ ਡਿਜ਼ਾਈਨ ਕੀਤੇ ਗਣਿਤ ਨੂੰ ਰਸਮੀ ਬਣਾਉਣ ਲਈ ਇੱਕ ਖੁੱਲ੍ਹਾ ਸਹਿਯੋਗੀ ਪਲੇਟਫਾਰਮ। ਪਲੇਟਫਾਰਮ ਪ੍ਰਮੇਏ ਕਥਨਾਂ ਦਾ ਇੱਕ ਨਿਰਦੇਸ਼ਿਤ ਅਸਾਇਕਲਿਕ ਗ੍ਰਾਫ ਕਾਇਮ ਰੱਖਦਾ ਹੈ ਜੋ ਏਜੰਟ ਇਹ ਫੈਸਲਾ ਕਰਨ ਲਈ ਵਰਤਦੇ ਹਨ ਕਿ ਅੱਗੇ ਕੀ ਸਾਬਤ ਕਰਨਾ ਹੈ, ਕਥਨਾਂ ਨੂੰ ਸਬੂਤਾਂ ਤੋਂ ਵੱਖ ਕਰਕੇ ਲੀਨ ਸੰਕਲਨ ਨੂੰ ਤੇਜ਼ ਕਰਦਾ ਹੈ, ਅਤੇ ਏਜੰਟਾਂ ਨੂੰ ਹਰੇਕ ਪ੍ਰਮੇਏ ਦੇ ਕੁਦਰਤੀ-ਭਾਸ਼ਾ ਦੇ ਵਰਣਨ ਦੁਆਰਾ ਨਤੀਜਿਆਂ ਦੀ ਖੋਜ ਅਤੇ ਮੁੜ ਵਰਤੋਂ ਕਰਨ ਦਿੰਦਾ ਹੈ।
ਕਲੌਡ ਕੋਡ-ਅਧਾਰਿਤ ਮਲਟੀ-ਏਜੰਟ ਹਾਰਨੈਸ 'ਤੇ ਚੱਲਦੇ ਹੋਏ, ਏਜੰਟਾਂ ਦੀ ਟੀਮ ਨੇ ਅੰਦਰੂਨੀ ਖੋਜ ਮਾਡਲ ਤੋਂ ਲਗਭਗ ਛੇ ਬਿਲੀਅਨ ਆਉਟਪੁੱਟ ਟੋਕਨਾਂ ਦੀ ਖਪਤ ਕੀਤੀ ਜਿਸ ਨੂੰ ਐਂਥਰੋਪਿਕ ਕਲਾਉਡ ਫੇਬਲ 5.1 ਦੇ ਨਾਲ ਲਗਭਗ ਤੁਲਨਾਤਮਕ ਦੱਸਿਆ ਹੈ। ਮਨੁੱਖੀ ਇਨਪੁਟ ਕਦੇ-ਕਦਾਈਂ ਉੱਚ-ਪੱਧਰੀ ਨਿਰਦੇਸ਼ਾਂ ਤੱਕ ਸੀਮਿਤ ਸੀ - ਐਂਥਰੋਪਿਕ ਸੰਦੇਸ਼ਾਂ ਦਾ ਹਵਾਲਾ ਦਿੰਦਾ ਹੈ ਜਿਵੇਂ "ਜੈਕੋਬੀਅਨ ਇੱਕ ਸਕੀਮ ਉੱਚ ਤਰਜੀਹ ਵਾਲੀ ਆਵਾਜ਼" ਅਤੇ ਮਜ਼ੂਰ ਥਿਊਰਮ ਨੂੰ ਜਲਦੀ ਕਰਨ ਲਈ ਅੱਗੇ ਵਧਾਉਣ ਦੀ ਬੇਨਤੀ। ਸਬੂਤ 18 ਅਗਸਤ ਨੂੰ 02:00 UTC 'ਤੇ ਪੂਰਾ ਹੋ ਗਿਆ, ਜਦੋਂ ਪਲੇਟਫਾਰਮ ਦਾ ਰੂਟ ਥਿਊਰਮ ਸਾਬਤ ਹੋ ਗਿਆ।
ਰਸਤੇ ਵਿੱਚ, ਕਲਾਉਡ ਨੇ ਅੰਤਿਮ ਸਬੂਤ ਵਿੱਚ ਉਹਨਾਂ ਵਿੱਚੋਂ 29,500 ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ 30,300 ਪ੍ਰਮੇਏ ਸਾਬਤ ਕੀਤੇ। ਲੀਨ ਦੀਆਂ 13 ਮਿਲੀਅਨ ਲਾਈਨਾਂ 'ਤੇ, ਨਤੀਜਾ ਮੈਥਲਿਬ ਦੇ ਆਕਾਰ ਤੋਂ ਪੰਜ ਗੁਣਾ ਵੱਧ ਹੈ, ਜੋ ਕਿ ਰਸਮੀ ਗਣਿਤ ਦੀ ਪ੍ਰਮੁੱਖ ਕਮਿਊਨਿਟੀ ਲਾਇਬ੍ਰੇਰੀ ਹੈ। ਸਬੂਤ ਹੈਨਰੀ ਡਰਮਨ, ਫਰੇਡ ਡਾਇਮੰਡ, ਅਤੇ ਰਿਚਰਡ ਟੇਲਰ ਦੁਆਰਾ ਵਾਈਲਜ਼ ਦੀ ਦਲੀਲ ਦੇ ਇੱਕ ਸਰਲ ਵਿਆਖਿਆ ਦੇ ਬਾਅਦ, ਅਤੇ ਕੇਵਿਨ ਬਜ਼ਾਰਡ ਦੀ ਅਗਵਾਈ ਵਿੱਚ ਇੰਪੀਰੀਅਲ ਕਾਲਜ ਲੰਡਨ ਦੇ ਰਸਮੀਕਰਣ ਪ੍ਰੋਜੈਕਟ ਦੇ ਟੁਕੜਿਆਂ ਨੂੰ ਅਨੁਕੂਲਿਤ ਕਰਦਾ ਹੈ।
ਇੱਕ ਲੀਨ ਪਰੂਫ ਸਵਾਲ ਦਾ ਨਿਪਟਾਰਾ ਕਿਉਂ ਕਰਦਾ ਹੈ
ਕੀ ਨਤੀਜਾ ਨਿਰਣਾਇਕ ਬਣਾਉਂਦਾ ਹੈ ਆਰਬਿਟਰ ਹੈ। ਲੀਨ ਵਰਗੇ ਸਬੂਤ ਸਹਾਇਕ ਅਲਗੋਰਿਦਮਿਕ ਤੌਰ 'ਤੇ ਪ੍ਰਮਾਣ ਦੇ ਤਰਕ ਦੀ ਪੁਸ਼ਟੀ ਕਰਦੇ ਹਨ, ਅਤੇ ਐਂਥਰੋਪਿਕ ਕਹਿੰਦਾ ਹੈ ਕਿ ਕਲਾਉਡ ਦਾ ਸਬੂਤ ਲੀਨ ਦੇ ਸਿਰਫ ਤਿੰਨ ਮਿਆਰੀ ਧੁਨਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦਾ ਹੈ, ਇੱਕ ਤੁਲਨਾਕਰਤਾ ਇਸ ਗੱਲ ਦੀ ਪੁਸ਼ਟੀ ਕਰਦਾ ਹੈ ਕਿ ਪ੍ਰਮੇਏ ਦਾ ਬਿਆਨ ਮੈਥਲਿਬ ਦੇ ਪ੍ਰਮੇਏ ਦੇ ਆਪਣੇ ਫਾਰਮੂਲੇ ਨਾਲ ਮੇਲ ਖਾਂਦਾ ਹੈ। ਕੰਪਨੀ ਨੇ GitHub 'ਤੇ ਜਨਤਕ ਰਿਪੋਜ਼ਟਰੀ ਵਿੱਚ ਸਬੂਤ ਵੀ ਪ੍ਰਕਾਸ਼ਿਤ ਕੀਤਾ ਹੈ।
ਬਜ਼ਾਰਡ, ਜਿਸਨੇ ਨਤੀਜੇ ਦੀ ਸਮੀਖਿਆ ਕੀਤੀ, ਸਪਸ਼ਟ ਸੀ: "ਇਹ ਅਸਧਾਰਨ ਸਵੈ-ਪ੍ਰਮਾਣਿਕਤਾ ਪ੍ਰਾਪਤੀ, ਜਿਸਨੂੰ ਮਾਨਵ ਖੋਜਕਰਤਾਵਾਂ ਨੇ ਕਿਹਾ ਕਿ ਸਿਰਫ 11 ਦਿਨ ਲੱਗੇ, ਫਰਮੈਟ ਦੀ ਆਖਰੀ ਥਿਊਰਮ ਨੂੰ ਸਾਬਤ ਕਰਦੀ ਹੈ, ਗਣਿਤ ਦੇ ਸਵੈ-ਸਿੱਧਿਆਂ ਤੋਂ ਇਲਾਵਾ ਕੋਈ ਹੋਰ ਧਾਰਨਾਵਾਂ ਨਹੀਂ ਹੈ।"
ਐਂਥਰੋਪਿਕ ਨਵੀਨਤਾ ਨੂੰ ਸਹੀ ਢੰਗ ਨਾਲ ਰੱਖਣ ਲਈ ਸਾਵਧਾਨ ਹੈ। ਰੀਮੈਨ ਪਰਿਕਲਪਨਾ 'ਤੇ ਹਾਲ ਹੀ ਦੇ AI-ਸੰਚਾਲਿਤ ਕੰਮ ਦੇ ਉਲਟ, ਜਿਸ ਨੇ ਨਾਵਲ ਗਣਿਤ ਪੈਦਾ ਕੀਤਾ, ਇੱਥੇ ਕੁਝ ਵੀ ਨਵਾਂ ਗਣਿਤ ਨਹੀਂ ਹੈ - ਪ੍ਰਾਪਤੀ ਤਸਦੀਕ ਹੈ, ਮੌਜੂਦਾ ਸਬੂਤ ਦੀ ਜਾਂਚ ਕਰਨਾ ਜਿਸ ਤਰ੍ਹਾਂ ਕੈਲਕੁਲੇਟਰ ਗਣਿਤ ਦੀ ਜਾਂਚ ਕਰਦਾ ਹੈ। ਇਹ ਦਿੱਤਾ ਗਿਆ ਕਿ ਲੀਨ — ਐਂਥ੍ਰੋਪਿਕ ਨਹੀਂ — ਸ਼ੁੱਧਤਾ 'ਤੇ ਅੰਤਮ ਅਧਿਕਾਰ ਹੈ, ਦਾਅਵਾ ਕੰਪਨੀ ਦੇ ਆਪਣੇ ਮਾਡਲ ਦੇ ਆਪਣੇ ਮੁਲਾਂਕਣ 'ਤੇ ਨਿਰਭਰ ਨਹੀਂ ਕਰਦਾ ਹੈ।
ਗਣਿਤ ਅਤੇ ਏਆਈ ਖੋਜ ਲਈ ਇਸਦਾ ਕੀ ਅਰਥ ਹੈ
ਉਲਝਣਾਂ ਦੋਨਾਂ ਤਰੀਕਿਆਂ ਨਾਲ ਕੱਟਦੀਆਂ ਹਨ। ਗਣਿਤ-ਵਿਗਿਆਨੀਆਂ ਲਈ, ਆਟੋਫਾਰਮਲਾਈਜ਼ੇਸ਼ਨ ਮੌਜੂਦਾ ਗਿਆਨ ਦੇ ਭੰਡਾਰ ਵਿੱਚ ਗਲਤੀਆਂ ਨੂੰ ਫੜ ਸਕਦਾ ਹੈ ਅਤੇ ਨਵੇਂ ਨਤੀਜਿਆਂ ਲਈ ਰੈਫਰੀ ਦੇ ਬੋਝ ਨੂੰ ਨਾਟਕੀ ਢੰਗ ਨਾਲ ਹਲਕਾ ਕਰ ਸਕਦਾ ਹੈ, ਇੱਕ ਪ੍ਰਕਿਰਿਆ ਜਿਸ ਵਿੱਚ ਕਈ ਸਾਲ ਲੱਗ ਸਕਦੇ ਹਨ। "ਜੇਕਰ FLT ਦਾ ਆਟੋਮੈਟਿਕ ਰਸਮੀਕਰਨ ਹੁਣ ਸੰਭਵ ਹੈ, ਤਾਂ ਅਸੀਂ ਆਧੁਨਿਕ ਗਣਿਤ ਸਾਹਿਤ ਦੇ ਆਟੋਮੈਟਿਕ ਰਸਮੀਕਰਨ ਵੱਲ ਇੱਕ ਵੱਡਾ ਕਦਮ ਚੁੱਕਿਆ ਹੈ," ਬਜ਼ਾਰਡ ਨੇ ਇੱਕ ਫਾਲੋ-ਅਪ ਬਲੌਗ ਪੋਸਟ ਵਿੱਚ ਲਿਖਿਆ, "ਐਨਥ੍ਰੋਪਿਕ ਨੇ ਮੈਨੂੰ ਇਸ ਵਿੱਚ ਹਰਾਇਆ," ਇਹ ਸਵੀਕਾਰ ਕਰਦੇ ਹੋਏ ਕਿ 2024 ਵਿੱਚ ਸ਼ੁਰੂ ਕੀਤੀ ਗਈ ਉਸਦੀ ਆਪਣੀ ਕਮਿਊਨਿਟੀ ਦੀ ਅਗਵਾਈ ਵਾਲੇ ਯਤਨਾਂ ਨੂੰ ਪਛਾੜ ਦਿੱਤਾ ਗਿਆ ਸੀ।
AI ਲੈਬਾਂ ਲਈ, ਨਤੀਜਾ ਸੁਝਾਅ ਦਿੰਦਾ ਹੈ ਕਿ ਰਸਮੀ ਸਾਧਨ ਤਕਨਾਲੋਜੀ ਦੀਆਂ ਸਭ ਤੋਂ ਬਦਨਾਮ ਕਮਜ਼ੋਰੀਆਂ ਵਿੱਚੋਂ ਇੱਕ 'ਤੇ ਲਗਾਮ ਲਗਾ ਸਕਦੇ ਹਨ। ਐਂਥਰੋਪਿਕ ਨੋਟ ਕਰਦਾ ਹੈ ਕਿ ਲੀਨ ਲਿਖਣਾ ਕਲਾਉਡ ਨੂੰ ਨਾਵਲ ਨਤੀਜੇ ਸਾਬਤ ਕਰਨ ਵਿੱਚ ਮਦਦ ਕਰਦਾ ਪ੍ਰਤੀਤ ਹੁੰਦਾ ਹੈ, ਏਜੰਟ ਅੰਸ਼ਕ ਰਸਮੀ ਸਬੂਤਾਂ ਦੀ ਵਰਤੋਂ ਕਰਦੇ ਹੋਏ ਸੁਤੰਤਰ ਤੌਰ 'ਤੇ ਅਨੁਮਾਨਾਂ ਦੀ ਜਾਂਚ ਕਰਨ ਲਈ ਜਿੰਨਾ ਉਹ ਸੰਖਿਆਤਮਕ ਸਿਮੂਲੇਸ਼ਨ ਲਿਖਦੇ ਹਨ। ਕੰਪਨੀ ਇਹ ਵੀ ਦਲੀਲ ਦਿੰਦੀ ਹੈ ਕਿ ਦਾਖਲੇ ਦੀ ਰੁਕਾਵਟ ਟੁੱਟ ਰਹੀ ਹੈ: ਇੱਕ ਛੋਟੇ ਪ੍ਰਯੋਗ ਵਿੱਚ, ਤਿੰਨ ਨਿੱਜੀ ਕਲਾਉਡ ਮੈਕਸ ਯੋਜਨਾਵਾਂ ਸਹਿਯੋਗੀ ਏਜੰਟਾਂ ਲਈ ਵਿਨੋਗਰਾਡੋਵ ਦੇ ਤਿੰਨ ਪ੍ਰਾਈਮਜ਼ ਥਿਊਰਮ ਨੂੰ ਤਿੰਨ ਦਿਨਾਂ ਵਿੱਚ ਰਸਮੀ ਬਣਾਉਣ ਲਈ ਕਾਫ਼ੀ ਸਨ।
ਚੇਤਾਵਨੀਆਂ ਅਸਲ ਰਹਿੰਦੀਆਂ ਹਨ। ਸਬੂਤ ਲਈ ਇੱਕ ਮਕਸਦ-ਬਣਾਇਆ ਪਲੇਟਫਾਰਮ, ਅਰਬਾਂ ਟੋਕਨਾਂ, ਅਤੇ ਇੱਕ ਅਸਧਾਰਨ ਤੌਰ 'ਤੇ ਸਾਫ਼ ਸਫਲਤਾ ਦੇ ਮਾਪਦੰਡ ਦੀ ਲੋੜ ਹੁੰਦੀ ਹੈ - ਇੱਕ ਉੱਤਰ ਕੁੰਜੀ ਦੀ ਜਾਂਚ ਕਰਨਾ ਜੋ ਪਹਿਲਾਂ ਹੀ ਮੌਜੂਦ ਹੈ, ਨਵੇਂ ਸਿਧਾਂਤਾਂ ਨੂੰ ਖੋਜਣ ਨਾਲੋਂ ਆਸਾਨ ਹੈ। ਪਰ ਇੱਕ ਪ੍ਰਦਰਸ਼ਨ ਦੇ ਤੌਰ 'ਤੇ ਕਿ ਏਆਈ ਸਿਸਟਮ ਹੁਣ ਫਰੰਟੀਅਰ 'ਤੇ ਗਣਿਤ ਨੂੰ ਰਸਮੀ ਬਣਾ ਸਕਦੇ ਹਨ, 358-ਸਾਲ ਦੀ ਸਮੱਸਿਆ ਦੇ ਵਿਰੁੱਧ 11 ਦਿਨ ਇਸ ਗੱਲ ਨੂੰ ਜਿੰਨਾ ਸੰਭਵ ਹੋ ਸਕੇ ਸਪਸ਼ਟ ਤੌਰ 'ਤੇ ਬਣਾਉਂਦੇ ਹਨ।
---
AI ਤੋਂ ਅੱਗੇ ਰਹੋਨਵੀਨਤਮ AI ਖਬਰਾਂ, ਵਿਸ਼ਲੇਸ਼ਣ ਅਤੇ ਸਫਲਤਾਵਾਂ ਪ੍ਰਾਪਤ ਕਰੋ - ਸਭ ਇੱਕ ਥਾਂ 'ਤੇ।
ਹੋਰ AI ਖਬਰਾਂ ਪੜ੍ਹੋ →
