OpenAI เปิดเผยต้นฉบับคณิตศาสตร์ 722 ฉบับที่สร้างโดยโมเดลภายใน โดยจัดกลุ่มเป็นผลงาน 372 กลุ่ม และมีเพียงข้อพิสูจน์บางส่วนที่ทำให้อยู่ในรูปแบบ Lean
OpenAI ระบุบน X ว่าจะเผยแพร่ผลงานคณิตศาสตร์จากโมเดลแนวหน้าภายในบริษัท ผลการวิจัยถูกนำขึ้น GitHub และบริษัทกล่าวว่าแนวทางการเผยแพร่นี้จัดทำขึ้นโดยอ้างอิงคำแนะนำจากกลุ่มที่ปรึกษาด้านคณิตศาสตร์และปัญญาประดิษฐ์ของสถาบัน Institute for Advanced Study ที่พรินซ์ตัน
กลุ่มผลงานในคลังเก็บข้อมูลแต่ละกลุ่มรวบรวมผลลัพธ์หลักพร้อมข้อโต้แย้งที่เกี่ยวข้อง ผลลัพธ์ต่อยอด หรือข้อพิสูจน์ทางเลือก OpenAI ยังเปิดเผยข้อมูลเกี่ยวกับกระบวนการได้ผลลัพธ์ เช่น สรุปการให้เหตุผลของโมเดลและจำนวนโจทย์ที่ทดลอง
ต้นฉบับทั้ง 722 ฉบับไม่ได้หมายความว่าเป็นการค้นพบทางคณิตศาสตร์ที่ผ่านการตรวจสอบทั้งหมด OpenAI ระบุว่าได้ทำให้ข้อพิสูจน์บางส่วนอยู่ในรูปแบบ Lean แต่ผลลัพธ์ทั้งหมดไม่ได้ผ่านการตรวจสอบอย่างเป็นทางการ และผลลัพธ์ที่ยังไม่ได้ทำให้อยู่ในรูปแบบดังกล่าวอาจมีข้อผิดพลาด บริษัทเสริมว่าจะปรับแก้ปัญหาที่ตรวจพบ
OpenAI ระบุเพิ่มเติมว่าผลงานบางส่วนที่ยังไม่ได้ทำให้อยู่ในรูปแบบทางการอาจมีปัญหา และมีแผนอัปเดตคลังเก็บข้อมูลในภายหลัง
ความคิดเห็น 0