เรากำลังเผยผลลัพธ์ใหม่ทางคณิตศาสตร์ในหลากหลายด้าน ซึ่งสร้างขึ้นโดยโมเดลระดับแนวหน้าที่ใช้ภายใน
ในระหว่างที่เราพัฒนามาตรฐานสำหรับการเผยผลลัพธ์แก่ชุมชนคณิตศาสตร์ เราได้ปรึกษากับคณะที่ปรึกษาด้านคณิตศาสตร์และปัญญาประดิษฐ์ของ Institute for Advanced Study(เปิดในหน้าต่างใหม่) ซึ่งเป็นคณะที่ปรึกษาอิสระ เพื่อร่วมกันกำหนดแนวปฏิบัติที่เหมาะสม และนำคำแนะนำซึ่งรวมถึงข้อเสนอแนะที่เผยแพร่ต่อสาธารณะ(เปิดในหน้าต่างใหม่)มาปรับใช้กับวิธีที่เราเผยแพร่ผลลัพธ์เหล่านี้
สำหรับการเผยแพร่ครั้งนี้ เราเผยผลลัพธ์ผ่าน Repository บน GitHub พร้อมกำหนดแนวทางสำหรับการแก้ไขบทความและการอ้างอิง เรายังคงพิจารณาทางเลือกอื่นที่ชุมชนเป็นผู้ดูแลสำหรับการเผยแพร่ครั้งนี้ โดยต้องสอดคล้องกับแนวทางของคณะกรรมการ สำหรับการเผยแพร่ในอนาคต เรามุ่งมั่นที่จะยกระดับคุณภาพของบทความให้ดียิ่งขึ้น ทั้งในด้านการอ้างอิง การอธิบายเนื้อหาทางคณิตศาสตร์ และการนำเสนอผลลัพธ์ เพื่อให้ผู้อ่านเข้าใจได้ชัดเจนยิ่งขึ้น
ใน Repository บน GitHub ของเรา มีการเผยการจัดทำบทพิสูจน์จำนวนมากใน Lean ซึ่งเป็นภาษาโปรแกรมที่ทำให้คอมพิวเตอร์สามารถตรวจสอบบทพิสูจน์ทางคณิตศาสตร์ได้ เราจะอัปเดต Repository ต่อไปเมื่อได้รับการจัดทำบทพิสูจน์ใน Lean เพิ่มเติม
เรายังเผยรายละเอียดเพิ่มเติมใน Repository ว่าเราได้ผลลัพธ์เหล่านี้มาอย่างไร เพื่อให้การวิจัยมีความโปร่งใสและเปิดเผยมากขึ้น โดยมีทั้งบทสรุปกระบวนการให้เหตุผลของโมเดล 10 รายการ ค่าประมาณการใช้ทรัพยากรการประมวลผลโดยอ้างอิงจากการใช้งานแพ็กเกจ Pro บน ChatGPT และข้อมูลสถิติเกี่ยวกับจำนวนโจทย์ปัญหาที่นำมาทดลองแก้ ผลลัพธ์หนึ่งรายการใช้ทรัพยากรการประมวลผลเทียบเท่ากับการให้เหตุผลด้วย ChatGPT Pro ประมาณสามชั่วโมง
เราหวังว่าความก้าวหน้านี้จะช่วยผลักดันขอบเขตความรู้ของมนุษย์ให้ก้าวไกลขึ้น และสร้างโอกาสให้เกิดความก้าวหน้าทางคณิตศาสตร์ต่อไป เราจะให้ทุนสนับสนุนเวิร์กช็อป การประชุม และโครงการพิเศษหลายรูปแบบที่มุ่งทำความเข้าใจผลลัพธ์สำคัญซึ่งเกิดจาก AI และจะมีข้อมูลเพิ่มเติมมาแบ่งปันในเร็วๆ นี้
เราต้องการให้นักวิทยาศาสตร์เข้าถึงขีดความสามารถที่ล้ำสมัยและนำไปใช้ได้โดยตรง ขณะเดียวกันก็กำลังเตรียมเผยแพร่โมเดลที่สร้างผลลัพธ์เหล่านี้อย่างมีความรับผิดชอบ ด้วยเหตุนี้ เราจึงต้องประเมินโมเดลระดับแนวหน้าที่ใช้ภายในกับโจทย์ด้านคณิตศาสตร์และวิทยาศาสตร์แขนงอื่นๆ อย่างต่อเนื่อง เพื่อเร่งพัฒนาเครื่องมือที่จะช่วยผลักดันความก้าวหน้าในสาขาเหล่านั้น เราจะรับฟังและนำข้อเสนอแนะจากชุมชนไปดำเนินการต่อ พร้อมปรับมาตรฐานสำหรับการเผยแพร่ความก้าวหน้าทางวิทยาศาสตร์ครั้งสำคัญในอนาคต
