OpenAI เปิดผลงานค้นพบใหม่ 3 เรื่อง คณิตศาสตร์ วิทยาการคอมพิวเตอร์ ฟิสิกส์ ให้ผู้เชี่ยวชาญนอกช่วยตรวจ

OpenAI ประกาศผลงานค้นพบใหม่อีก 3 เรื่องในสายคณิตศาสตร์ วิทยาการคอมพิวเตอร์ และฟิสิกส์ครับ ห่างจากรอบก่อนที่ปล่อยต้นฉบับคณิตศาสตร์หลายร้อยชิ้นมาไม่ถึงเดือน

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

• คณิตศาสตร์: โมเดลพิสูจน์ local smoothing conjecture ของสมการคลื่นแบบ Euclidean ได้ในทุกมิติตั้งแต่ 2 ขึ้นไป ซึ่งพ่วงไปถึงการพิสูจน์ Kakeya maximal and dimension conjectures และ Stein's spherical restriction estimates ด้วย
• วิทยาการคอมพิวเตอร์: มีอัลกอริทึมนับคำตอบของสูตร CNF ได้แน่นอนในเวลาแบบ subexponential ซึ่งกรณี 3-SAT เท่ากับหักล้าง Exponential Time Hypothesis ที่เชื่อกันมานาน กลุ่มที่นำโดย Russell Impagliazzo, Ramamohan Paturi และ Ryan Williams จะช่วยตรวจสอบ
• ฟิสิกส์: เป็นข้อพิสูจน์การมีอยู่ของทฤษฎีสนามควอนตัมบางชนิดใน 4 มิติ รวมถึง QCD และการรวมสมบูรณ์ของ Standard Model ยังไม่เปิดเผยเต็ม มี David Gross นำทีมผู้เชี่ยวชาญมาตรวจสอบ

แต่ที่น่าสนใจคือ panel ที่ปรึกษาคณิตศาสตร์ชื่อ AGMAI ที่ OpenAI ตั้งขึ้นเอง ออกมาแนะนำเมื่อวันก่อนว่าบริษัท AI ไม่ควรเลือกบางคนมารับผลงานก่อนคนอื่น เพราะจะเกิดปัญหาเรื่องการเข้าถึงที่ไม่เท่าเทียมและอคติในการเลือก

OpenAI ยังเปิดจดหมายถึงชุมชนวิชาการ ถามความเห็นว่าควรตั้งบรรทัดฐานอย่างไรกับผลงานที่ AI ค้นพบ ทั้งเรื่องการให้เครดิตคนตรวจสอบและการดูแลนักเรียนนักวิจัยในยุคที่วิธีทำงานเปลี่ยนไป

ก่อนหน้านี้ไม่กี่เดือน Hong Wang ศาสตราจารย์จาก NYU เพิ่งได้รับรางวัล Fields Medal จาก International Mathematical Union จากการแก้ปัญหา Kakeya conjecture ในสามมิติมาแล้ว