สตาร์ทอัพที่ก่อตั้งโดยนักศึกษาที่ลาออกจากสแตนฟอร์ดเมื่อไม่ถึง 15 เดือนก่อน อ้างว่าประสบความสำเร็จในสิ่งที่มักใช้เวลาหลายทศวรรษของนักคณิตศาสตร์มนุษย์: แก้ปัญหาคณิตศาสตร์ที่ยังไม่มีใครแก้ได้หลายข้อโดยใช้ระบบปัญญาประดิษฐ์ แล้วได้รับการยอมรับจากองค์กรทางวิชาการ
Axiom Math บริษัทที่มีสำนักงานตั้งอยู่ในพาโลอัลโต ซึ่งนำโดยผู้ก่อตั้งคารีนา ฮอง ระบุว่าระบบ AxiomProver ของพวกเขามีความสามารถในการแก้ปัญหาทางคณิตศาสตร์ที่ไม่เคยมีใครแก้ได้มากกว่าสี่ข้อ หลักฐานเหล่านี้ถูกโพสต์บน arXiv ในเดือนกุมภาพันธ์ 2026 แต่จนถึงปลายเดือนพฤษภาคม 2026 ยังไม่มีการยืนยันว่ามีการตีพิมพ์ในวารสารที่ผ่านการตรวจสอบโดยผู้เชี่ยวชาญ — ข้อเท็จจริงนี้ถูกซ่อนเร้นไว้ในกรอบของบทความ
สิ่งที่ Axiom แก้ไขจริงๆ
ปัญหาที่ AxiomProver แก้ไขไม่ใช่แบบฝึกหัดง่ายๆ โดยผลลัพธ์ที่ได้รวมถึงการแก้ไขข้อสมมติที่สำคัญในเรขาคณิตพีชคณิตและข้อสมมติของ Fel ซึ่งเกี่ยวข้องกับงานของศรีนิวัส รามานุจัน หนึ่งในปัญหาที่แก้ได้เกี่ยวข้องกับข้อสมมติทฤษฎีจำนวนที่มีอายุ 20 ปี
อย่างน้อยหนึ่งหลักฐานเกิดจากการร่วมมือกับนักคณิตศาสตร์ที่มีชื่อเสียง ไม่ใช่ผลลัพธ์จากเครื่องจักรเพียงอย่างเดียว
บริษัทใช้การยืนยันทางรูปแบบผ่านเครื่องมือพิสูจน์ Lean แทนการสร้างข้อความที่ดูเหมือนการพิสูจน์แล้วหวังว่ามันจะถูกต้อง AxiomProver สร้างการพิสูจน์ที่ได้รับการตรวจสอบด้วยกลไกเพื่อยืนยันความถูกต้องทางตรรกะในทุกขั้นตอน ชั้นการยืนยันทางรูปแบบนี้เองที่ทำให้งานนี้มีความน่าเชื่อถือซึ่งผลลัพธ์จากโมเดลภาษาขนาดใหญ่ทั่วไปไม่มี
เงินทุนและทีมงานที่อยู่เบื้องหลัง
Axiom Math ระดมทุนซีรีส์ A จำนวน 200 ล้านดอลลาร์สหรัฐ โดยมี Menlo Ventures เป็นผู้นำการระดมทุน ทำให้มูลค่าบริษัทหลังการระดมทุนอยู่ที่ 1.6 พันล้านดอลลาร์สหรัฐ ซึ่งมาพร้อมกับการลงทุนในระยะเริ่มต้นก่อนหน้านี้ 64 ล้านดอลลาร์สหรัฐ ทำให้ยอดเงินทุนที่ทราบอย่างเป็นทางการอยู่ที่ 264 ล้านดอลลาร์สหรัฐ ฮ่องได้ละทิ้งโปรแกรมร่วม J.D./Ph.D. ที่สแตนฟอร์ด เพื่อเริ่มธุรกิจนี้ในเดือนมีนาคม 2025
เคน โอโน นักทฤษฎีจำนวนผู้มีชื่อเสียงซึ่งรู้จักกันดีจากผลงานเกี่ยวกับมรดกของรามานุจันและรูปแบบแบบโมดูลาร์ ได้เข้าร่วม Axiom Math ในฐานะนักคณิตศาสตร์ผู้ก่อตั้ง
ภาพรวมที่ใหญ่กว่าเกี่ยวกับปัญญาประดิษฐ์และคณิตศาสตร์
Axiom Math ไม่ได้ดำเนินงานในสภาวะที่แยกจากกัน Google’s DeepMind ได้ผลักดันการใช้เหตุผลทางคณิตศาสตร์ โดยเฉพาะอย่างยิ่งด้วยระบบ AlphaProof
เป็นแนวทางมาตรฐานของนักคณิตศาสตร์ที่จะโพสต์ preprints บน arXiv ในขณะที่บทความอยู่ในกระบวนการตรวจสอบโดยผู้เชี่ยวชาญ ซึ่งอาจใช้เวลาเป็นเดือนหรือแม้แต่ปี การโพสต์บน arXiv ในเดือนกุมภาพันธ์ 2026 กำลังอยู่ในขั้นตอนการตรวจสอบโดยผู้เชี่ยวชาญ และยังไม่มีการยืนยันการตีพิมพ์ที่ผ่านการตรวจสอบโดยผู้เชี่ยวชาญจนถึงปลายเดือนพฤษภาคม 2026