กองทุน 15 ล้านดอลลาร์ตรวจงานคณิตศาสตร์ AI ไม่ได้การันตีว่าพิสูจน์ถูก

เมื่อวันที่ 15 ตุลาคม 2026 ประกาศของ Simons Foundation ระบุว่ามูลนิธิร่วมกับ Anthropic และ OpenAI จะสนับสนุนเงินทุนและทรัพยากรรวม 15 ล้านดอลลาร์ เพื่อให้นักคณิตศาสตร์ประเมินผลลัพธ์ที่ AI ช่วยสร้าง เรียนรู้เครื่องมือ และกำหนดมาตรฐานร่วมกัน โดย David Spergel ประธานมูลนิธิกล่าวว่า “The goal of the program is to support the mathematics community”. มูลนิธิจะบริหารและจัดสรรทุนเอง การประกาศวงเงินจึงเป็นจุดเริ่มของงานตรวจสอบ ไม่ใช่การรับรองข้อพิสูจน์ที่ AI ผลิต

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

วงเงินรวมประกอบด้วยเงินและทรัพยากร

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

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

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

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

มูลนิธิจัดสรรทุนให้ชุมชนทำงานอย่างไร

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

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

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

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

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

การปล่อยผลงานจำนวนมากทำให้การทวนสอบเป็นประเด็น

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

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

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

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

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

ข้อพิสูจน์ต้องผ่านการตรวจหลายชั้น

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

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

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

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

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

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

มาตรฐานของชุมชนจะกำหนดสถานะงานแต่ละชิ้น

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

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

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

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

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