క్లాడ్ ఫెర్మాట్‌ను 11 రోజుల్లో నిరూపించాడు. తీర్పు: SHIP IT.

ఈ వీడియో ఏమి కవర్ చేస్తుంది

• క్లాడ్ లీన్ 4లో ఫెర్మాట్ చివరి సిద్ధాంతాన్ని లాంఛనప్రాయంగా చేస్తుంది
• క్రోమియం శాండ్‌బాక్స్ RCE (CVE-2026-85046), వాడుకలో దోపిడీ చేయబడింది, $1,000 బహుమతి
• షిన్ జిన్-సియో రెండు-రాయిల వికలాంగులతో కటాగోను ఓడించాడు

అనువదించబడిన ట్రాన్స్క్రిప్ట్

అసలైన ఆంగ్ల కథనం నుండి అనువదించబడింది. అందుబాటులో ఉన్న ఆడియో మరియు క్యాప్షన్లు YouTube ద్వారా నియంత్రించబడతాయి.

0:00 ఫెర్మాట్ తన అద్భుతమైన రుజువు మార్జిన్‌లో సరిపోదని చెప్పాడు, మరియు ఈరోజు ఆంత్రోపిక్ మార్జిన్‌ను ప్రచురించింది: పదమూడు మిలియన్ లైన్‌ల లీన్, మాథ్లిబ్ పరిమాణంలో ఐదు రెట్లు, ప్రతి గణిత శాస్త్రజ్ఞుడు ఇప్పటికే నమ్మిన ఒక సిద్ధాంతాన్ని నిరూపిస్తుంది. ఆంత్రోపిక్ పోస్ట్ చేసినప్పుడు టిబిలిసిలో పది నుండి పదకొండు అయింది, కాబట్టి సహజంగా నేను మేల్కొని ఉన్నాను. నిన్న గూగుల్ పన్నెండు భద్రతా పరిష్కారాలతో Chrome 152ని షిప్పింగ్ చేసింది, వాటిలో ఒకటి ఇప్పటికే వాడుకలో దోపిడీ చేయబడిన V8 బగ్, మరియు రిపోర్టర్‌కు వెయ్యి డాలర్లు చెల్లించింది, అది మనం తరువాత చూసే సెడాన్ కంటే తక్కువ.

0:26 నిన్న కూడా, ముల్వాడ్ నవంబర్ 2వ తేదీన తన పబ్లిక్ ఎన్‌క్రిప్టెడ్ DNSని మూసివేస్తున్నట్లు చెప్పింది, మరియు బదులుగా క్వాడ్9కి చెల్లిస్తోంది, మరియు ఈ ఉదయం రస్ట్ రియాక్ట్ కంపైలర్ వైట్ లో స్థానికంగా మారింది, అదే సమయంలో హ్యాకర్ న్యూస్ IBM బాబ్‌ను, ఒక AI కోడింగ్ ఏజెంట్‌ను కనుగొంది. ఒక AI కోడింగ్ ఏజెంట్. అప్పుడు క్లాడ్ ఫెర్మాట్ చివరి సిద్ధాంతాన్ని లాంఛనప్రాయంగా చేసింది, మరియు అదే మొదటి పేజీలో ఒక కొరియన్ గ్రాండ్‌మాస్టర్ భూమిపై అత్యంత శక్తివంతమైన గో ఇంజిన్‌ను ఓడించాడు, కొరియన్ గ్రాండ్‌మాస్టర్ భూమిపై అత్యంత శక్తివంతమైన గో ఇంజిన్‌ను ఓడించాడు, కాబట్టి ఈరోజు మానవత్వం రెండులో ఒకటి సాధించింది. ఈ వీడియోలో: క్లాడ్ నిజంగా ఏమి నిరూపించింది, దాని ధర ఎంత,

0:52 ఈ అంశంపై తన వృత్తిని గడిపిన గణిత శాస్త్రజ్ఞుడు ఇది ఏమీ మార్చదని మరియు అయినప్పటికీ సంతోషిస్తున్నాడు అని ఎందుకు చెప్పాడు, అయినప్పటికీ సంతోషిస్తున్నాడు, మరియు ఒక మానవుడు గోలో యంత్రాన్ని ఎలా ఓడించాడు. ఈరోజు శుక్రవారం, సెప్టెంబర్ 4, మరియు ఇది The Daily Diff. ఫెర్మాట్ చివరి సిద్ధాంతం: 2 కంటే ఎక్కువ nకి a ఘాతం n ప్లస్ b ఘాతం n ఈక్వల్స్ c ఘాతం nను సంతృప్తిపరిచే ధనాత్మక పూర్ణాంకాలు a, b, c లేవు. n ఘాతం nకి a ఘాతం n ప్లస్ b ఘాతం n ఈక్వల్స్ c ఘాతం nను సంతృప్తిపరిచే ధనాత్మక పూర్ణాంకాలు a, b, c లేవు. ఫెర్మాట్ సుమారు 1637లో ఒక మార్జిన్‌లో దీనిని గీసాడు మరియు తన పనిని చూపకుండా మరణించాడు, అతను తన యంత్రంలో పనిచేస్తుంది అని టికెట్‌ను మూసివేసిన మొదటి డెవలపర్ అయ్యాడు. 1908లో 100,000 బంగారు మార్కుల బహుమతి దాని మొదటి సంవత్సరంలో 621 తప్పు రుజువులను ఆకర్షించింది,

1:25 మరియు ఆండ్రూ వైల్స్ చివరకు 1995లో దానిని పొందాడు, 129 పేజీలలో రిఫరీలకు ధృవీకరించడానికి నెలలు పట్టింది. లాంఛనప్రాయం చేయడం అంటే ఆ రుజువును లీన్, ఒక ప్రూఫ్ అసిస్టెంట్, యాంత్రికంగా ప్రతి అడుగును తనిఖీ చేయగల విధంగా తిరిగి రాయడం, మరియు ఇంపీరియల్‌లోని కెవిన్ బజ్జార్డ్ 2024 నుండి సరిగ్గా అదే చేయడానికి మానవ ప్రయత్నాన్ని నడిపించారు; బ్లూప్రింట్ మాత్రమే 86 పేజీలు నడుస్తుంది. కేవలం 86 పేజీలు. ఆంత్రోపిక్ పరిశోధకుడు టియాన్యి పెంగ్ డజన్ల కొద్దీ క్లాడ్ ఏజెంట్లను దీనిపైకి కేటాయించారు, బదులుగా, ప్రూవ్2మీ అని పిలువబడే ఒక ప్లాట్‌ఫారమ్‌లో సిద్ధాంత ప్రకటనల DAGను ఉంచుతుంది, అందువల్ల ఏజెంట్లు తదుపరి ఏమి నిరూపించాలో తెలుసు, ఎందుకంటే అది లేకుండా మొదటి సమూహాలు ఎవరు ఏమి నిరూపిస్తున్నారో ట్రాక్ కోల్పోయారు, అదే మీ ఆర్కెస్ట్రేషన్ లేయర్ మార్కెటింగ్ బడ్జెట్‌తో రెగెక్స్ అయినప్పుడు జరుగుతుంది.

2:00 ఆర్కెస్ట్రేషన్ లేయర్ మార్కెటింగ్ బడ్జెట్‌తో రెగెక్స్ అయినప్పుడు జరుగుతుంది. ఆర్కెస్ట్రేషన్ లేయర్ మార్కెటింగ్ బడ్జెట్‌తో రెగెక్స్ అయినప్పుడు జరుగుతుంది. పదకొండు రోజుల తర్వాత రూట్ నోడ్ PROVED అని చదివింది: పదమూడు మిలియన్ లైన్‌ల లీన్, 29,500 మధ్యంతర సిద్ధాంతాలు, అంతర్గత మోడల్ నుండి సుమారు ఆరు బిలియన్ అవుట్‌పుట్ టోకెన్‌లు, సుమారు క్లాడ్ ఫాబుల్ 5.1తో పోల్చదగినది. రుజువు ఖచ్చితంగా లీన్ యొక్క మూడు ప్రామాణిక సూత్రాలపై ఆధారపడితేనే బిల్డ్ విఫలమవుతుంది: లేదు క్షమించండి, స్థానిక నిర్ణయం లేదు, మోసం లేదు. దీనిని తనిఖీ చేయడం కూడా చవకైనది కాదు: మొదటి నుండి ఒక బిల్డ్ ఐదున్నర గంటలు పట్టింది

2:29 ఐదున్నర గంటలు పట్టింది 96 కోర్లు మరియు 153 గిగాబైట్ల RAMతో, మరియు సిద్ధాంత పేర్లు యంత్ర-ఉత్పత్తి చేయబడినవి, కాబట్టి రెపో తనను తాను చదవడానికి కాకుండా తనిఖీ చేయడానికి వ్రాయబడిందని వివరిస్తుంది, నేను ఎంటర్‌ప్రైజ్ జావాను కూడా అదే విధంగా వివరిస్తాను. ఇప్పుడు విరుద్ధత. ఆంత్రోపిక్ పోస్ట్ లీన్ సందేహం లేకుండా ఖచ్చితత్వాన్ని ప్రదర్శిస్తుందని చెబుతుంది. కెవిన్ బజ్జార్డ్, దానిని ఓడించిన వ్యక్తి, ఆంత్రోపిక్ అతనికి అప్పుగా ఇచ్చిన 500-గిగాబైట్ యంత్రంలో రెపోను కంపైల్ చేసాడు, అది తనిఖీ చేయబడుతుందని ధృవీకరించాడు, ఆపై రాశాడు, ఉదాహరణకు, గణితపరంగా ఈ పని మాకు ప్రాథమికంగా ఏమీ చెప్పదు.

2:56 ఉదాహరణకు, గణితపరంగా ఈ పని మాకు ప్రాథమికంగా ఏమీ చెప్పదు. సిద్ధాంతం నిజమని అతనికి ఇప్పటికే 99.9 శాతం ఖచ్చితంగా తెలుసు, మరియు రుజువు కొత్త గణితాన్ని జోడించదు; అది చూపించేది ఆటోఫార్మలైజేషన్ ఇప్పుడు ఏమి చేయగలదు, మరియు ఆ భాగం గురించి అతను నిజంగా ఉత్సాహంగా ఉన్నాడు. అతనికి ఐదేళ్లలో ఒక మిలియన్ పౌండ్లు ఇవ్వబడ్డాయి; ఆంత్రోపిక్ పదకొండు రోజులు పట్టింది, మరియు ఒక వ్యాఖ్యాత యొక్క నాప్‌కిన్ గణన ఆరు బిలియన్ అవుట్‌పుట్ టోకెన్‌లను జాబితా ధరలో సుమారు 300,000 డాలర్లుగా ఉంచుతుంది, కాబట్టి యంత్రం చవకైనది, యంత్రాన్ని శిక్షణ ఇవ్వడం లెక్కించకపోతే, ఎవరూ చేయరు.

3:24 ఉత్తమ వివరాలు: వేల్స్‌లోని ఒక మ్యూజిక్ ఫెస్టివల్‌లో అతను 4G యొక్క ఒక బార్‌తో ఉన్నప్పుడు ఇమెయిల్ వచ్చింది, అతను ఎప్పుడూ వినని పేరు నుండి, కాబట్టి అతను దానిని ఒక పిచ్చివాడిగా వ్రాసి ఒక వారం తర్వాత చదివాడు, ఏ సబ్జెక్ట్ లైన్ అయినా ఎండ్-టు-ఎండ్ ఫార్మలైజేషన్ కలిగి ఉంటే సరైన ప్రతిస్పందన ఇదే. ఏ సబ్జెక్ట్ లైన్ అయినా ఎండ్-టు-ఎండ్ ఫార్మలైజేషన్ కలిగి ఉంటే సరైన ప్రతిస్పందన ఇదే. అదే సమయంలో, మానవులు తిరిగి ఒకదాన్ని పొందారు. గోలో ప్రపంచ నంబర్ వన్ షిన్ జిన్-సియో, కటాగోను ఓడించాడు, అత్యంత శక్తివంతమైన ఓపెన్-సోర్స్ గో ఇంజిన్, సియోల్‌లో రెండు-రాయిల వికలాంగులతో రెండు గేమ్‌లకు ఒకటి, సుమారు ఒక టాప్ ప్రొఫెషనల్ మరియు ఒక రూకీ ప్రొఫెషనల్ మధ్య అంతరం.

3:50 నిర్ణయం 221 కదలికలలో 11.5-పాయింట్ల విజయం, మధ్య-గేమ్ నుండి 99 శాతం విజయ సంభావ్యతను కలిగి ఉంది, మధ్య-గేమ్ నుండి 99 శాతం విజయ సంభావ్యతను కలిగి ఉంది, మరియు అతను 250 మిలియన్ గెలిచాడు, సుమారు 170,000 డాలర్లు, ప్లస్ ఒక జెనెసిస్ G90, కాబట్టి ఒక సూపర్హ్యూమన్ AIని ఓడించినందుకు బహుమతి క్రోమ్ శాండ్‌బాక్స్ ఎస్కేప్ కోసం గూగుల్ బహుమతి కంటే 170 రెట్లు. అతని వివరణ: ప్రారంభంలో అతను AI కదలికలను కాపీ చేసి ఓడిపోయాడు; అతను తన సొంత శైలిలో బోర్డును నిర్మించడం ద్వారా గెలిచాడు, ఈ సంవత్సరం నేను విన్న AI గురించి అత్యంత ఉపయోగకరమైన సలహా ఇదే, మరియు అది ఒక బోర్డు గేమ్ నుండి వచ్చింది. ఈ సంవత్సరం నేను విన్న AI గురించి అత్యంత ఉపయోగకరమైన సలహా ఇదే, మరియు అది ఒక బోర్డు గేమ్ నుండి వచ్చింది. డిఫ్‌లో మరో రెండు పంక్తులు.

4:22 oxc నుండి రస్ట్ రియాక్ట్ కంపైలర్ ఇప్పుడు ఒక ఫ్లాగ్ వెనుక వైట్‌లో స్థానికంగా ఉంది; ఒక 1,036-ఫైల్ కోడ్‌బేస్ కంపైల్ స్టెప్‌లో 14.3 సెకన్ల నుండి 0.81కి తగ్గింది, 1,036-ఫైల్ కోడ్‌బేస్ కంపైల్ స్టెప్‌లో 14.3 సెకన్ల నుండి 0.81కి తగ్గింది, ఎక్కువగా package.json నుండి బాబెల్‌ను తొలగించడం ద్వారా, అదే నా స్కిన్‌కేర్ రొటీన్ కూడా. మరియు IBM బాబ్‌ను ప్రారంభించింది, ఇది ఒక AI కోడింగ్ భాగస్వామి, ఇది మీకు హాయ్, నేను బాబ్ అని పలకరిస్తుంది, నేను బాబ్ అని పలకరిస్తుంది, సబ్‌ఏజెంట్లను సృష్టిస్తుంది, మెయిన్‌ఫ్రేమ్ కోడ్‌ను ఆధునీకరిస్తుంది, మరియు బాబాలిటిక్స్ అని పిలువబడే ఒక విశ్లేషణ ఉత్పత్తిని షిప్పింగ్ చేస్తుంది, కాబట్టి ఎక్కడో ఒక బ్యాంకు చాలా ఉత్సాహంగా ఉంది మరియు ఎవరూ లైసెన్స్‌ను చదవలేదు. ఎవరూ లైసెన్స్‌ను చదవలేదు.

4:51 ఒక శుక్రవారం కోసం అది చాలా మార్జిన్; మీరు దీన్ని నేను చెప్పేదానికంటే చదవాలనుకుంటే, డిఫ్ ప్రతి ఉదయం మీ ఇన్‌బాక్స్‌కు వస్తుంది — daily diff dot devలో ఉచితంగా, లింక్ క్రింద ఉంది. దేవ్, లింక్ క్రింద ఉంది. కాబట్టి, ఈరోజు తీర్పు: ship it. కెర్నల్ అవును అంటుంది, బజ్జార్డ్ అవును అంటాడు, గణితం మారలేదు, కానీ మనం గణితాన్ని తనిఖీ చేసే విధానం మారింది. అది ఈరోజు డిఫ్. నేను Axrisi నుండి నికోని.

5:09 బాధ్యతాయుతంగా విలీనం చేయండి.

మూలాలు

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