# ক্লদ ১১ দিনে ফার্মাটের উপপাদ্য প্রমাণ করেছে। রায়: SHIP IT।

Published: 2026-09-07

ক্লদ ১১ দিন এবং প্রায় ৬ বিলিয়ন টোকেন ব্যয় করে ফার্মাটের শেষ উপপাদ্যের ১৩ মিলিয়ন লাইনের একটি লিন প্রমাণ লিখেছে—যা প্রথম এন্ড-টু-এন্ড কম্পিউটার-পরীক্ষিত প্রমাণ—যদিও একজন গণিতবিদ যিনি ২০২৪ সাল থেকে এটি আনুষ্ঠানিক করছেন তিনি বলছেন যে এটি গাণিতিকভাবে “আমাদেরকে অপরিহার্যভাবে কিছুই বলে না” এবং তা সত্ত্বেও তিনি উচ্ছ্বসিত। একই দিনে: বিশ্বের ১ নম্বর গো খেলোয়াড় শিন জিন-সিও দুই পাথরের হ্যান্ডিক্যাপ নিয়ে কাটাগোকে ২-১ এ হারান। রায়: SHIP IT।

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

## এই ভিডিওতে যা আছে

- ক্লদ লিন ৪-এ ফার্মাটের শেষ উপপাদ্যকে আনুষ্ঠানিক করে
- ক্রোমিয়াম স্যান্ডবক্স আরসিই (CVE-2026-85046), বাস্তবে কাজে লাগানো হয়েছে, $1,000 বাউন্টি
- শিন জিন-সিও দুই পাথরের হ্যান্ডিক্যাপ নিয়ে কাটাগোকে হারান

## অনুবাদিত প্রতিলিপি

মূল ইংরেজি বর্ণনা থেকে অনূদিত। উপলব্ধ অডিও এবং ক্যাপশন YouTube দ্বারা নিয়ন্ত্রিত।

0:00 ফার্মাট বলেছিলেন তার অসাধারণ প্রমাণ মার্জিনে ধরবে না, এবং আজ অ্যানথ্রোপিক মার্জিন প্রকাশ করেছে: লিনের তেরো মিলিয়ন লাইন, ম্যাথলিবের পাঁচগুণ বড়, এমন একটি উপপাদ্য প্রমাণ করে যা প্রতিটি গণিতবিদ ইতিমধ্যেই বিশ্বাস করতেন। অ্যানথ্রোপিক পোস্ট করার সময় তিবিলিসিতে দশটা থেকে এগারোটা বাজছিল, সুতরাং স্বাভাবিকভাবেই আমি জেগে ছিলাম। গতকাল গুগল ১২টি নিরাপত্তা ফিক্স সহ ক্রোম ১৫২ প্রকাশ করেছে, তাদের মধ্যে একটি V8 বাগ ইতিমধ্যেই বাস্তবে কাজে লাগানো হয়েছিল, এবং প্রতিবেদককে এক হাজার ডলার দিয়েছে, যা আমরা পরে যে সেডানটি দেখব তার থেকে কম।

0:26 এছাড়াও গতকাল, মুলভাদ বলেছে যে তারা ২রা নভেম্বর তাদের পাবলিক এনক্রিপ্টেড ডিএনএস বন্ধ করে দিচ্ছে এবং এর পরিবর্তে Quad9 কে এর দায়িত্ব দিচ্ছে, এবং আজ সকালে রাস্ট রিঅ্যাক্ট কম্পাইলার ভাইটে নেটিভ হয়ে গেছে, যখন হ্যাকার নিউজ আইবিএম বব একটি এআই কোডিং এজেন্ট আবিষ্কার করেছে। তারপর ক্লদ ফার্মাটের শেষ উপপাদ্যকে আনুষ্ঠানিক করে, এবং একই প্রথম পাতায় একজন কোরিয়ান গ্র্যান্ডমাস্টার পৃথিবীর সবচেয়ে শক্তিশালী গো ইঞ্জিনকে হারান, সুতরাং আজ মানবতা এক-এর জন্য দুই করে। এই ভিডিওতে: ক্লদ আসলে কী প্রমাণ করেছে, এর খরচ কত হয়েছে,

0:52 কেন যে গণিতবিদ তার কর্মজীবন এর উপর ব্যয় করেছেন তিনি বলেন যে এটি কিছুই পরিবর্তন করে না এবং তা সত্ত্বেও উচ্ছ্বসিত, এবং কিভাবে একজন মানুষ গো তে যন্ত্রকে হারাল। আজ শুক্রবার, ৪ সেপ্টেম্বর, এবং এটি The Daily Diff। ফার্মাটের শেষ উপপাদ্য: কোনো ধনাত্মক পূর্ণসংখ্যা a, b, c n-এর ২-এর বেশি যেকোনো মানের জন্য a টু দ্য n প্লাস b টু দ্য n ইকুয়াল c টু দ্য n কে সিদ্ধ করে না। ফার্মাট প্রায় ১৬৩৭ সালে একটি মার্জিনে এটি লিখেছিলেন এবং তার কাজ না দেখিয়েই মারা যান, তাকে প্রথম ডেভেলপার বানিয়ে যিনি 'আমার মেশিনে কাজ করে' বলে একটি টিকিট বন্ধ করেছিলেন। ১৯০৮ সালের ১,০০,০০০ স্বর্ণ মুদ্রার পুরস্কার তার প্রথম বছরে ৬২১টি ভুল

1:25 প্রমাণ আকর্ষণ করেছিল, এবং অ্যান্ড্রু ওয়াইলস অবশেষে এটি ১৯৯৫ সালে পেয়েছিলেন, ১২৯ পৃষ্ঠায় যা যাচাই করতে রেফারীদের কয়েক মাস লেগেছিল। আনুষ্ঠানিকীকরণ মানে সেই প্রমাণকে এমনভাবে আবার লেখা যাতে লিন, একটি প্রমাণ সহায়ক, প্রতিটি ধাপ যান্ত্রিকভাবে পরীক্ষা করতে পারে, এবং ইম্পেরিয়ালের কেভিন বাজ্জার্ড ২০১৪ সাল থেকে এর জন্য একটি মানবিক প্রচেষ্টার নেতৃত্ব দিয়েছেন; শুধুমাত্র ব্লুপ্রিন্টই ৮৬ পৃষ্ঠা চলে। অ্যানথ্রোপিকের গবেষক তিয়ানি পেং এর পরিবর্তে ডজনখানেক ক্লদ এজেন্টকে এর দিকে নির্দেশ দেন একটি প্ল্যাটফর্মে যার নাম Prove2Me যা উপপাদ্য বিবৃতির একটি DAG রাখে যাতে এজেন্টরা জানে এরপর কী প্রমাণ করতে হবে, কারণ এটি ছাড়া প্রথম

2:00 ঝাঁক কে কী প্রমাণ করছে তা হারিয়ে ফেলেছিল, যা ঘটে যখন আপনার অরকেস্ট্রেশন লেয়ার একটি মার্কেটিং বাজেট সহ রেজেক্স হয়। এগারো দিন পর রুট নোডে লেখা ছিল PROVED: লিনের তেরো মিলিয়ন লাইন, ২৯,৫০০ মধ্যবর্তী উপপাদ্য, একটি অভ্যন্তরীণ মডেল থেকে প্রায় ছয় বিলিয়ন আউটপুট টোকেন যা মোটামুটি ক্লদ ফেবল ৫.১-এর সাথে তুলনীয়। বিল্ড ব্যর্থ হয় যদি প্রমাণটি ঠিক লিনের তিনটি স্ট্যান্ডার্ড স্বতঃসিদ্ধের উপর ভিত্তি করে না হয়: না দুঃখিত, নেটিভ সিদ্ধান্ত নেই, প্রতারণা নেই। এটি পরীক্ষা করাও সস্তা নয়: একটি

2:29 শূন্য থেকে বিল্ড করতে পাঁচ ঘণ্টা লেগেছে ৯৬টি কোর এবং ১৫৩ গিগাবাইট র‍্যামে, এবং উপপাদ্যের নামগুলি মেশিন-জেনারেটেড, তাই রেপোটি নিজেকে পড়ার পরিবর্তে পরীক্ষা করার জন্য লেখা হয়েছে বলে বর্ণনা করে, যা আমি এন্টারপ্রাইজ জাভাকেও বর্ণনা করব। এবার দ্বন্দ্ব। অ্যানথ্রোপিকের পোস্ট বলছে লিন নিঃসন্দেহে সঠিকতা প্রমাণ করে। কেভিন বাজ্জার্ড, যিনি এর দ্বারা পরাজিত হয়েছিলেন, অ্যানথ্রোপিক তাকে ধার দেওয়া একটি ৫০০ গিগাবাইট মেশিনে রেপোটি কম্পাইল করেন, নিশ্চিত করেন যে এটি ঠিক আছে, এবং তারপর লিখেন,

2:56 উদ্ধৃতি, গাণিতিকভাবে এই কাজটি আমাদেরকে অপরিহার্যভাবে কিছুই বলে না। তিনি ইতিমধ্যেই ৯৯.৯ শতাংশ নিশ্চিত ছিলেন যে উপপাদ্যটি সত্য ছিল, এবং প্রমাণটি কোনো নতুন গণিত যোগ করে না; এটি যা দেখায় তা হল স্বয়ংক্রিয় আনুষ্ঠানিকীকরণ এখন কী করতে পারে, এবং সেই অংশটি নিয়ে তিনি সত্যিই উত্তেজিত। তাকে পাঁচ বছরে এক মিলিয়ন পাউন্ড দেওয়া হয়েছিল; অ্যানথ্রোপিক নিয়েছিল এগারো দিন, এবং একজন মন্তব্যকারীর ন্যাপকিন গণিত অনুযায়ী ছয় বিলিয়ন আউটপুট টোকেনের মূল্য তালিকা অনুযায়ী। প্রায় 300,000 ডলার, তাই মেশিনটি সস্তা ছিল, যদি না আপনি মেশিনের প্রশিক্ষণের হিসাব করেন, যা কেউ করে না।

3:24 সেরা বিস্তারিত: তিনি যখন ওয়েলসে একটি সঙ্গীত উৎসবে ছিলেন তখন ইমেলটি এসেছিল, তার কাছে ছিল এক বার 4G, একটি অচেনা নাম থেকে, তাই তিনি এটিকে একটি বাজে কথা ভেবে বাতিল করে দিয়েছিলেন এবং এক সপ্তাহ পরে এটি পড়েছিলেন, যা end-to-end formalization সম্বলিত যেকোনো সাবজেক্ট লাইনের সঠিক প্রতিক্রিয়া। end-to-end formalization সম্বলিত। এদিকে, মানুষ এক পয়েন্ট ফিরে পেল। Go-এর বিশ্বসেরা শিন জিন-সিও, KataGo-কে হারালেন, সবচেয়ে শক্তিশালী ওপেন-সোর্স Go ইঞ্জিন, সিউলে দুটি খেলায় এক গোলে দুই-পাথরের হ্যান্ডিক্যাপ নিয়ে, যা একজন শীর্ষ পেশাদার এবং একজন নবীন পেশাদারের মধ্যেকার ব্যবধানের সমান।

3:50 নির্ধারকটি ছিল 221 চালে 11.5 পয়েন্টের জয়, মাঝামাঝি খেলা থেকে 99 শতাংশ জয়ের সম্ভাবনা ধরে রেখেছিলেন, এবং তিনি 250 মিলিয়ন ওন, প্রায় 170,000 ডলার, এবং একটি জেনেসিস G90 বাড়িতে নিয়ে যান, তাই একটি অতিমানবীয় এআইকে হারানোর জন্য পুরস্কার গুগল ক্রোম স্যান্ডবক্স পালানোর জন্য গুগলের পুরস্কারের 170 গুণ। তার ব্যাখ্যা: শুরুতে তিনি এআই চালগুলি নকল করেছিলেন এবং হেরেছিলেন; তিনি জিতেছিলেন তার নিজের স্টাইলে বোর্ড তৈরি করে, যা এআই সম্পর্কে আমার শোনা এই বছরের সবচেয়ে দরকারী পরামর্শ, এবং এটি একটি বোর্ড গেম থেকে এসেছিল। নিজের স্টাইলে বোর্ড তৈরি করে, যা এআই সম্পর্কে আমার শুনেছি এই বছর, এবং এটি একটি বোর্ড গেম থেকে এসেছে। diff-এ আরও দুটি লাইন।

4:22 oxc থেকে Rust React কম্পাইলার এখন একটি ফ্ল্যাগের পিছনে Vite-এ নেটিভ; একটি 1,036-ফাইল কোডবেস কম্পাইল ধাপে 14.3 সেকেন্ড থেকে 0.81 সেকেন্ডে চলে এসেছে, মূলত package.json থেকে Babel মুছে ফেলার মাধ্যমে, যা আমার স্কিনকেয়ার রুটিনও। package.json থেকে, যা আমার ত্বকের যত্নের রুটিনও। এবং IBM Bob চালু করেছে, একটি AI কোডিং অংশীদার যা আপনাকে Hi বলে শুভেচ্ছা জানায়, আমি Bob, সাবএজেন্ট তৈরি করে, মেইনফ্রেম কোড আধুনিক করে, এবং Bobalytics নামক একটি অ্যানালিটিক্স পণ্য শিপ করে, তাই কোথাও একটি ব্যাংক খুব উত্তেজিত এবং কেউ লাইসেন্স পড়েনি।

4:51 এক শুক্রবারের জন্য এটি অনেক বেশি মার্জিন; আপনি যদি আমার কথা শোনার চেয়ে এটি পড়তে চান, তবে প্রতিদিন সকালে আপনার ইনবক্সে The Daily Diff আসে — daily diff dot dev-এ বিনামূল্যে, লিঙ্ক নিচে। dev, নিচে লিঙ্ক। সুতরাং, আজকের রায়: SHIP IT। কার্নেল হ্যাঁ বলছে, বাজার্ড হ্যাঁ বলছে, গণিত পরিবর্তন হয়নি, কিন্তু গণিত পরীক্ষা করার পদ্ধতি সবেমাত্র পরিবর্তিত হয়েছে। এটি আজকের diff। আমি Axrisi থেকে Niko।

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