OpenAI เผยแพร่บทพิสูจน์คณิตศาสตร์รวดเดียวกว่า 700 รายการ แต่เริ่มถอนบางส่วนออกแล้ว
Body
OpenAI เผยแพร่บทพิสูจน์ทฤษฎีคณิตศาสตร์รวดเดียวถึง 722 รายการ แบ่งเป็นกลุ่มปัญหา 377 กลุ่ม ปัญหาบางข้อเกี่ยวกับวงการคอมพิวเตอร์โดยตรง เช่น การหาขอบเขตใหม่ของ Big-O ในการคูณแมทริกซ์ แต่ล่าสุดก็ต้องถอนรายงานบางส่วนและแก้ไขรายงานที่อ้างอิงถึงบทความเหล่านั้น
ทาง OpenAI อาศัยการหาปัญหาคณิตศาสตร์ที่ยังไม่ถูกแก้ 4,000 ปัญหาไปให้โมเดลใหม่ที่ยังไม่ได้ปล่อยออกมาลองแก้ บทพิสูจน์จำนวนมากเหล่านี้หากใช้นักคณิตศาสตร์ทำงานจริงๆ ก็น่าจะใช้เวลาหลายปีทำให้การเผยแพร่ครั้งนี้น่าจะเปลี่ยนแนวทางการทำงานของนักคณิตศาสตร์ในอนาคตไปอย่างชัดเจน
อย่างไรก็ตาม บทความที่เผยแพร่ออกมายังมีระดับความสมบูรณ์ต่างกันไป บางบทพิสูจน์มีโค้ดภาษา Lean แนบมาด้วย แม้จะมีโค้ด Lean แต่บางส่วนก็ยังดูมีปัญหาที่ต้องปรับแก้ ล่าสุดทาง OpenAI ก็ตรวจพบความผิดพลาดในรายงาน 3 ฉบับที่ต้องถอนออก และมีการปรับแก้อีก 14 ฉบับ แต่กระนั้นรายงานอื่นก็ยังคงน่าศึกษาและตรวจสอบกันต่อไป
ที่มา - OpenAI
lew Fri, 09/10/2026 - 00:15
Continue reading...
Body
OpenAI เผยแพร่บทพิสูจน์ทฤษฎีคณิตศาสตร์รวดเดียวถึง 722 รายการ แบ่งเป็นกลุ่มปัญหา 377 กลุ่ม ปัญหาบางข้อเกี่ยวกับวงการคอมพิวเตอร์โดยตรง เช่น การหาขอบเขตใหม่ของ Big-O ในการคูณแมทริกซ์ แต่ล่าสุดก็ต้องถอนรายงานบางส่วนและแก้ไขรายงานที่อ้างอิงถึงบทความเหล่านั้น
ทาง OpenAI อาศัยการหาปัญหาคณิตศาสตร์ที่ยังไม่ถูกแก้ 4,000 ปัญหาไปให้โมเดลใหม่ที่ยังไม่ได้ปล่อยออกมาลองแก้ บทพิสูจน์จำนวนมากเหล่านี้หากใช้นักคณิตศาสตร์ทำงานจริงๆ ก็น่าจะใช้เวลาหลายปีทำให้การเผยแพร่ครั้งนี้น่าจะเปลี่ยนแนวทางการทำงานของนักคณิตศาสตร์ในอนาคตไปอย่างชัดเจน
อย่างไรก็ตาม บทความที่เผยแพร่ออกมายังมีระดับความสมบูรณ์ต่างกันไป บางบทพิสูจน์มีโค้ดภาษา Lean แนบมาด้วย แม้จะมีโค้ด Lean แต่บางส่วนก็ยังดูมีปัญหาที่ต้องปรับแก้ ล่าสุดทาง OpenAI ก็ตรวจพบความผิดพลาดในรายงาน 3 ฉบับที่ต้องถอนออก และมีการปรับแก้อีก 14 ฉบับ แต่กระนั้นรายงานอื่นก็ยังคงน่าศึกษาและตรวจสอบกันต่อไป
ที่มา - OpenAI
lew Fri, 09/10/2026 - 00:15
Continue reading...