สิ่งที่ AI ค้นพบ
OpenAI เปิดเผยเมื่อวันจันทร์ว่าโมเดล reasoning ทั่วไปของบริษัทสามารถแก้ปัญหาหน่วยระยะทางระนาบ (planar unit distance problem) ซึ่งเป็นคำถามเปิดในเรขาคณิตไม่ต่อเนื่องที่นักคณิตศาสตร์พอล แอร์ดิชตั้งไว้ในปี 1946 ความสำเร็จนี้ถือเป็นครั้งแรกที่ระบบ AI แก้ปัญหาเปิดสำคัญที่เป็นหัวใจของสาขาคณิตศาสตร์ได้โดยอิสระ
สิ่งที่ AI ค้นพบ
เป็นเวลาเกือบ 80 ปีที่นักคณิตศาสตร์เชื่อว่าคำตอบที่ดีที่สุดของปัญหาแอร์ดิชมีรูปแบบคล้ายตารางสี่เหลี่ยม โมเดล OpenAI หักล้างข้อสันนิษฐานนั้น โดยสร้างตระกูลโครงสร้างใหม่ทั้งหมดที่ให้ผลลัพธ์ดีกว่า ข้อพิสูจน์มาจากโมเดล reasoning ทั่วไป ไม่ใช่ระบบที่สร้างขึ้นมาสำหรับคณิตศาสตร์โดยเฉพาะ และได้รับการทำให้เป็นทางการในภาษา Lean verification
การยืนยันจากผู้เชี่ยวชาญ
ผู้ได้รับเหรียญฟิลด์ส เทอเรนซ์ เต๋า ตรวจสอบและยอมรับข้อพิสูจน์ ทำให้ได้รับความน่าเชื่อถือในวงการคณิตศาสตร์ ผลลัพธ์นี้ถูกอธิบายว่าเป็นจุดเริ่มต้นของยุคใหม่ที่ระบบ AI สามารถเชื่อมโยงห่วงโซ่การคิดที่ยาวและเชื่อมโยงแนวคิดข้ามสาขาที่ห่างไกลได้
ผลกระทบเกินกว่าคณิตศาสตร์
OpenAI กล่าวว่าความสามารถเดียวกันที่ทำให้เกิดความก้าวหน้าทางคณิตศาสตร์นี้จะเร่งงานในชีววิทยา ฟิสิกส์ วิศวกรรม และการแพทย์ในไม่ช้า บริษัทเน้นว่าการตัดสินของมนุษย์ยังคงจำเป็น — AI สามารถค้นหา เสนอแนะ และตรวจสอบ แต่คนเป็นผู้เลือกปัญหาที่สำคัญและตีความผลลัพธ์