# ক্লডে ১১ দিনত ফাৰ্মেট প্ৰমাণ কৰিলে। ৰায়: SHIP IT.

Published: 2026-09-07

ক্লডে ফাৰ্মেটৰ শেষ উপপাদ্যৰ ১৩ নিযুত লাইনৰ লীন প্ৰমাণ লিখিবলৈ ১১ দিন আৰু প্ৰায় ৬ বিলিয়ন টোকেন ব্যয় কৰিছিল — প্ৰথম শেষৰ পৰা শেষলৈকে কম্পিউটাৰ-চেক কৰা প্ৰমাণ — আনহাতে যি গণিতজ্ঞই ইয়াক ২০২৪ চনৰ পৰা আনুষ্ঠানিক কৰি আহিছে তেওঁ কৈছে যে ই গাণিতিকভাৱে "আমাৰ বাবে বিশেষ একো নহয়" আৰু তথাপিও উৎসাহিত। একেদিনাই: বিশ্বৰ ১ নম্বৰ শ্বিন জিন-চেওৱে দুটা শিলৰ হেণ্ডিকাপেৰে কাটাগোক ২-১ গ’লত পৰাস্ত কৰিলে। ৰায়: SHIP IT.

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

## এই ভিডিঅ’টোত কি আছে

- ক্লডে লীন ৪ ত ফাৰ্মেটৰ শেষ উপপাদ্য আনুষ্ঠানিক কৰে
- ক্ৰোমিয়াম ছেণ্ডবক্স আৰচিই (CVE-2026-85046), ব্যৱহৃত, $১,০০০ বাউন্টি
- শ্বিন জিন-চেওৱে দুটা শিলৰ হেণ্ডিকাপেৰে কাটাগোক পৰাস্ত কৰে

## অনূদিত ট্ৰান্সক্ৰিপ্ট

মূল ইংৰাজী বৰ্ণনাৰ পৰা অনুবাদ কৰা হৈছে। উপলব্ধ অডিঅ’ আৰু কেপচন ইউটিউবে নিয়ন্ত্ৰণ কৰে।

0:00 ফাৰ্মেটে কৈছিল যে তেওঁৰ বিস্ময়কৰ প্ৰমাণ মাৰ্জিনত নুঠে, আৰু আজি এন্থ্ৰ'পিকে মাৰ্জিন প্ৰকাশ কৰিলে: তেৰ নিযুত লাইনৰ লীন, মেথলিবৰ পাঁচগুণ আকাৰ, এটা উপপাদ্য প্ৰমাণ কৰা যিটো প্ৰতিজন গণিতজ্ঞই ইতিমধ্যে বিশ্বাস কৰিছিল। এন্থ্ৰ'পিকে পোষ্ট কৰাৰ সময়ত টিবিলিসিত দহ বা এঘাৰ বাজিছিল, গতিকে স্বাভাৱিকতে মই সাৰ পাই আছিলোঁ। কালি গুগলৰ ক্ৰোম ১৫২ বাৰটা সুৰক্ষা ফিক্সৰ সৈতে আহিছিল, তাৰ ভিতৰত এটা V8 বাগ ইতিমধ্যে ব্যৱহৃত হৈছিল, আৰু ৰিপোৰ্টাৰজনক হাজাৰ ডলাৰ দিছিল, যিটো আমি পিছত পাম সেই ছেডানখনতকৈ কম।

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

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

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

2:00 ঝাকবোৰে কোনে কি প্ৰমাণ কৰিছিল সেইটো হেৰুৱাইছিল, যিটো আপোনাৰ অৰ্কেষ্ট্ৰেচন স্তৰ মাৰ্কেটিং বাজেটৰ সৈতে ৰেজেক্স হ'লে হয়। এঘাৰ দিনৰ পিছত মূল ন'ডটোত আছিল প্ৰমাণিত: তেৰ নিযুত লাইনৰ লীন, ২৯,৫০০ মধ্যৱৰ্তী উপপাদ্য, এটা আভ্যন্তৰীণ মডেলৰ পৰা প্ৰায় ছয় বিলিয়ন আউটপুট টোকেন যিটো ক্লড ফেবল ৫.১ ৰ সৈতে তুলনীয়। বিল্ডটো বিফল হয় যদিহে প্ৰমাণটো কেৱল লীনৰ তিনিটা মানক স্বতঃসিদ্ধৰ ওপৰত নিৰ্ভৰ নকৰে: দুঃখিত নহয়, কোনো নেটিভ সিদ্ধান্ত নহয়, কোনো প্ৰতাৰণা নহয়। ই ইয়াক পৰীক্ষা কৰাটোও সস্তা নহয়: এটা

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

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

3:24 শ্ৰেষ্ঠ বিৱৰণ: তেওঁ ৱেলছত এটা সংগীত মহোৎসৱত থাকোঁতে ইমেইলটো আহিছিল, তেওঁৰ 4Gৰ এটা বাৰ আছিল, এনে এটা নামৰ পৰা যিটো তেওঁ কেতিয়াও শুনা নাছিল, গতিকে তেওঁ ইয়াক এটা ঠগ বুলি উলাই কৰিছিল আৰু এসপ্তাহ পিছত পঢ়িছিল, যিটো যিকোনো বিষয় শাৰীৰ বাবে সঠিক সঁহাৰি য'ত end-to-end formalization থাকে। ইফালে, মানুহে এটা ঘূৰাই পালে। Go-ৰ বিশ্বৰ এক নম্বৰ খেলুৱৈ শ্বিন জিন-ছিঅ'-এ কাটাও-ক পৰাস্ত কৰিলে, আটাইতকৈ শক্তিশালী মুক্ত-উৎস Go ইঞ্জিন, ছিউলত দুখন খেলত এদিনত দুটা শিলৰ হেণ্ডিকাপ, যিটো শীৰ্ষ পেছাদাৰী আৰু এজন নতুন পেছাদাৰীৰ মাজৰ ব্যৱধান।

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

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

4:51 সেইটো এটা শুকুৰবাৰৰ বাবে বহুতো মাৰ্জিন; যদি আপুনি মোৰ কথা শুনাৰ পৰিৱৰ্তে এইটো পঢ়িব বিচাৰে কোৱা, দ্য ডিফ প্ৰতিটো পুৱাই আপোনাৰ ইনবক্সত আহে — দৈনিক diff ডটত বিনামূলীয়া dev, তলত লিংক। গতিকে, আজিৰ ৰায়: SHIP IT। কাৰ্নেলয়ে হয় কয়, বাজৰ্ডে হয় কয়, গণিত সলনি হোৱা নাই, কিন্তু আমি গণিত পৰীক্ষা কৰাৰ ধৰণটো এতিয়াহে সলনি হ'ল। এইটো আজিৰ ডিফ। মই Axrisi-ৰ নিকো।

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