ข้ามไปเนื้อหาหลัก

โมเดล AI ยังไม่เปิดตัวของ Anthropic ทำความคืบหน้าครั้งใหญ่กับสมมติฐาน Riemann

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

เรียบเรียงโดย AI
Inewgen
12 Aug 2026ที่มา: TechCrunch2 นาทีอ่าน (0 ครั้ง)
แชร์
โมเดล AI ยังไม่เปิดตัวของ Anthropic ทำความคืบหน้าครั้งใหญ่กับสมมติฐาน Riemann

ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง

ขนาดตัวอักษร
  • โมเดล AI ยังไม่เปิดตัวของ Anthropic ทำความคืบหน้าในสมมติฐาน Riemann
  • พนักงานที่ไม่มีพื้นฐานคณิตศาสตร์สั่งการให้โมเดลทำงานนาน 1 วันครึ่ง
  • ทดสอบแนวคิด 650 รูปแบบ ผ่าน 60 ย่อยเอเจนต์ และใช้เงิน 31 ล้าน
  • ตรวจสอบผลลัพธ์โดยนักคณิตศาสตร์ภายในและใช้ระบบ Lean

สมมติฐาน Riemann ถือเป็นหนึ่งในปัญหาทางคณิตศาสตร์ระดับโลกที่ยังไม่มีใครแก้ได้มานานกว่า 150 ปี โดยเกี่ยวข้องกับความลึกลับของการกระจายตัวของจำนวนเฉพาะ ปัจจุบันมีเงินรางวัลสูงถึง 1 ล้านดอลลาร์สหรัฐสำหรับผู้ที่สามารถพิสูจน์ทฤษฎีนี้ได้สำเร็จและใช้งานได้จริง ซึ่งเงินรางวัลดังกล่าวยังคงไม่มีใครคว้าไปได้

ในวันจันทร์ที่ผ่านมา บริษัท Anthropic ได้ออกมาประกาศว่า โมเดลปัญญาประดิษฐ์ที่ยังไม่เคยเปิดตัวสู่สาธารณะตัวหนึ่ง ได้สร้างความคืบหน้าครั้งสำคัญต่อสมมติฐาน Riemann ด้วยการขยายขอบเขตล่างของผลเฉลยที่ทฤษฎีนี้ยังคงเป็นจริงให้กว้างขึ้นอย่างมีนัยสำคัญ

advanced computer code algorithm screen

ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง

สิ่งที่น่าประทับใจยิ่งกว่าคือวิธีการที่นำไปสู่ความสำเร็จครั้งนี้ โดยพนักงานของ Anthropic คนหนึ่งที่ไม่มีพื้นฐานทางคณิตศาสตร์อย่างลึกซึ้ง ได้พิมพ์คำสั่งกระตุ้นให้โมเดลลองพยายามพิสูจน์สมมติฐานดังกล่าว ก่อนจะปล่อยให้ระบบจัดการและประสานงานกระบวนการทั้งหมดต่อเนื่องเป็นเวลาหนึ่งวันครึ่ง

650แนวคิดที่ถูกทดสอบ
60ซับเอเจนต์ที่ประสานงานกัน

สรุปการทำงานทั้งหมด โมเดลดังกล่าวได้ทำการทดสอบแนวคิดที่แตกต่างกันถึง 650 วิธีเพื่อหาทางแก้โจทย์ โดยประสานงานผ่านซับเอเจนต์จำนวน 60 ตัว และใช้เงินไปทั้งหมด 31 ล้านในการดำเนินงานครั้งนี้

ไม่อยากพลาดข่าวใหม่?

สมัครรับสรุปข่าวสารใหม่ทางอีเมล ไม่บ่อยจนรำคาญ

โฆษณา

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

ผลลัพธ์ดังกล่าวได้รับการยืนยันความถูกต้องโดยนักคณิตศาสตร์ประจำของ Anthropic จำนวน 2 คน และถูกทำให้เป็นทางการโดยใช้ซอฟต์แวร์ผู้ช่วยพิสูจน์ข้อความเปิด (Open-source proof assistant) ที่ชื่อว่า Lean

"If we arrive at a world where mathematical theorems are no longer associated with mathematicians, maybe that won’t be any more problematic than the fact that stars aren’t named after astronomers and most aren’t named at all"

Timothy Gowers

ความสำเร็จครั้งนี้ถือเป็นส่วนหนึ่งของกระแสความก้าวหน้าทางคณิตศาสตร์ที่ขับเคลื่อนโดยโมเดลภาษาขนาดใหญ่ หรือ LLM ในช่วงปีนี้ ปัญหาจาก Erdos หลายข้อถูกแก้ไขโดย AI และการเปิดตัวโมเดลที่ทรงพลังยิ่งขึ้นก็นำมา

  • OpenAI เพิ่งปล่อยผลงานการพิสูจน์ทฤษฎีสำคัญ 10 ข้อจากโมเดลภายในที่ชื่อว่า "Astra"
  • ความพยายามอีกชุดจาก Anthropic สามารถหักล้างการคาดเดา Jacobian (Jacobian conjecture) ที่มีมาอย่างยาวนานได้สำเร็จ

ที่มา: TechCrunch

ความคิดเห็น

แสดงความคิดเห็น
0/2000

พบข้อมูลผิดพลาดในบทความนี้? แจ้งปัญหาบทความนี้