เกิดอะไรขึ้น
OpenAI เผย 10 ผลลัพธ์จากโมเดลภายในชื่อ Astra ซึ่งแก้ปัญหาหรือทำให้ก้าวหน้าในปัญหาเปิดด้านเรขาคณิตทรงกลมหลายมิติ รหัสไบนารีและทรงกลม กลุ่ม non-sofic การคาดการณ์ความแข็งของ Connes ความซับซ้อนวงจรเชิงพีชคณิต การซ้ำแบบขนานควอนตัม ปัญหาเวกเตอร์ใกล้ที่สุด การคาดการณ์ปริมาตรของ Ehrhart จำนวน Ramsey หลายสี และข้อคาดการณ์ด้านทฤษฎีกราฟเชิงสุดขั้ว โดยมนุษย์เตรียมต้นฉบับด้วยโมเดลเดียวกัน โมเดลทำให้แต่ละข้อพิสูจน์เป็น Lean certificate และ OpenAI เผยคำอธิบายกระบวนการคิดของโมเดลสำหรับแต่ละคำตอบ
ทำไมเรื่องนี้สำคัญ
งานนี้แสดงว่าโมเดล AI สามารถสร้างผลลัพธ์คณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎีที่ตรวจสอบได้ผ่าน Lean certificate และ OpenAI ระบุว่าโทเคนที่ใช้หาทางแก้มีต้นทุนประมาณ 2,000 ดอลลาร์ตามอัตรา Sol API ขณะเดียวกัน OpenAI เปิด ChatGPT for Academic Researchers ให้นักวิทยาศาสตร์และนักคณิตศาสตร์ 100,000 คนเข้าถึงโมเดล ChatGPT ที่ดีที่สุดฟรี
ผลกระทบที่น่าจับตา
สำหรับผู้อ่าน
นักวิจัยและนักคณิตศาสตร์ได้เครื่องมือเร่งการค้นพบ: OpenAI ประกาศ ChatGPT for Academic Researchers ให้นักวิทยาศาสตร์และนักคณิตศาสตร์ 100,000 คนเข้าถึงโมเดล ChatGPT ที่ดีที่สุดฟรี และเผยคำอธิบายกระบวนการคิดของโมเดลสำหรับแต่ละคำตอบ
สำหรับผู้อ่าน
ชุมชนคณิตศาสตร์ได้ผลลัพธ์ใหม่ในปัญหาเปิด: 10 ผลลัพธ์แก้ปัญหาหรือทำให้ก้าวหน้าในปัญหาเปิด เช่น การหักล้างการคาดการณ์ unit-distance ของ Erdős ที่เคยเผยแพร่เมื่อเดือนพฤษภาคม และปัญหาในทฤษฎีรหัส กลุ่ม ความซับซ้อนควอนตัม และคริปโตกราฟิกแลตติส
สำหรับนักพัฒนา
การตรวจสอบด้วย Lean certificate: โมเดลทำให้แต่ละข้อพิสูจน์เป็น Lean certificate ซึ่งเป็นรูปแบบการตรวจสอบข้อพิสูจน์ที่ผู้พัฒนาและนักวิจัยสามารถนำไปใช้ตรวจสอบได้
มุมมองของทันเทค
บทวิเคราะห์: จุดที่น่าสนใจคือ OpenAI ไม่ได้เสนอเพียงคำตอบ แต่ให้ Lean certificate และคำอธิบายกระบวนการคิด ซึ่งทำให้ผลลัพธ์ตรวจสอบได้และลดความเสี่ยงจากการเชื่อโมเดลโดยไม่มีหลักฐาน สำหรับวงการเทค นี่เป็นสัญญาณว่า AI กำลังเปลี่ยนจากผู้ช่วยเขียนโค้ดไปสู่เครื่องมือสร้างความรู้เชิงทฤษฎีที่ทำงานร่วมกับนักคณิตศาสตร์ได้จริง
สรุปในประโยคเดียว
OpenAI เผย 10 ผลลัพธ์คณิตศาสตร์และวิทยาการคอมพิวเตอร์เชิงทฤษฎีจากโมเดล Astra พร้อม Lean certificate และเปิด ChatGPT for Academic Researchers ให้ผู้วิจัย 100,000 คนใช้ฟรี