ทันเอไอ

OpenAI เผยแพร่ผลงานวิจัยคณิตศาสตร์ 722 ฉบับจาก AI บน GitHub พร้อมเปิดให้ตรวจสอบ

OpenAI เผยแพร่ผลงานวิจัยคณิตศาสตร์ 722 ฉบับที่สร้างจากโมเดล AI ภายในองค์กรลงบน GitHub พร้อมเปิดรหัสยืนยันด้วยภาษา Lean

OpenAI เผยแพร่ความก้าวหน้าด้านการใช้ปัญญาประดิษฐ์หรือ AI แก้ปัญหาทางคณิตศาสตร์ โดยได้นำผลงานวิจัยจำนวน 722 ฉบับ ครอบคลุมผลลัพธ์ 372 กลุ่มงานวิจัยในหัวข้อต่างๆ เช่น พีชคณิต ตรรกศาสตร์ และวิทยาการคอมพิวเตอร์เชิงทฤษฎี ไปเผยแพร่บนแพลตฟอร์ม GitHub ภายใต้คลังข้อมูล openai/math

งานวิจัยเหล่านี้ถูกสร้างขึ้นโดยโมเดล AI ระดับแนวหน้า (frontier model) ภายในของบริษัท โดยผลงานบางส่วนได้รับการพิสูจน์และยืนยันความถูกต้องด้วยภาษา Lean (Lean proof formalizations) ซึ่งเป็นภาษาสำหรับการตรวจสอบทางคอมพิวเตอร์ แต่ก็ยังมีบางส่วนที่ยังอยู่ระหว่างการตรวจสอบเพิ่มเติม

ก่อนการเผยแพร่ครั้งนี้ OpenAI ระบุว่าได้ปรึกษาหารือกับคณะทำงานอิสระด้านคณิตศาสตร์และ AI จากสถาบันการศึกษาระดับสูง (Institute for Advanced Study - IAS) เพื่อกำหนดแนวทางการปล่อยผลงานดังกล่าวออกมาสู่สาธารณะ

อย่างไรก็ตาม สำนักข่าว The Guardian รายงานว่า มีความกังวลจากกลุ่มนักคณิตศาสตร์เกี่ยวกับความโปร่งใสและการเข้าถึงโมเดลที่เป็นกรรมสิทธิ์ (proprietary models) ของ OpenAI รวมถึงความกังวลว่า AI อาจสร้างข้อโต้แย้งทางคณิตศาสตร์ที่ซับซ้อนจนมนุษย์อาจตรวจสอบหรือทำความเข้าใจได้ยาก ทั้งนี้ เหตุการณ์ดังกล่าวเกิดขึ้นต่อเนื่องจากที่ OpenAI เคยประกาศความสำเร็จในการใช้ AI พิสูจน์ปัญหาทางคณิตศาสตร์ระดับโลกอย่างสมการ Navier-Stokes ไปเมื่อเดือนกันยายน 2026 ที่ผ่านมา