# UClaude wafakazela uFermat ezinsukwini ezingu-11. Isinqumo: SHIP IT.

Published: 2026-09-07

UClaude usebenzise izinsuku ezingu-11 kanye namathokheni ayizigidi eziyisi-6 ebhalwa ubunye obungamakhasi ayizigidi eziyi-13 beLean yobuFakazi Bokuqeda KukaFermat — okokuqala okwazi ukuhlolwa ikhompuyutha kusukela ekuqaleni kuze kube sekugcineni — kanti usosayensi wezibalo obelokhu ebubhala kusukela ngo-2024 uthi "akusitsheli lutho olubalulekile" ngokwezibalo kodwa ujabule noma kunjalo. Usuku olufanayo: Inombolo 1 yomhlaba yeGo uShin Jin-seo ushaya iKataGo ngo-2–1 ngesihlava samatshe amabili. Isinqumo: SHIP IT.

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

## Lokho okuhlanganiswa yile vidiyo

- UClaude ubhala ubunye beFermat's Last Theorem kuLean 4
- Chromium sandbox RCE (CVE-2026-85046), isetshenziswe kakhulu, umvuzo ka-$1,000
- UShin Jin-seo ushaya iKataGo ngesihlava samatshe amabili

## Umbhalo obhaliwe ohunyushwe

Kuhunyushwe kusuka ekulandiseni kokuqala kwesiNgisi. Umsindo namazwibela atholakalayo alawulwa yi-YouTube.

0:00 UFermat wathi ubunye bakhe obuhle ngeke bulingane emaphethelweni, futhi namuhla i-Anthropic ishicilele lelo phethelo: imigqa eyizigidi eziyishumi nantathu yeLean, okuphindwe kahlanu ubukhulu beMathlib, efakazela ithiyori yonke usosayensi wezibalo asevele ekholelwa kuyo. Kwakuyishumi kuya kushumi nanye eTbilisi lapho i-Anthropic ishicilela khona, ngakho-ke ngokwemvelo ngangivukile. Izolo iGoogle ishicilele iChrome 152 ngokulungisa okuphephile okuyishumi nambili, enye yazo yisiphazamisi se-V8 esesivele sisetshenziswa kakhulu, futhi yakhokha umbiki izinkulungwane zamadola, okungaphansi kwe-sedan esizoyikhuluma kamuva.

0:26 Ngezolo futhi, uMullvad uthe uvala i-DNS yakhe evikelwe umphakathi ngo Novemba 2 futhi ikhokha i-Quad9 ukuthi ikwenze esikhundleni salokho, futhi namuhla iRust React I-Compiler yaba yomdabu kuVite, kanti iHacker News yathola i-IBM Bob, i-ejenti yokubhala ye-AI. Ngemuva kwalokho uClaude wabhala ubunye beFermat's Last Theorem, futhi ekhasini elifanayo uthisha omkhulu waseKorea washaya injini yeGo enamandla kakhulu Emhlabeni, ngakho-ke namuhla isintu sithole okukodwa kokubili. Kule vidiyo: yini uClaude ayifakazela ngempela, kubize malini,

0:52 kungani usosayensi wezibalo ochithe umsebenzi wakhe kulokhu ethi akukho okushintshayo futhi ujabule noma kunjalo, nokuthi umuntu washaya kanjani umshini eGo. NgoLwesihlanu, Septhemba 4, futhi lena yiThe Daily Diff. I-Fermat's Last Theorem: azikho izinombolo eziphozithivu a, b, c ezenelisa u-a ku-n kanye no-b ku-n kulingana no-c ku-n nganoma yikuphi u-n ongaphezu kuka-2. UFermat wakubhala emaphethelweni cishe ngo-1637 wafa engawubonisi umsebenzi wakhe, okumenze waba unjiniyela wokuqala ukuvala ithikithi ngomsebenzi emshinini wami. Umklomelo ka-1908 wamamarike egolide ayi-100,000 waheha amaphutha angama-621

1:25 emnyakeni walo wokuqala, futhi u-Andrew Wiles wagcina ewutholile ngo-1995, emakhasini ayi-129 okwathatha abahloli izinyanga ukuwaqinisekisa. Ukwenza kube semthethweni kusho ukubhala kabusha lobo bunye ukuze iLean, umsizi wobufakazi, akwazi ukuhlola isinyathelo ngasinye ngomshini, futhi uKevin Buzzard e-Imperial uhola abantu umzamo wokwenza lokho kusukela ngo-2024; umdwebo nje unamakhasi angama-86 amakhasi. Umcwaningi we-Anthropic uTianyi Peng ukhombe inqwaba yama-ejenti kaClaude kuwo esikhundleni salokho, endaweni ebizwa nge-Prove2Me egcina i-DAG yesigaba izitatimende ukuze ama-ejenti azi ukuthi azofakazela ini ngokulandelayo, ngoba ngaphandle kwawo ama-

2:00 izindlu zokuqala zalahlekelwa umkhondo wokuthi ubani obefakazela ini, okuyilokho okwenzekayo lapho i- ungqimba lwakho lokuhlela luyi-regex enesabelomali sokukhangisa. Ezinsukwini eziyishumi nanye kamuva isisekelo saba yi-PROVED: imigqa eyizigidi eziyishumi nantathu yeLean, izigaba ezingama-29,500 eziphakathi, cishe amathokheni okuphumayo ayizigidi eziyisi-6 avela ku- imodeli yangaphakathi efana kakhulu neClaude Fable 5.1. Ukwakha kuyehluleka ngaphandle kokuthi ubunye busekele phezu kwama-axioms amathathu ajwayelekile eLean: cha uxolo, akukho ukunquma komdabu, akukho ukukopela. Ukukuqinisekisa akubizi futhi: ukwakha

2:29 kusukela ekuqaleni kwathatha amahora amahlanu nengxenye ku-96 cores kanye nama-gigabytes angu-153 e-RAM, futhi amagama esigaba akhiqizwa umshini, ngakho-ke indawo izichaza ngokuthi ibhalelwe ukuhlolwa kunokuba ifundwe, okuyindlela nami engingachaza ngayo i-enterprise Java. Manje isiphikisana. Okuthunyelwe kwe-Anthropic kuthhi iLean ikhombisa ukunemba okungenakungatshazwa. UKevin Buzzard, indoda ehlulwe kuyo, ihlanganise indawo emshinini onama-gigabyte angama-500 i-Anthropic yamboleka yona, yaqinisekisa ukuthi ihlolwe, bese ibhala,

2:56 ngokucaphuna, ngokwezibalo lo msebenzi awusitsheli lutho olubalulekile. Wayesevele eqiniseke ngamaphesenti angu-99.9 ukuthi isigaba siyiqiniso, futhi ubunye abungezi izibalo ezintsha; okukukhombisayo yikuthi yini i-autoformalization engayenza manje, futhi leyo ngxenye ujabule ngempela ngayo. Wanikezwa amakhulu ayizigidi zamapondo eminyakeni emihlanu; i-Anthropic yathatha izinsuku eziyishumi nanye, futhi ukubala kwephepha lomhlaziyi kubeka amathokheni okuphumayo ayizigidi eziyisi-6 ngentengo yohlu cishe ama-300,000 wamadola, ngakho umshini ubushibhile, ngaphandle uma ubala ukuqeqesha umshini, okungekho muntu okwenzayo.

3:24 Imininingwane ehamba phambili: i-imeyili yafika ngesikhathi esekhonsathini yomculo e-Wales nge ibha elilodwa le-4G, elivela egameni ayengakaze alizwe, ngakho walibheka njengobuwula walifunda ngemuva kwesonto, okuyiyo impendulo efanele kunoma iyiphi i-subject line equkethe ukuhleleka okuphelele. Khonamanjalo, abantu bathole okukodwa emuva. UShin Jin-seo, ongunombolo wokuqala emhlabeni ku-Go, wehlule u-KataGo, injini ye-Go enamandla kakhulu ye-open-source, imidlalo emibili kweyodwa e-Seoul ngeyetshe ezimbili i-handicap, cishe igebe phakathi kochwepheshe abaphambili nochwepheshe abasaqalayo.

3:50 Okwakugcina kwakuwukunqoba kwamaphuzu angu-11.5 ngezinyathelo ezingu-221, egcina amaphesenti angu-99 amathuba okuwina kusukela phakathi nomdlalo, wathatha ekhaya ama-250 million won, cishe ama-170,000 wamadola, kanye ne-Genesis G90, ngakho umklomelo wokuthi ukuhlula i-AI enamandla amakhulu uphindwe izikhathi ezingu-170 umklomelo we-Google wokuvikela i-Chrome sandbox ukuphunyuka. Incazelo yakhe: ekuqaleni wakopisha ukuhamba kwe-AI walahlekelwa; wawina ngokuthi akhe ibhodi ngesitayela sakhe, okuyisiyalo esiwusizo kakhulu mayelana ne-AI engasoze ngisizwa unyaka wonke, futhi savela kumdlalo webhodi. Imigqa emibili eyengeziwe ku-diff.

4:22 I-Rust React Compiler evela ku-oxc isivele inomdabu ku-Vite ngemuva kweflegi elilodwa; ikhodi yamafayela angu-1,036 isuke kumasekhondi angu-14.3 yaya ku-0.81 esinyathelweni sokuhlanganisa, ikakhulukazi ngokususa i-Babel ku package.json, okuyinto futhi engiyenza nsuku zonke ukuze nginakekele isikhumba sami. Futhi i-IBM yethule u-Bob, umngane wokubhala ikhodi ye-AI okubingelelayo ngo-Hi, NginguBob, udala ama-subagents, modernizes ikhodi ye-mainframe, futhi uthumela umkhiqizo wokuhlaziya obizwa nge-Bobalytics, ngakho endaweni ethile ibhange lijabule kakhulu futhi akekho owafunda ilayisense.

4:51 Lokho kungumkhawulo omkhulu wangolunye uLwesihlanu; uma ungathanda ukufunda lokhu kunokuzwa ngimi ngikushoyo, i-diff ifika ebhokisini lakho leposi njalo ekuseni — mahhala ku-daily diff dot dev, isixhumanisi ngezansi. Ngakho, isinqumo sanamuhla: SHIP IT. I-kernel ithi yebo, i-Buzzard ithi yebo, izibalo azishintshanga, kodwa indlela esihlola ngayo izibalo isishintshile. Lokho kuyi-diff yanamuhla. NginguNiko ovela ku-Axrisi.

5:09 Hlanganisa ngokuzibopha.

## Imithombo

- [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