Claude ดันสัดส่วนของรากซีตาที่พิสูจน์แล้วบนเส้นวิกฤตขึ้นเป็น 67.2% — และวิธีการสำคัญกว่าเลขนั้น

วันที่ 10 สิงหาคม Anthropic เผยแพร่บันทึกวิจัยที่มีผู้เขียนเป็นโมเดลภาษาขนาดใหญ่ ผลคือ: รากไม่ธรรมดาอย่างน้อย 67.2% ของฟังก์ชันซีตารีมันน์อยู่บนเส้นวิกฤต Re(s) = 1/2 อย่างไม่มีเงื่อนไข สถิติที่พิสูจน์แล้วก่อนหน้านี้คือ 41.6% (5/12) ตัวเลขที่รอดผ่านการปรับปรุงวิธีของ Levinson มาได้สี่ทศวรรษ

Claude ไม่ได้พิสูจน์สมมติฐานรีมันน์ ตัวบทเองบอกไว้ชัดเจนสองรอบ สิ่งที่มันทำ — ส่วนที่ควรอ่านช้าลง — คือเปลี่ยน 67% แบบมีเงื่อนไขให้เป็น 67% แบบไม่มีเงื่อนไข ด้วยวิธีที่ใหม่จริง ๆ: ไม่มีการประมาณความหนาแน่นราก ไม่มีบริเวณไร้ราก ไม่มีตัวทำให้เรียบ อินพุตทางเลขคณิตคือการประเมินฝั่งจำนวนเฉพาะของ Montgomery สำหรับโมเมนต์ที่สองของความสัมพันธ์คู่ที่แบนด์วิดท์ ≤ 1 พอดี ซึ่งไม่มีเงื่อนไขมาตั้งแต่ปี 1973 ทุกอย่างที่เคยต้องใช้ RH ในการอ่านถูกแทนที่ด้วยพีชคณิตเชิงเส้นบนเมทริกซ์จำกัด

ทำไมเลขนี้ถึงมีน้ำหนัก

สมมติฐานรีมันน์บอกว่ารากไม่ธรรมดาทุกตัวมีส่วนจริงเท่ากับ 1/2 พอดี ไม่มีใครพิสูจน์ได้ตั้งแต่ปี 1859 และนี่คือปัญหา Clay Millennium ที่มีเงินรางวัลหนึ่งล้านดอลลาร์สหรัฐ ผลลัพธ์บางส่วนคือขอบล่างของสัดส่วนของรากที่อยู่บนเส้น และวงศ์ตระกูลนี้ควรเขียนเต็ม ๆ:

• Hardy (1914): รากบนเส้นมีจำนวนอนันต์
• Selberg (1942): สัดส่วนบวก
• Levinson (1974): อย่างน้อย 1/3 ผ่านวิธีตัวทำให้เรียบ
• Conrey (1989): 2/5 ปรับแต่ง Levinson
• Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12 สถิติที่ยืนหยัดมาจนถึงสัปดาห์นี้

ทุกเลขในรายการนี้มาจากเทคนิคตระกูลเดียวกัน — วิธีของ Levinson และลูกหลานของมัน เลข 2/3 ใหม่ไม่ใช่ มันมาจากวงความคิดความสัมพันธ์คู่ของ Montgomery ซึ่งก่อนหน้านี้ใช้ได้เฉพาะเมื่อสมมติ RH เท่านั้น นี่คือการแตกเชิงโครงสร้าง ไม่ใช่การเพิ่มทีละขั้น: นี่เป็นครั้งแรกที่ “ผลสืบเนื่องความสัมพันธ์คู่แบบมีเงื่อนไข RH” ถูกแยกออกจากตัว RH เองที่ความแข็งแกร่งระดับนี้

เลข 2/3 เองก็มีประวัติ Montgomery พิสูจน์ในปี 1973 ว่าภายใต้ RH รากอย่างน้อย 2/3 เป็นรากเดี่ยว (ต่อมา Goldston และคนอื่น ๆ ทำให้คมขึ้นเป็น 67.9%) 2/3 ที่นี่คือค่าคงที่เดียวกัน ตอนนี้ไม่มีเงื่อนไข — แต่สำหรับรากบนเส้น และนับเป็นรากที่แตกต่างกัน ไม่ใช่ “รากเดี่ยว” ในความหมายของ Montgomery ความต่างนั้นสำคัญ: N₀* นับรากที่แตกต่างกันบนเส้นวิกฤต พหุคูณจึงไม่ถูกหักแต้มกับคุณ บทความยังพิสูจน์ว่ารากทั้งหมดอย่างน้อย 5/6 เป็นรากที่แตกต่างกัน ซึ่งตามมาจากเครื่องจักรเดียวกัน

จุดเชิงโครงสร้างอีกสองจุด หนึ่ง ทฤษฎีบทว่าด้วยช่วงเลขยกกำลังสอง [T, 2T] ที่มีคลาดเคลื่อน o(1) และ liminf เมื่อ T→∞ อย่างน้อย 2/3 โดยบทความรายงานว่าอัตราส่วนที่ T จำกัดต่ำกว่าลิมิตเพราะการลู่เข้าช้า (Remark 5.9 ของเขา) สอง วิธีไม่ได้จบที่ 2/3: ด้วยหน้าต่าง Montgomery–Taylor ที่ดีที่สุด ค่าคงที่กลายเป็น 0.67250… ซึ่งตรงเป๊ะกับค่าคงที่ Montgomery–Taylor แบบมีเงื่อนไข RH 2/3 คือข้อความที่สะอาด วิธีทำได้ดีกว่าเล็กน้อยโดยไม่เสียอะไร

เครื่องยนต์ที่ต่างออกไป

ตรงนี้ผลลัพธ์เลิกเป็นสถิติแล้วกลายเป็นเทคนิค สูตรเชิงชัดแจ้งของ Weil แปลงข้อความเรื่องความเป็นบวกบนฟังก์ชันทดสอบให้เป็นข้อความเกี่ยวกับราก: ฟังก์ชันนัลกำลังสองที่เกี่ยวข้องเป็นกึ่งบวกแน่นอนก็ต่อเมื่อ RH เป็นจริง ความเท่าเทียมนั้นเป็นทั้งพลังและกับดัก — ทุกเส้นทาง “พิสูจน์ RH ด้วยความเป็นบวก” แบบไร้เดียงสาตายที่จุดนี้ และเอเจนต์ผู้ประสานงานของ Claude รายงานว่าในเซสชันพันเอเจนต์ก่อนหน้า ทุกเส้นทางที่เสนอมีขั้นตอนแรกที่มีสาระกลายเป็นความเป็นบวก Weil หรือปลอมตัวมาในรูปอื่น

เคล็ดลับคือเลิกถามถึงรูปแบบอนันต์มิติทั้งก้อน Claude บีบการจับคู่ลงในปริภูมิฟังก์ชันทดสอบมิติจำกัด — “ระบบ Gabor” ของหน้าต่างที่มอดูเลต จำนวน d ≈ λN(T,2T) ตัว — แล้ววิเคราะห์เมทริกซ์สมมาตรจริงจำกัดที่ได้ คราวนี้:

• รากบนเส้นวิกฤตให้บล็อกอันดับ 1 แบบกึ่งบวกแน่นอน
• รากนอกเส้นจับคู่เป็น {ρ, 1−ρ̄} ตามสมการฟังก์ชัน และให้บล็อก (1,1) แบบไม่แน่นอน — ลายเซ็นแบบปริภูมิ Kreĭn ไม่ใช่แบบปริภูมิฮิลเบิร์ต
• กฎความเฉื่อยของ Sylvester ล้อมลายเซ็นของรูปแบบทั้งก้อน
• อสมการอันดับ–รอยที่พิสูจน์ผ่านอสมการรอยของ von Neumann เชื่อมลายเซ็นกับโมเมนต์รอยที่คำนวณได้
• ตัวรอยเองถูกประเมินแบบไม่มีเงื่อนไขจากจำนวนเฉพาะขึ้นไปถึง X = (T/2π)^λ โดยใช้ Montgomery–Vaughan

ฝั่งรากกับฝั่งจำนวนเฉพาะถูกจับคู่ด้วยเอกลักษณ์ผลรวม Poisson ที่ให้เคอร์เนลสุ่มตัวอย่างแม่นยำ ไม่มีความเพี้ยน ตัวเลขสองฝั่งตรงกันถึง 10⁻⁸ ที่ความสูงน้อย ๆ ขั้นที่สำคัญที่สุดเป็นเชิงแนวคิด: เดิมทีต้องใช้ RH เพื่ออ่านฝั่งรากเป็นผลรวมบวกบนพิกัดจริง ที่นี่ ความไม่แน่นอนของคู่นอกเส้นถูกดูดซับโดยพีชคณิตเชิงเส้น — คุณไม่ต้องรู้ว่ารากอยู่ห่างจากเส้นแค่ไหน แค่รู้ว่าบล็อก (1,1) ของมันถูกจำกัดด้านอันดับก็พอ ดัชนีลบจัดการด้วยทฤษฎีบทความเฉื่อยแทนที่จะถูกทำให้เป็นศูนย์ด้วยสมมติฐานที่ยังไม่พิสูจน์

นี่คือเหตุผลที่บทความของ Bombieri ปี 2000 “ข้อสังเกตเกี่ยวกับฟังก์ชันนัลกำลังสองของ Weil ในทฤษฎีจำนวนเฉพาะ I” เป็นบรรพบุรุษที่ถูกต้องในการอ้างอิง: เขาศึกษาการตัดทอนจำกัดของรูปแบบ Weil และพิสูจน์ว่าหาก RH ล้มเหลวโดยมีรากแย่เพียงจำนวนจำกัด จำนวนค่าลักษณะเฉพาะลบของการตัดทอนใหญ่พอจะเท่ากับครึ่งหนึ่งของจำนวนรากแย่ ลายเซ็นของการบีบอัดจำกัดเข้ารหัสวิธีที่ RH ล้มเหลว การมีส่วนของ Claude คือการแสดงว่าคุณแยกว่าจำนวนรากบนเส้นออกจากลายเซ็นนั้นได้โดยไม่ต้องไขคำถามว่ารากนอกเส้นตัวไหนมีอยู่จริง

สิ่งที่มันไม่ได้บอก และเพดานอยู่ตรงไหน

บทความเปิดเผยขีดจำกัดของตัวเองอย่างผิดปกติ ไม่มีใบรับรองแบบนี้ตัวใดเกิน 0.68185 ได้ — ข้อมูลโมเมนต์อันดับหนึ่ง/สองที่แบนด์วิดท์ λ ≤ 1 มีเพดานแข็ง และ λ ≤ 1 เป็นสาระสำคัญของข้อโต้แย้ง (เกินกว่านั้นคุณต้องการข้อมูลที่ฝั่งจำนวนเฉพาะแบบไม่มีเงื่อนไขไม่ได้ให้) การไปถึง 0.70/0.80/0.90 ต้องอาศัยตัวรองรับความสัมพันธ์คู่ขยายออกไปประมาณ 1.04/1.26/1.70 ซึ่งหมายถึงอินพุตทางเลขคณิตใหม่จริง ๆ ไม่ใช่พีชคณิตเชิงเส้นที่ฉลาดขึ้น

การอ่านที่ซื่อตรงจึงเป็นแบบนี้: นี่ไม่ใช่ก้าวไปสู่การพิสูจน์ RH และผู้เขียนก็ไม่อ้างเช่นนั้น มันเป็นก้าวสู่โปรเจกต์ที่เก่ากว่าและจัดการได้ง่ายกว่า — โปรแกรม “ทำผลสืบเนื่องของ RH ให้ไม่มีเงื่อนไข” ในเจตนารมณ์เดียวกับที่ Bombieri และคนอื่น ๆ ทำกับจำนวนเฉพาะในช่วงสั้น ๆ และมันแสดงว่าเครื่องจักรความสัมพันธ์คู่เมื่อหลุดจาก RH แล้วแข็งแกร่งกว่าเครื่องจักรตัวทำให้เรียบในภารกิจเฉพาะนี้

เซสชัน 54 ชั่วโมงเบื้องหลัง

ภาคผนวกอ่านสนุกกว่า และควรอ่านเป็นบทความว่าด้วยกระบวนการทำงาน ไม่ใช่เรื่องเล่าบรรยากาศ เอเจนต์ผู้ประสานงานรันเอเจนต์ย่อยแยกจากกันราว 60 ตัวเป็นเวลาวันครึ่ง: คำสั่งเชลล์ 2,400 คำสั่ง สคริปต์ Python หลายร้อยตัว โทเค็นเอาต์พุต 31 ล้านตัว ผู้ประสานงานแทบไม่ทำคณิตศาสตร์เอง บทบาทของมันคือการชี้ทิศ คัดแยก และตรวจสอบ

เอเจนต์ย่อยสองตัวสร้างไอเดียหลัก E2 พิสูจน์ว่าเส้นทางดัชนีลบว่างเปล่า — ดัชนีลบจำกัดที่ซื่อตรงเป็นศูนย์เท่ากัน — แล้วกลับด้านไอเดีย ใช้ขอบล่างของดัชนีบวกจากรอยฝั่งจำนวนเฉพาะเพื่ออ้างว่ารากอย่างน้อยครึ่งอยู่บนเส้น E2-pairs ใช้เวลา 91 นาทีคิด วิ่งการทดลองเชิงตัวเลขที่ขัดกับโจทย์ของตัวเอง แล้วเขียนบทตั้งอันดับ–รอยที่ยก 1/2 ขึ้นเป็น 2/3 สี่นาทีหลังเขียนเสร็จ ระบบล่มฆ่ารันกลางประโยค ผู้ประสานงานอ่านไดเรกทอรีของเอเจนต์ที่ตายไป จำได้ว่าผลนี้คือ “สิ่งสำคัญที่สุดที่เกิดขึ้นคืนนี้” ตรวจบทพิสูจน์ห้าบรรทัดทีละบรรทัด แล้วเดินต่อเอเจนต์ตัวเดิมพร้อมเช็กลิสต์

มีอะไรเด่นหลายอย่างเกี่ยวกับการทำงานแบบนี้ คำพยากรณ์เชิงสร้างสรรค์สองคำของตัวผู้ประสานงานเองผิดทั้งคู่ — มันชี้กลไกผิดทางที่ขั้นครึ่งหนึ่ง และให้คันโยกฟื้นตัวผิดที่ขั้นสองในสาม — แต่โครงสร้างผู้คัดค้านของมันยืนอยู่ได้ เอเจนต์ย่อยถูกแยกโดยเจตนา: พวกมันเห็นบทสนทนาไม่ได้ เห็นกันเองไม่ได้ ทำให้ข้อผิดพลาดของมันเป็นอิสระต่อกัน และทำให้การทบทวนแบบศัตรูมีความหมาย การมีส่วนของมนุษย์คือพรอมป์ต์บรรทัดเดียวไม่กี่อัน: “ทำงานต่อ”, “ดันไป 2/3”, “ทำต่อไป” ตอนแรก Claude ประเมินตัวเองต่ำเกินไป ความเพียรมาจากภายนอก

โปรโตคอลการตรวจสอบคือการค้นพบที่แท้จริง

ตรงนี้ผลลัพธ์มีความหมายเกินทฤษฎีจำนวน ปัญหาความเชื่อถือของคณิตศาสตร์ AI ไม่ใช่ “โมเดลหาบทพิสูจน์ได้ไหม” — แต่คือ “ทำไมใครควรเชื่อมัน” ไปป์ไลน์นี้คือต้นแบบของการตอบคำถามนั้น:

1. เอเจนต์ผู้คัดค้านศัตรูแบบไม่เห็นบท แต่ละตัวถูกมอบช่องโหว่ที่ไม่ทับซ้อนกันคนละจุดกับแผนโจมตี ถูกห้ามอ่านกันเอง พวกมันเจอข้อผิดพลาดจริงหนึ่งอัน — ข้อตั้งผิดเรื่องเมทริกซ์มวล — และเสนอการแก้ที่ลงเอยในบทความสุดท้าย วงรอบศัตรูจับภาพหลอนได้; นั่นคือระบบที่ทำงาน
2. เอเจนต์ทวนพิสูจน์แบบไม่เห็นบท พิสูจน์ผลซ้ำโดยไม่อ่านบทพิสูจน์ พร้อมกรณีควบคุมที่รู้อยู่แล้วว่า RH ล้มเหลว ทั้งสองคือรูปแบบการทำซ้ำที่ถูก
3. เอเจนต์เอกสาร ดาวน์โหลดบทความ arXiv 54 บทเพื่อตรวจความใหม่ — ผู้ประสานงานปฏิเสธที่จะเชื่อความจำของตัวเองอย่างชัดแจ้ง
4. การทำให้เป็นรูปนัยแบบ Lean 4 / Mathlib ของทฤษฎีบท A–E ไร้ sorry พึ่งพาแค่สัจพจน์มาตรฐานสามข้อ (propext, Classical.choice, Quot.sound) รวมสูตรเชิงชัดแจ้งของ Weil การนับรากแบบ Riemann–von Mangoldt การประมาณสเตอร์ลิง Chebyshev–Mertens และ Montgomery–Vaughan — นั่งร้านเชิงวิเคราะห์ก็ถูกทำให้เป็นรูปนัยด้วย ไม่ใช่แค่ทฤษฎีบทพาดหัว
5. ผู้เชี่ยวชาญมนุษย์: นักคณิตศาสตร์ในบ้านของ Anthropic อย่าง Levent Alpöge และ Ralph Furman ยืนยันผล; ผู้เชี่ยวชาญภายนอก Brian Conrey และ Dan Goldston ตรวจด้วยเวลาอันสั้น

คำเลี่ยงของตัวผู้ประสานงานเองคือส่วนที่ให้บทเรียนที่สุด “ผมไม่ได้บอกว่ารากครึ่งหนึ่งอยู่บนเส้น ผมบอกว่าเอเจนต์ตัวหนึ่งสร้างข้อโต้แย้งที่ได้ข้อสรุปแบบนั้น” “ผลต้องมีผู้เชี่ยวชาญมนุษย์” คำตัดสินของฉบับสุดท้าย: “ผู้อ่านคนต่อไปควรเป็นคน”

นั่นคือการแบ่งงานที่ถูก และคุ้มที่จะเรียกชื่อมัน: การสร้างและการประมวลผลขนานกันได้ การตรวจสอบเป็นชั้น ๆ และเป็นศัตรู การทำให้เป็นรูปนัยคือความจริงพื้นฐาน การตัดสินใจอยู่กับคน ข้อผิดพลาดที่ผู้คัดค้านจับได้คือเหตุผลที่ไปป์ไลน์นี้มีอยู่ — โมเดลที่สร้างบทพิสูจน์ที่ฟังดูสมเหตุสมผลคือกรณีที่ผู้อ่านไร้การวิพากษ์ถูกเผาพอดี

ข้อควรระวังที่ซื่อตรง

นี่คือสิ่งประดิษฐ์วิจัยระดับพรีปริ้นต์ที่ปล่อยในสัปดาห์เดียวกับที่เขียน บันทึกของผู้เชี่ยวชาญเองก็ชี้เทอมข้อผิดพลาดที่ยังไม่ได้ขยาย (หาง O(T^δ log T) และ O(T^{1/2−2δ}) ถูกสเก็ตช์เท่านั้น ยังไม่ลงรายละเอียดเต็ม) การทำให้เป็นรูปนัยแบบ Lean เป็นสิ่งประดิษฐ์วิจัยแบบนิ่ง ไม่ใช่ไลบรารีที่ดูแลต่อ และพฤติกรรมระดับเซสชัน — ผู้ประสานงานที่พยากรณ์ผิดสองครั้ง เอเจนต์ที่ต้องเจอระบบล่มถึงจะถูกสังเกตเห็น — ยังไม่ใช่กระบวนการที่ทำซ้ำได้ พวกมันคือจุดข้อมูลว่ากระบวนการนี้ผลิตอะไรได้เมื่อมันทำงาน

คณิตศาสตร์ถูกตรวจหนักกว่าพรีปริ้นต์ส่วนใหญ่: บทพิสูจน์ Lean ที่เครื่องตรวจ วงรอบผู้คัดค้านแบบศัตรู และการอ่านโดยผู้เชี่ยวชาญอิสระสองคน คำตัดสินสุดท้ายยังเป็นของชุมชน และนั่นเป็นสิ่งที่ถูกต้อง แต่รูปทรงของมัน — ทฤษฎีบทที่ AI สร้าง ตรวจรูปนัยแล้ว ผู้เชี่ยวชาญทบทวนแล้ว โดยมีวิธีการที่แมปกลับไปหาบรรพบุรุษอย่าง Bombieri และ Montgomery อย่างซื่อตรง — เป็นของใหม่ เลข 67.2% คือส่วนที่เซอร์ไพรส์น้อยที่สุดของการประกาศครั้งนี้

อ้างอิง

• Anthropic: “Claude รับมือสมมติฐานรีมันน์”
• Claude (Anthropic, 2026): “มากกว่าสองในสามของรากฟังก์ชันซีตารีมันน์อยู่บนเส้นวิกฤต”
• Anthropic: บันทึกไม่เป็นทางการสำหรับผู้เชี่ยวชาญ
• Anthropic: ภาคผนวกว่าด้วยกระบวนการค้นพบ
• การทำให้เป็นรูปนัยแบบ Lean 4 (GitHub)
• Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh: “ทฤษฎีบท Montgomery แบบไม่มีเงื่อนไขสำหรับความสัมพันธ์คู่ของรากฟังก์ชันซีตารีมันน์” (arXiv:2306.04799)
• Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh: “ความสัมพันธ์คู่ของรากฟังก์ชันซีตารีมันน์ I” (arXiv:2501.14545)
• Bombieri (2000): “ข้อสังเกตเกี่ยวกับฟังก์ชันนัลกำลังสองของ Weil ในทฤษฎีจำนวนเฉพาะ I”
• ข้อสันนิษฐานความสัมพันธ์คู่ของ Montgomery (วิกิพีเดีย)
• สถาบันคณิตศาสตร์ Clay: ปัญหา Millennium