# ക്ലോഡ് 11 ദിവസത്തിനുള്ളിൽ ഫെർമാറ്റിനെ തെളിയിച്ചു. വിധി: SHIP IT.

Published: 2026-09-07

ക്ലോഡ് 11 ദിവസവും ഏകദേശം 6 ബില്യൺ ടോക്കണുകളും ഉപയോഗിച്ച് ഫെർമാറ്റിന്റെ അവസാന സിദ്ധാന്തത്തിന്റെ 13 ദശലക്ഷം വരികളുള്ള ലീൻ തെളിവ് എഴുതി — ആദ്യത്തെ എൻഡ്-ടു-എൻഡ് കമ്പ്യൂട്ടർ-പരിശോധിച്ച തെളിവ് — 2024 മുതൽ അത് ഔദ്യോഗികമാക്കിക്കൊണ്ടിരിക്കുന്ന ഗണിതശാസ്ത്രജ്ഞൻ പറയുന്നത് ഇത് ഗണിതശാസ്ത്രപരമായി "നമുക്ക് അടിസ്ഥാനപരമായി ഒന്നും പറയുന്നില്ല" എന്നും എന്നിട്ടും ആവേശം കൊള്ളുന്നുവെന്നുമാണ്. അതേ ദിവസം: ലോക ഒന്നാം നമ്പർ ഷിൻ ജിൻ-സിയോ, രണ്ട് കല്ല് ഹാൻഡിക്യാപ്പോടെ കറ്റാഗോയെ 2-1 ന് തോൽപ്പിക്കുന്നു. വിധി: SHIP IT.

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

## ഈ വീഡിയോയിൽ ഉൾപ്പെടുന്ന കാര്യങ്ങൾ

- ക്ലോഡ് ഫെർമാറ്റിന്റെ അവസാന സിദ്ധാന്തം ലീൻ 4-ൽ ഔദ്യോഗികമാക്കുന്നു
- Chromium സാൻഡ്‌ബോക്സ് RCE (CVE-2026-85046), പ്രായോഗികമായി ചൂഷണം ചെയ്യപ്പെട്ടു, $1,000 പാരിതോഷികം
- ഷിൻ ജിൻ-സിയോ, രണ്ട് കല്ല് ഹാൻഡിക്യാപ്പോടെ കറ്റാഗോയെ തോൽപ്പിക്കുന്നു

## വിവർത്തനം ചെയ്ത ട്രാൻസ്ക്രിപ്റ്റ്

യഥാർത്ഥ ഇംഗ്ലീഷ് ആഖ്യാനത്തിൽ നിന്ന് വിവർത്തനം ചെയ്തത്. ലഭ്യമായ ഓഡിയോയും അടിക്കുറിപ്പുകളും YouTube നിയന്ത്രിക്കുന്നു.

0:00 ഫെർമാറ്റ് പറഞ്ഞു, തന്റെ അത്ഭുതകരമായ തെളിവ് മാർജിനിൽ ഒതുങ്ങില്ലെന്ന്, ഇന്ന് ആന്ത്രോപിക് മാർജിൻ പ്രസിദ്ധീകരിച്ചു: പതിമൂന്ന് ദശലക്ഷം വരികൾ ലീൻ, മാത്ത്‌ലിബിന്റെ അഞ്ചിരട്ടി വലുപ്പം, എല്ലാ ഗണിതശാസ്ത്രജ്ഞരും ഇതിനകം വിശ്വസിച്ചിരുന്ന ഒരു സിദ്ധാന്തം തെളിയിക്കുന്നു. ആന്ത്രോപിക് പോസ്റ്റ് ചെയ്തപ്പോൾ ടിബിലിസിയിൽ പത്തിനും പതിനൊന്നിനും ഇടയിലായിരുന്നു സമയം, അതുകൊണ്ട് സ്വാഭാവികമായും ഞാൻ ഉണർന്നിരിക്കുകയായിരുന്നു. കഴിഞ്ഞ ദിവസം ഗൂഗിൾ Chrome 152 ഇറക്കി, പന്ത്രണ്ട് സുരക്ഷാ പരിഹാരങ്ങളോടെ, അവയിലൊന്ന് ഇതിനകം പ്രായോഗികമായി ചൂഷണം ചെയ്യപ്പെട്ട ഒരു V8 ബഗ് ആയിരുന്നു, റിപ്പോർട്ടർക്ക് ആയിരം ഡോളർ നൽകി, അത് പിന്നീട് നമ്മൾ സംസാരിക്കുന്ന സെഡാനെക്കാൾ കുറവാണ്.

0:26 കഴിഞ്ഞ ദിവസവും, നവംബർ 2-ന് തങ്ങളുടെ പൊതു എൻക്രിപ്റ്റ് ചെയ്ത DNS നിർത്തലാക്കുന്നുവെന്നും പകരം Quad9-ന് പണം നൽകുന്നുവെന്നും മൾവാഡ് പറഞ്ഞു, ഇന്ന് രാവിലെ റസ്റ്റ് റിയാക്ട് കംപൈലർ വിറ്റെയിൽ നേറ്റീവ് ആയി, അതേസമയം ഹാക്കർ ന്യൂസ് IBM ബോബിനെ കണ്ടെത്തി, ഒരു AI കോഡിംഗ് ഏജന്റ്. പിന്നീട് ക്ലോഡ് ഫെർമാറ്റിന്റെ അവസാന സിദ്ധാന്തം ഔദ്യോഗികമാക്കി, അതേ മുൻ പേജിൽ ഒരു കൊറിയൻ ഗ്രാൻഡ്മാസ്റ്റർ ഭൂമിയിലെ ഏറ്റവും ശക്തമായ ഗോ എഞ്ചിനെ തോൽപ്പിച്ചു, അതുകൊണ്ട് ഇന്ന് മനുഷ്യരാശി രണ്ടിന് ഒന്ന് നേടി. ഈ വീഡിയോയിൽ: ക്ലോഡ് യഥാർത്ഥത്തിൽ എന്താണ് തെളിയിച്ചത്, അതിന് എത്ര ചിലവായി,

0:52 തന്റെ കരിയർ ഇതിനായി ചിലവഴിച്ച ഗണിതശാസ്ത്രജ്ഞൻ ഇത് ഒന്നും മാറ്റുന്നില്ലെന്നും എന്നിട്ടും ആവേശം കൊള്ളുന്നുവെന്നും എന്തുകൊണ്ട് പറയുന്നു, ഒരു മനുഷ്യൻ എങ്ങനെ ഗോയിൽ യന്ത്രത്തെ തോൽപ്പിച്ചു. ഇന്ന് സെപ്റ്റംബർ 4, വെള്ളിയാഴ്ച, ഇത് The Daily Diff. ഫെർമാറ്റിന്റെ അവസാന സിദ്ധാന്തം: 2-ന് മുകളിലുള്ള ഏതൊരു n-നും a യുടെ n പ്ലസ് b യുടെ n എന്നത് c യുടെ n-ന് തുല്യമാക്കുന്ന പോസിറ്റീവ് പൂർണ്ണസംഖ്യകൾ a, b, c ഇല്ല. ഫെർമാറ്റ് ഏകദേശം 1637-ൽ ഒരു മാർജിനിൽ ഇത് കുറിച്ചിട്ടു, തന്റെ ജോലി കാണിക്കാതെ മരിച്ചു, അദ്ദേഹത്തെ എന്റെ മെഷീനിൽ വർക്ക്സ് എന്ന് പറഞ്ഞ് ടിക്കറ്റ് ക്ലോസ് ചെയ്ത ആദ്യത്തെ ഡെവലപ്പർ ആക്കി. 1908-ലെ 100,000 സ്വർണ്ണ നാണയങ്ങളുടെ സമ്മാനം അതിന്റെ ആദ്യ വർഷത്തിൽ 621 തെറ്റായ

1:25 തെളിവുകൾ ആകർഷിച്ചു, ആൻഡ്രൂ വൈൽസ് ഒടുവിൽ 1995-ൽ അത് നേടി, റഫറിമാർക്ക് പരിശോധിക്കാൻ മാസങ്ങളെടുത്ത 129 പേജുകളിൽ. ഔദ്യോഗികമാക്കുക എന്നാൽ ആ തെളിവ് ലീൻ, ഒരു പ്രൂഫ് അസിസ്റ്റന്റ്, മെക്കാനിക്കലായി ഓരോ ഘട്ടവും പരിശോധിക്കുന്ന രീതിയിൽ മാറ്റിയെഴുതുക എന്നതാണ്, ഇംപീരിയലിലെ കെവിൻ ബസ്സാർഡ് 2024 മുതൽ കൃത്യമായി അങ്ങനെ ചെയ്യാൻ ഒരു മനുഷ്യപ്രയത്നത്തിന് നേതൃത്വം നൽകിയിട്ടുണ്ട്; ബ്ലൂപ്രിന്റ് മാത്രം 86 പേജുകളുണ്ട്. ആന്ത്രോപിക് ഗവേഷകൻ ടിയാന്നി പെങ് ഡസൻ കണക്കിന് ക്ലോഡ് ഏജന്റുകളെ ഒരു പ്ലാറ്റ്‌ഫോമിൽ വിന്യസിച്ചു പ്രൂവ്2മീ എന്ന് പേരുള്ള പ്ലാറ്റ്‌ഫോമിൽ സിദ്ധാന്ത പ്രസ്താവനകളുടെ ഒരു DAG സൂക്ഷിക്കുന്നു, അങ്ങനെ ഏജന്റുകൾക്ക് അടുത്തതായി എന്താണ് തെളിയിക്കേണ്ടതെന്ന് അറിയാം, കാരണം ഇത് ഇല്ലാതെ ആദ്യത്തെ

2:00 കൂട്ടം ആര് എന്താണ് തെളിയിക്കുന്നതെന്ന് മറന്നുപോയി, ഇത് നിങ്ങളുടെ ഓർക്കസ്ട്രേഷൻ ലെയർ മാർക്കറ്റിംഗ് ബഡ്ജറ്റുള്ള റെഗുലർ എക്സ്പ്രഷൻ ആയിരിക്കുമ്പോൾ സംഭവിക്കുന്നതാണ്. പതിനൊന്ന് ദിവസങ്ങൾക്ക് ശേഷം റൂട്ട് നോഡിൽ PROVED എന്ന് വായിച്ചു: പതിമൂന്ന് ദശലക്ഷം വരികൾ ലീൻ, 29,500 ഇടത്തരം സിദ്ധാന്തങ്ങൾ, ഏകദേശം ആറ് ബില്യൺ ഔട്ട്പുട്ട് ടോക്കണുകൾ ഒരു ആന്തരിക മോഡലിൽ നിന്ന്, ക്ലോഡ് ഫേബിൾ 5.1-നോട് ഏകദേശം താരതമ്യപ്പെടുത്താവുന്നത്. തെളിവ് ലീന്റെ മൂന്ന് സ്റ്റാൻഡേർഡ് ആക്സിയങ്ങളിൽ മാത്രം അധിഷ്ഠിതമാണെങ്കിൽ മാത്രമേ ബിൽഡ് വിജയിക്കൂ: ക്ഷമിക്കണം, നേറ്റീവ് ഡിസൈഡ് ഇല്ല, തട്ടിപ്പില്ല. ഇത് പരിശോധിക്കുന്നത് ചെലവ് കുറഞ്ഞതല്ല: 96 കോറുകളിലും 153

2:29 ഗിഗാബൈറ്റ് റാമിലും ഒരു പുതിയ ബിൽഡിന് അഞ്ചര മണിക്കൂർ എടുത്തു, സിദ്ധാന്തങ്ങളുടെ പേരുകൾ മെഷീൻ-ജനറേറ്റ് ചെയ്തവയാണ്, അതിനാൽ റിപ്പോസിറ്ററി സ്വയം വായിക്കുന്നതിനേക്കാൾ പരിശോധിക്കുന്നതിനായി എഴുതിയതാണെന്ന് പറയുന്നു, ഇത് എന്റർപ്രൈസ് ജാവയെ ഞാൻ എങ്ങനെ വിശേഷിപ്പിക്കുന്നുവോ അങ്ങനെയാണ്. ഇനി വൈരുദ്ധ്യം. ആന്ത്രോപിക്കിന്റെ പോസ്റ്റ് പറയുന്നു, ലീൻ സംശയലേശമെന്യേ കൃത്യത തെളിയിക്കുന്നുവെന്ന്. അത് കൈക്കലാക്കിയ കെവിൻ ബസ്സാർഡ്, ആന്ത്രോപിക് അദ്ദേഹത്തിന് നൽകിയ 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 ആയി കുറഞ്ഞു കംപൈൽ ഘട്ടത്തിൽ, കൂടുതലും ബാബെൽ ഡിലീറ്റ് ചെയ്തതുകൊണ്ട് package.json-ൽ നിന്ന്, ഇതാണ് എന്റെ സ്കിൻകെയർ ദിനചര്യയും. കൂടാതെ IBM ബോബ് എന്നൊരു AI കോഡിംഗ് പങ്കാളിയെ പുറത്തിറക്കി, അത് നിങ്ങളെ "ഹായ്, ഞാൻ ബോബ്," എന്ന് അഭിവാദ്യം ചെയ്യുന്നു, സബ് ഏജന്റുകളെ സൃഷ്ടിക്കുന്നു, മെയിൻഫ്രെയിം കോഡ് ആധുനികവൽക്കരിക്കുന്നു, കൂടാതെ ബോബാലിറ്റിക്സ് എന്നൊരു അനലിറ്റിക്സ് ഉൽപ്പന്നം SHIP IT ചെയ്യുന്നു, അതിനാൽ എവിടെയോ ഒരു ബാങ്ക് വളരെ ആവേശത്തിലാണ്, ആരും ലൈസൻസ് വായിച്ചില്ല.

4:51 ഒരു വെള്ളിയാഴ്ച ഇത് വലിയൊരു മാർജിനാണ്; ഇത് എന്നെക്കൊണ്ട് പറയിപ്പിക്കുന്നതിന് പകരം വായിക്കാൻ നിങ്ങൾ ആഗ്രഹിക്കുന്നുവെങ്കിൽ, ദി ഡെയ്ലി ഡിഫ് എല്ലാ ദിവസവും രാവിലെ നിങ്ങളുടെ ഇൻബോക്സിൽ എത്തുന്നു — daily diff dot 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