# ਕਲਾਉਡ ਨੇ 11 ਦਿਨਾਂ ਵਿੱਚ ਫਰਮੇਟ ਨੂੰ ਸਾਬਤ ਕੀਤਾ। ਫੈਸਲਾ: SHIP IT.

Published: 2026-09-07

ਕਲਾਉਡ ਨੇ ਫਰਮੇਟ ਦੇ ਆਖਰੀ ਥਿਊਰਮ ਦਾ 13-ਮਿਲੀਅਨ-ਲਾਈਨ ਲੀਨ ਸਬੂਤ ਲਿਖਣ ਵਿੱਚ 11 ਦਿਨ ਅਤੇ ਲਗਭਗ 6 ਬਿਲੀਅਨ ਟੋਕਨ ਖਰਚ ਕੀਤੇ — ਜੋ ਕਿ ਪਹਿਲਾ ਸਿਰੇ ਤੋਂ ਸਿਰੇ ਤੱਕ ਕੰਪਿਊਟਰ-ਚੈੱਕ ਕੀਤਾ ਗਿਆ ਸੀ — ਜਦੋਂ ਕਿ ਗਣਿਤ-ਸ਼ਾਸਤਰੀ, ਜੋ 2024 ਤੋਂ ਇਸਨੂੰ ਰਸਮੀ ਬਣਾ ਰਿਹਾ ਹੈ, ਕਹਿੰਦਾ ਹੈ ਕਿ ਇਹ ਗਣਿਤਕ ਤੌਰ 'ਤੇ ਸਾਨੂੰ "ਅਸਲ ਵਿੱਚ ਕੁਝ ਵੀ ਨਹੀਂ ਦੱਸਦਾ" ਅਤੇ ਫਿਰ ਵੀ ਬਹੁਤ ਖੁਸ਼ ਹੈ। ਉਸੇ ਦਿਨ: ਗੋ ਵਰਲਡ ਨੰਬਰ 1 ਸ਼ਿਨ ਜਿਨ-ਸੀਓ ਨੇ ਕਾਟਾਗੋ ਨੂੰ ਦੋ-ਪੱਥਰ ਦੇ ਹੈਂਡੀਕੈਪ ਨਾਲ 2-1 ਨਾਲ ਹਰਾਇਆ। ਫੈਸਲਾ: SHIP IT.

Canonical: https://thedailydiff.dev/pa/video/2026-09-04-fermat-lean/

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

- ਕਲਾਉਡ ਲੀਨ 4 ਵਿੱਚ ਫਰਮੇਟ ਦੇ ਆਖਰੀ ਥਿਊਰਮ ਨੂੰ ਰਸਮੀ ਬਣਾਉਂਦਾ ਹੈ
- ਕਰੋਮੀਅਮ ਸੈਂਡਬਾਕਸ RCE (CVE-2026-85046), ਜਿਸਦੀ ਵੱਡੇ ਪੱਧਰ 'ਤੇ ਵਰਤੋਂ ਕੀਤੀ ਗਈ, $1,000 ਇਨਾਮ
- ਸ਼ਿਨ ਜਿਨ-ਸੀਓ ਨੇ ਦੋ-ਪੱਥਰ ਦੇ ਹੈਂਡੀਕੈਪ ਨਾਲ ਕਾਟਾਗੋ ਨੂੰ ਹਰਾਇਆ

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

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

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

0:26 ਕੱਲ੍ਹ ਹੀ, ਮੁਲਵਾਡ ਨੇ ਕਿਹਾ ਕਿ ਉਹ 2 ਨਵੰਬਰ ਨੂੰ ਆਪਣੀ ਜਨਤਕ ਏਨਕ੍ਰਿਪਟਡ DNS ਬੰਦ ਕਰ ਰਿਹਾ ਹੈ ਅਤੇ ਇਸਦੀ ਬਜਾਏ Quad9 ਨੂੰ ਭੁਗਤਾਨ ਕਰ ਰਿਹਾ ਹੈ, ਅਤੇ ਅੱਜ ਸਵੇਰੇ ਰਸਟ ਰਿਐਕਟ ਕੰਪਾਈਲਰ ਵੀਟੇ ਵਿੱਚ ਨੇਟਿਵ ਹੋ ਗਿਆ, ਜਦੋਂ ਕਿ ਹੈਕਰ ਨਿਊਜ਼ ਨੇ IBM ਬੌਬ ਦੀ ਖੋਜ ਕੀਤੀ, ਇੱਕ AI ਕੋਡਿੰਗ ਏਜੰਟ। ਫਿਰ ਕਲਾਉਡ ਨੇ ਫਰਮੇਟ ਦੇ ਆਖਰੀ ਥਿਊਰਮ ਨੂੰ ਰਸਮੀ ਬਣਾਇਆ, ਅਤੇ ਉਸੇ ਪਹਿਲੇ ਪੰਨੇ 'ਤੇ ਇੱਕ ਕੋਰੀਅਨ ਗ੍ਰੈਂਡਮਾਸਟਰ ਨੇ ਧਰਤੀ ਦੇ ਸਭ ਤੋਂ ਮਜ਼ਬੂਤ ​​ਗੋ ਇੰਜਣ ਨੂੰ ਹਰਾਇਆ, ਇਸ ਲਈ ਅੱਜ ਮਨੁੱਖਤਾ ਇੱਕ ਲਈ ਦੋ ਹੋ ਗਈ। ਇਸ ਵੀਡੀਓ ਵਿੱਚ: ਕਲਾਉਡ ਨੇ ਅਸਲ ਵਿੱਚ ਕੀ ਸਾਬਤ ਕੀਤਾ, ਇਸਦੀ ਕੀਮਤ ਕਿੰਨੀ ਸੀ,

0:52 ਕਿਉਂ ਉਹ ਗਣਿਤ-ਸ਼ਾਸਤਰੀ ਜਿਸਨੇ ਆਪਣਾ ਕਰੀਅਰ ਇਸ 'ਤੇ ਬਿਤਾਇਆ ਕਹਿੰਦਾ ਹੈ ਕਿ ਇਹ ਕੁਝ ਵੀ ਨਹੀਂ ਬਦਲਦਾ ਅਤੇ ਫਿਰ ਵੀ ਖੁਸ਼ ਹੈ, ਅਤੇ ਇੱਕ ਮਨੁੱਖ ਨੇ ਗੋ ਵਿੱਚ ਮਸ਼ੀਨ ਨੂੰ ਕਿਵੇਂ ਹਰਾਇਆ। ਇਹ ਸ਼ੁੱਕਰਵਾਰ, 4 ਸਤੰਬਰ ਹੈ, ਅਤੇ ਇਹ The Daily Diff ਹੈ। ਫਰਮੇਟ ਦਾ ਆਖਰੀ ਥਿਊਰਮ: ਕੋਈ ਵੀ ਸਕਾਰਾਤਮਕ ਪੂਰਨ ਅੰਕ a, b, c n ਤੋਂ 2 ਤੋਂ ਵੱਧ ਕਿਸੇ ਵੀ n ਲਈ a ਦੀ ਘਾਤ n ਜਮ੍ਹਾ b ਦੀ ਘਾਤ n ਬਰਾਬਰ c ਦੀ ਘਾਤ n ਨੂੰ ਸੰਤੁਸ਼ਟ ਨਹੀਂ ਕਰਦੇ। ਫਰਮੇਟ ਨੇ ਇਸਨੂੰ ਲਗਭਗ 1637 ਵਿੱਚ ਇੱਕ ਮਾਰਜਨ ਵਿੱਚ ਲਿਖਿਆ ਅਤੇ ਆਪਣਾ ਕੰਮ ਦਿਖਾਏ ਬਿਨਾਂ ਹੀ ਮਰ ਗਿਆ, ਜਿਸ ਨਾਲ ਉਹ works on my machine ਨਾਲ ਇੱਕ ਟਿਕਟ ਬੰਦ ਕਰਨ ਵਾਲਾ ਪਹਿਲਾ ਡਿਵੈਲਪਰ ਬਣ ਗਿਆ। 1908 ਵਿੱਚ 100,000 ਸੋਨੇ ਦੇ ਨਿਸ਼ਾਨਾਂ ਦਾ ਇੱਕ ਇਨਾਮ ਇਸਦੇ ਪਹਿਲੇ ਸਾਲ ਵਿੱਚ 621 ਗਲਤ

1:25 ਸਬੂਤਾਂ ਨੂੰ ਆਕਰਸ਼ਿਤ ਕੀਤਾ, ਅਤੇ ਐਂਡਰਿਊ ਵਾਈਲਸ ਨੇ ਆਖਰਕਾਰ ਇਸਨੂੰ 1995 ਵਿੱਚ ਪ੍ਰਾਪਤ ਕੀਤਾ, 129 ਪੰਨਿਆਂ ਵਿੱਚ ਜਿਨ੍ਹਾਂ ਨੂੰ ਰੈਫਰੀਆਂ ਨੂੰ ਪ੍ਰਮਾਣਿਤ ਕਰਨ ਵਿੱਚ ਮਹੀਨੇ ਲੱਗੇ। ਰਸਮੀ ਬਣਾਉਣ ਦਾ ਮਤਲਬ ਹੈ ਉਸ ਸਬੂਤ ਨੂੰ ਦੁਬਾਰਾ ਲਿਖਣਾ ਤਾਂ ਜੋ ਲੀਨ, ਇੱਕ ਸਬੂਤ ਸਹਾਇਕ, ਹਰ ਕਦਮ ਨੂੰ ਮਸ਼ੀਨੀ ਤੌਰ 'ਤੇ ਜਾਂਚ ਸਕੇ, ਅਤੇ ਇੰਪੀਰੀਅਲ ਵਿੱਚ ਕੇਵਿਨ ਬਜ਼ਾਰਡ ਨੇ 2024 ਤੋਂ ਬਿਲਕੁਲ ਅਜਿਹਾ ਕਰਨ ਲਈ ਮਨੁੱਖੀ ਯਤਨਾਂ ਦੀ ਅਗਵਾਈ ਕੀਤੀ ਹੈ; ਬਲੂਪ੍ਰਿੰਟ ਇਕੱਲਾ 86 ਪੰਨਿਆਂ ਦਾ ਹੈ। ਐਂਥ੍ਰੋਪਿਕ ਖੋਜਕਰਤਾ ਤਿਆਨੀ ਪੇਂਗ ਨੇ ਇਸ 'ਤੇ ਕਲਾਉਡ ਏਜੰਟਾਂ ਦੇ ਦਰਜਨਾਂ ਨੂੰ ਨਿਰਦੇਸ਼ਿਤ ਕੀਤਾ ਇਸਦੀ ਬਜਾਏ, Prove2Me ਨਾਮਕ ਇੱਕ ਪਲੇਟਫਾਰਮ 'ਤੇ ਜੋ ਥਿਊਰਮ ਦੇ ਇੱਕ DAG ਨੂੰ ਰੱਖਦਾ ਹੈ ਬਿਆਨ ਤਾਂ ਜੋ ਏਜੰਟਾਂ ਨੂੰ ਪਤਾ ਹੋਵੇ ਕਿ ਅੱਗੇ ਕੀ ਸਾਬਤ ਕਰਨਾ ਹੈ, ਕਿਉਂਕਿ ਇਸ ਤੋਂ ਬਿਨਾਂ ਪਹਿਲੇ

2:00 ਝੁੰਡ ਇਹ ਭੁੱਲ ਗਏ ਕਿ ਕੌਣ ਕੀ ਸਾਬਤ ਕਰ ਰਿਹਾ ਸੀ, ਜੋ ਉਦੋਂ ਹੁੰਦਾ ਹੈ ਜਦੋਂ ਤੁਹਾਡੀ ਆਰਕੈਸਟ੍ਰੇਸ਼ਨ ਲੇਅਰ ਮਾਰਕੀਟਿੰਗ ਬਜਟ ਨਾਲ ਰੈਗੈਕਸ ਹੁੰਦੀ ਹੈ। ਗਿਆਰਾਂ ਦਿਨਾਂ ਬਾਅਦ ਰੂਟ ਨੋਡ ਨੇ PROVED ਪੜ੍ਹਿਆ: ਲੀਨ ਦੀਆਂ ਤੇਰਾਂ ਮਿਲੀਅਨ ਲਾਈਨਾਂ, 29,500 ਵਿਚਕਾਰਲੇ ਥਿਊਰਮ, ਇੱਕ ਅੰਦਰੂਨੀ ਮਾਡਲ ਤੋਂ ਲਗਭਗ ਛੇ ਬਿਲੀਅਨ ਆਉਟਪੁੱਟ ਟੋਕਨ ਲਗਭਗ ਕਲਾਉਡ ਫੇਬਲ 5.1 ਦੇ ਬਰਾਬਰ। ਬਿਲਡ ਅਸਫਲ ਹੋ ਜਾਂਦਾ ਹੈ ਜਦੋਂ ਤੱਕ ਸਬੂਤ ਸਿਰਫ਼ ਲੀਨ ਦੇ ਤਿੰਨ ਸਟੈਂਡਰਡ ਸਿਧਾਂਤਾਂ 'ਤੇ ਅਧਾਰਤ ਨਹੀਂ ਹੁੰਦਾ: ਨਹੀਂ ਮਾਫ਼ ਕਰਨਾ, ਕੋਈ ਨੇਟਿਵ ਫੈਸਲਾ ਨਹੀਂ, ਕੋਈ ਧੋਖਾਧੜੀ ਨਹੀਂ। ਇਸਦੀ ਜਾਂਚ ਕਰਨਾ ਵੀ ਸਸਤਾ ਨਹੀਂ ਹੈ: ਇੱਕ

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

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

3:24 ਸਭ ਤੋਂ ਵਧੀਆ ਵੇਰਵਾ: ਈਮੇਲ ਉਦੋਂ ਪਹੁੰਚੀ ਜਦੋਂ ਉਹ ਵੇਲਜ਼ ਵਿੱਚ ਇੱਕ ਸੰਗੀਤ ਉਤਸਵ ਵਿੱਚ ਸੀ, ਇੱਕ ਬਾਰ 4G ਦੇ ਨਾਲ, ਇੱਕ ਅਜਿਹੇ ਨਾਮ ਤੋਂ ਜੋ ਉਸਨੇ ਕਦੇ ਨਹੀਂ ਸੁਣਿਆ ਸੀ, ਇਸਲਈ ਉਸਨੇ ਇਸਨੂੰ ਇੱਕ ਸ਼ਰਾਰਤ ਸਮਝ ਕੇ ਰੱਦ ਕਰ ਦਿੱਤਾ, ਅਤੇ ਇੱਕ ਹਫ਼ਤੇ ਬਾਅਦ ਪੜ੍ਹਿਆ, ਜੋ ਕਿਸੇ ਵੀ ਵਿਸ਼ੇ ਦੀ ਲਾਈਨ ਲਈ ਸਹੀ ਪ੍ਰਤੀਕਿਰਿਆ ਹੈ, ਜਿਸ ਵਿੱਚ ਐਂਡ-ਟੂ-ਐਂਡ ਰਸਮੀਕਰਨ ਸ਼ਾਮਲ ਹੈ। ਇਸ ਦੌਰਾਨ, ਮਨੁੱਖਾਂ ਨੇ ਇੱਕ ਵਾਪਸ ਪ੍ਰਾਪਤ ਕੀਤਾ। ਗੋ ਵਿੱਚ ਵਿਸ਼ਵ ਦੇ ਨੰਬਰ ਇੱਕ ਸ਼ਿਨ ਜਿਨ-ਸੀਓ ਨੇ ਕਾਟਾਗੋ ਨੂੰ ਹਰਾਇਆ, ਸਭ ਤੋਂ ਸ਼ਕਤੀਸ਼ਾਲੀ ਓਪਨ-ਸੋਰਸ ਗੋ ਇੰਜਣ, ਸਿਓਲ ਵਿੱਚ ਦੋ ਗੇਮਾਂ ਵਿੱਚ ਇੱਕ ਤੋਂ ਦੋ-ਪੱਥਰ ਦੇ ਹੈਂਡੀਕੈਪ ਨਾਲ, ਲਗਭਗ ਇੱਕ ਚੋਟੀ ਦੇ ਪੇਸ਼ੇਵਰ ਅਤੇ ਇੱਕ ਨਵੇਂ ਪੇਸ਼ੇਵਰ ਵਿਚਕਾਰ ਪਾੜਾ।

3:50 ਫੈਸਲਾਕੁੰਨ ਮੈਚ 221 ਚਾਲਾਂ ਵਿੱਚ 11.5-ਪੁਆਇੰਟ ਦੀ ਜਿੱਤ ਸੀ, ਮੱਧ-ਖੇਡ ਤੋਂ 99 ਪ੍ਰਤੀਸ਼ਤ ਜਿੱਤ ਦੀ ਸੰਭਾਵਨਾ ਬਣਾਈ ਰੱਖਦਿਆਂ, ਅਤੇ ਉਹ 250 ਮਿਲੀਅਨ ਵੌਨ, ਲਗਭਗ 170,000 ਡਾਲਰ, ਪਲੱਸ ਇੱਕ ਜੈਨੇਸਿਸ G90 ਲੈ ਕੇ ਗਿਆ, ਇਸਲਈ ਇੱਕ ਮਹਾਂਮਾਨਵੀ AI ਨੂੰ ਹਰਾਉਣ ਲਈ ਇਨਾਮ ਕ੍ਰੋਮ ਸੈਂਡਬੌਕਸ ਤੋਂ ਬਚਣ ਲਈ ਗੂਗਲ ਦੇ ਇਨਾਮ ਦਾ 170 ਗੁਣਾ ਹੈ। ਉਸਦੀ ਵਿਆਖਿਆ: ਸ਼ੁਰੂਆਤ ਵਿੱਚ ਉਸਨੇ AI ਚਾਲਾਂ ਦੀ ਨਕਲ ਕੀਤੀ ਅਤੇ ਹਾਰ ਗਿਆ; ਉਸਨੇ ਆਪਣੀ ਖੁਦ ਦੀ ਸ਼ੈਲੀ ਵਿੱਚ ਬੋਰਡ ਬਣਾ ਕੇ ਜਿੱਤ ਪ੍ਰਾਪਤ ਕੀਤੀ, ਜੋ ਕਿ AI ਬਾਰੇ ਸਭ ਤੋਂ ਉਪਯੋਗੀ ਸਲਾਹ ਹੈ ਜੋ ਮੈਂ ਪੂਰੇ ਸਾਲ ਸੁਣੀ ਹੈ, ਅਤੇ ਇਹ ਇੱਕ ਬੋਰਡ ਗੇਮ ਤੋਂ ਆਈ ਹੈ। ਡਿਫ ਵਿੱਚ ਦੋ ਹੋਰ ਲਾਈਨਾਂ।

4:22 oxc ਤੋਂ ਰਸਟ ਰੀਐਕਟ ਕੰਪਾਈਲਰ ਹੁਣ ਇੱਕ ਫਲੈਗ ਦੇ ਪਿੱਛੇ ਵੀਟ ਵਿੱਚ ਮੂਲ ਰੂਪ ਵਿੱਚ ਹੈ; ਇੱਕ 1,036-ਫਾਈਲ ਕੋਡਬੇਸ ਕੰਪਾਇਲ ਕਦਮ ਵਿੱਚ 14.3 ਸਕਿੰਟ ਤੋਂ 0.81 ਤੱਕ ਗਿਆ, ਜ਼ਿਆਦਾਤਰ Babel ਨੂੰ package.json ਤੋਂ ਹਟਾ ਕੇ, ਜੋ ਕਿ ਮੇਰੀ ਸਕਿਨਕੇਅਰ ਰੁਟੀਨ ਵੀ ਹੈ। ਅਤੇ IBM ਨੇ ਬੌਬ ਲਾਂਚ ਕੀਤਾ, ਇੱਕ AI ਕੋਡਿੰਗ ਪਾਰਟਨਰ ਜੋ ਤੁਹਾਨੂੰ 'ਹਾਈ, ਮੈਂ ਬੌਬ ਹਾਂ,' ਨਾਲ ਨਮਸਕਾਰ ਕਰਦਾ ਹੈ, ਸਬਏਜੈਂਟਸ ਬਣਾਉਂਦਾ ਹੈ, ਮੇਨਫ੍ਰੇਮ ਕੋਡ ਨੂੰ ਆਧੁਨਿਕ ਬਣਾਉਂਦਾ ਹੈ, ਅਤੇ ਬੋਬਾਲਿਟਿਕਸ ਨਾਮਕ ਇੱਕ ਵਿਸ਼ਲੇਸ਼ਣ ਉਤਪਾਦ ਭੇਜਦਾ ਹੈ, ਇਸਲਈ ਕਿਤੇ ਕੋਈ ਬੈਂਕ ਬਹੁਤ ਉਤਸ਼ਾਹਿਤ ਹੈ ਅਤੇ ਕਿਸੇ ਨੇ ਲਾਇਸੈਂਸ ਨਹੀਂ ਪੜ੍ਹਿਆ।

4:51 ਇਹ ਇੱਕ ਸ਼ੁੱਕਰਵਾਰ ਲਈ ਬਹੁਤ ਜ਼ਿਆਦਾ ਮਾਰਜਨ ਹੈ; ਜੇ ਤੁਸੀਂ ਮੈਨੂੰ ਇਹ ਕਹਿੰਦੇ ਸੁਣਨ ਦੀ ਬਜਾਏ ਇਸਨੂੰ ਪੜ੍ਹਨਾ ਚਾਹੁੰਦੇ ਹੋ, ਤਾਂ ਡਿਫ ਹਰ ਸਵੇਰ ਤੁਹਾਡੇ ਇਨਬਾਕਸ ਵਿੱਚ ਆਉਂਦਾ ਹੈ — daily diff dot dev 'ਤੇ ਮੁਫਤ, ਲਿੰਕ ਹੇਠਾਂ ਦਿੱਤਾ ਗਿਆ ਹੈ। ਦੇਵ, ਲਿੰਕ ਹੇਠਾਂ। ਤਾਂ, ਅੱਜ ਦਾ ਫੈਸਲਾ: SHIP IT. ਕਰਨਲ ਹਾਂ ਕਹਿੰਦਾ ਹੈ, ਬਜ਼ਾਰਡ ਹਾਂ ਕਹਿੰਦਾ ਹੈ, ਗਣਿਤ ਨਹੀਂ ਬਦਲਿਆ, ਪਰ ਜਿਸ ਤਰੀਕੇ ਨਾਲ ਅਸੀਂ ਗਣਿਤ ਦੀ ਜਾਂਚ ਕਰਦੇ ਹਾਂ ਉਹ ਹੁਣੇ ਬਦਲ ਗਿਆ ਹੈ। ਇਹ ਅੱਜ ਦਾ ਡਿਫ ਹੈ। ਮੈਂ ਐਕਸਰਿਸੀ ਤੋਂ ਨਿਕੋ ਹਾਂ।

5:09 ਜ਼ਿੰਮੇਵਾਰੀ ਨਾਲ ਮਰਜ ਕਰੋ।

## ਸਰੋਤ

- [Anthropic — Formalizing Fermat's Last Theorem](https://www.anthropic.com/research/formalizing-fermats-last-theorem) — www.anthropic.com
- [The proof (Lean 4, Apache-2.0)](https://github.com/anthropics/fermats-last-theorem) — github.com
- [Kevin Buzzard — FLT: Anthropic has beaten me to it](https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/) — xenaproject.wordpress.com
- [HN thread](https://news.ycombinator.com/item?id=49568506) — news.ycombinator.com
- [KED Global — Shin defeats KataGo](https://www.kedglobal.com/artificial-intelligence/newsView/ked202607210007) — www.kedglobal.com
- [HN](https://news.ycombinator.com/item?id=49544762) — news.ycombinator.com
- [Chrome 152 release notes (CVE-2026-85046)](https://chromereleases.googleblog.com/2026/09/stable-channel-update-for-desktop_01882797386.html) — chromereleases.googleblog.com
- [NVD](https://nvd.nist.gov/vuln/detail/cve-2026-85046) — nvd.nist.gov
- [Mullvad — shutting down public encrypted DNS](https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-instead) — mullvad.net
- [Rust React Compiler native in Vite](https://blog.master.dev/react-now-rusted-all-the-way-out/) — blog.master.dev
- [IBM Bob](https://bob.ibm.com/) — bob.ibm.com