Muse Spark กับนักคณิตศาสตร์ร่วมทำงานวิจัย 6 ฉบับ: Meta บอกว่าตอบโจทย์เปิดอยู่ได้ 5 ข้อ

Meta ระบุเมื่อวันที่ 2 ตุลาคมว่า นักคณิตศาสตร์ที่ทำงานร่วมกับ Muse Spark จัดทำบทความวิจัย 6 ฉบับ โดย 5 ฉบับตอบคำถามคณิตศาสตร์ที่ก่อนหน้านี้ยังเป็นปัญหาเปิด หรือยังไม่มีคำตอบที่ทราบกัน 17

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

งานวิจัยครอบคลุมหลายแขนง

ผลงานทั้งหกฉบับแตะคณิตศาสตร์หลายสาขา ตัวอย่างผลลัพธ์ที่มีการเปิดเผย ได้แก่

• ความน่าจะเป็นและเรขาคณิต: งาน The Strict Threshold for Gaussian Ellipsoid Fitting ระบุเกณฑ์ประมาณ (n \sim d^2/4) สำหรับการมีอยู่ของเมทริกซ์กึ่งบวกแน่นอนที่สอดคล้องกับเงื่อนไขจากเวกเตอร์เกาส์เซียนสุ่ม 1
• ทฤษฎีกลุ่ม: ผลงานหนึ่งนำเสนอกลุ่มที่มีสมาชิก 384 ตัว ซึ่งเป็นตัวอย่างโต้แย้งต่อข้อคาดการณ์ที่เสนอไว้ในปี 2024 20
• พีชคณิต: งาน On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez ศึกษาข้อคาดการณ์ตามชื่อบทความ 4
• การหาค่าเหมาะที่สุด: งาน Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles พิจารณาว่าวิธีผ่อนคลายปัญหาแบบอิงวัฏจักรชนิดหนึ่งมีความแน่นหรือไม่ 4
• ฟิสิกส์คณิตศาสตร์: รายการผลงานมีบทความชื่อ String Two-Point Function = Height Function on a Curve 4
• สมการเชิงอนุพันธ์: ยังมีงานว่าด้วยการเกิดการระเบิดในเวลาจำกัดของคำตอบสมมาตรเชิงรัศมีที่มีพลังงานเป็นลบ สำหรับสมการชเรอดิงเงอร์ไม่เชิงเส้นแบบไบฮาร์มอนิกที่มีมวลวิกฤต

อย่างไรก็ดี ควรแยกตัวเลขสองชุดให้ชัด: Meta บอกว่ามีบทความ 6 ฉบับ และ 5 ฉบับตอบคำถามเปิด แต่รายการบทความที่เผยแพร่ไม่ได้ระบุความเชื่อมโยงแบบหนึ่งต่อหนึ่งอย่างชัดเจนว่าแต่ละฉบับตรงกับคำถามข้อใดบ้าง 174

ใช้แชตตามปกติ ไม่ใช่ระบบวิจัยเฉพาะทาง

นักวิจัยใช้ Muse Spark รุ่น 1.1 และ 1.2 ใน Thinking Mode ผ่านหน้าแชต meta.ai ตามปกติ โดยไม่มีระบบเสริมที่สร้างขึ้นเฉพาะสำหรับงานวิจัยนี้ Meta ระบุว่านักคณิตศาสตร์เป็นผู้ชี้นำการสำรวจแนวคิดและพัฒนาข้อโต้แย้ง จากนั้นมีนักคณิตศาสตร์อีกกลุ่มตรวจทานงาน และในบทความมีการระบุด้วยว่าข้อความส่วนใดร่างโดยนักวิจัยเป็นหลัก หรือร่างโดยมี AI ช่วย 17

รายละเอียดกระบวนการมีความสำคัญต่อการประเมินผลงาน ตัวอย่างในทฤษฎีกลุ่มมีรายงานว่า Muse Spark เขียนโปรแกรมค้นหาสำหรับ GAP ซึ่งเป็นซอฟต์แวร์ทางคณิตศาสตร์ ส่วนนักคณิตศาสตร์เป็นผู้ตรวจสอบตัวอย่างโต้แย้งและทำข้อพิสูจน์ให้สมบูรณ์ โมเดลไม่ได้รับรองผลของตัวเอง 20

ยังมีคำถามเรื่องความใหม่และการตรวจสอบ

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

การตรวจทานโดยนักคณิตศาสตร์ยังไม่เหมือนกับ การพิสูจน์อย่างเป็นทางการด้วยคอมพิวเตอร์ ซึ่งต้องแปลงข้อพิสูจน์ให้อยู่ในภาษาที่เข้มงวด เพื่อให้ระบบตรวจสอบได้ทีละขั้น ข้อมูลจาก Meta กล่าวถึงการตรวจทานโดยมนุษย์ แต่ไม่ได้ยืนยันว่าแต่ละบทความผ่านการตรวจด้วย proof assistant หรือเครื่องมือพิสูจน์อย่างเป็นทางการแล้วหรือไม่ 17

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