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

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

1. Anthropic — Formalizing Fermat's Last Theoremwww.anthropic.com
2. The proof (Lean 4, Apache-2.0)github.com
3. Kevin Buzzard — FLT: Anthropic has beaten me to itxenaproject.wordpress.com
4. HN threadnews.ycombinator.com
5. KED Global — Shin defeats KataGowww.kedglobal.com
6. HNnews.ycombinator.com
7. Chrome 152 release notes (CVE-2026-85046)chromereleases.googleblog.com
8. NVDnvd.nist.gov
9. Mullvad — shutting down public encrypted DNSmullvad.net
10. Rust React Compiler native in Viteblog.master.dev
11. IBM Bobbob.ibm.com