tag: Lean

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

ผู้เชี่ยวชาญโต้แย้งระเบียบวิธีในผลเฉลยปัญหา Navier-Stokes ความยาว 166 หน้าของ OpenAI ว่าแท้จริงแล้วแตกต่างจากที่บริษัทอธิบาย พร้อมตั้งคำถามถึงความจำเป็นในการใช้ AI agent นับหมื่นตัวในการทำงาน

Hugo Duminil-Copin นักคณิตศาสตร์รางวัลระดับโลกเผยความรู้สึกอึ้งและหมดแรง หลัง OpenAI ประกาศผลงานแก้โจทย์คณิตศาสตร์ที่เขาเคยทุ่มเทมาตลอดชีวิตได้ในคราวเดียว

ประธานภาควิชาคณิตศาสตร์ UT Austin เผย OpenAI อาจปล่อยบทพิสูจน์คณิตศาสตร์ชุดใหญ่จนมนุษย์อาจทำความเข้าใจตามไม่ทัน

OpenAI ใช้กองทัพเอเจนต์ 10,000 ตัวพิสูจน์ปัญหา Navier-Stokes ได้ใน 88 ชั่วโมง ท่ามกลางข้อถกเถียงเรื่องลิขสิทธิ์ทางปัญญาและการนิยามคำว่าการค้นพบโดย AI

OpenAI เผยแพร่ผลงานการพิสูจน์ปัญหาทางคณิตศาสตร์ระดับโลก Navier–Stokes โดยใช้ระบบ AI ขั้นสูงรุ่นภายใน สร้างทั้งรายงานการวิเคราะห์และการตรวจสอบความถูกต้องในภาษา Lean