OpenAI เตรียมปล่อย 400 บทพิสูจน์คณิตศาสตร์ที่สร้างโดย AI

เรื่องย่อ

กลายเป็นประเด็นร้อนในกลุ่ม r/singularity เมื่อคุณ u/141_1337 ได้แชร์ข้อมูลของ Francesco Maggi ประธานภาควิชาคณิตศาสตร์จาก University of Texas at Austin ที่ระบุว่า OpenAI ดูเหมือนกำลังเตรียมการที่จะปล่อยบทพิสูจน์ทางคณิตศาสตร์ที่สร้างโดย AI จำนวนประมาณ 400 รายการออกมาพร้อมกัน ซึ่งเขามองว่าเรากำลังมาถึงจุดที่การค้นพบสิ่งใหม่ไม่ใช่เรื่องยากอีกต่อไป แต่สิ่งที่ขาดแคลนคือ "ความเข้าใจของมนุษย์" ต่อสิ่งที่ AI สร้างขึ้น โดยกระทู้นี้ได้รับความสนใจอย่างมากด้วยคะแนนกว่า 1,000 upvote และกว่า 500 คอมเมนต์

คนในกระทู้ว่าอย่างไร

• มุมมองด้านความสามารถของมนุษย์: คอมเมนต์ที่ได้รับความนิยมสูงสุดมองว่า อีกไม่นาน AI จะสามารถเข้าใจ เชื่อมโยง และอธิบายสิ่งที่มันสร้างได้ดีและเร็วกว่ามนุษย์มาก พร้อมกับเตือนว่ามนุษย์ต้องยอมรับว่าศักยภาพทางความคิดของเราอาจไม่ได้พิเศษไปกว่าเครื่องจักรในอนาคตอันใกล้
• การปรับตัวของเหล่านักคณิตศาสตร์: บางส่วนมองว่านี่ไม่ใช่เรื่องแย่ แต่เป็นโอกาสให้นักคณิตศาสตร์เปลี่ยนบทบาทจากการเป็นผู้แก้โจทย์ มาเป็นผู้ทำความเข้าใจและอธิบายบทพิสูจน์ที่ AI สร้างขึ้นแทน เหมือนเป็นการได้ "สูตรโกง" ที่ช่วยให้งานก้าวหน้าเร็วขึ้น
• ความกังวลด้านอาชีพและแรงจูงใจ: มีการตั้งข้อสังเกตว่านักคณิตศาสตร์หลายคนทำงานนี้เป็นอาชีพ หากโอกาสทางวิชาชีพลดลงหรือถูก AI แย่งซีน อาจส่งผลให้คนรุ่นใหม่ไม่อยากเรียนคณิตศาสตร์ และจะไม่มีมนุษย์ที่มีความรู้พอจะไปตรวจสอบความถูกต้องของ AI ในระยะยาว
• การเปรียบเทียบกับสายงานเทค: นักพัฒนาซอฟต์แวร์ในกระทู้ร่วมแลกเปลี่ยนว่า ในโลกการเขียนโปรแกรม การที่มี Code ถูกสร้างออกมาเยอะจนอ่านตามไม่ทันกลายเป็นความจริงไปแล้ว ซึ่งทางออกคือต้องเลิกเน้นการใช้คนอ่านรีวิว แล้วเปลี่ยนไปใช้ระบบตรวจสอบอัตโนมัติ (Frameworks) อย่าง Lean ในทางคณิตศาสตร์เพื่อยืนยันความถูกต้องแทน
• ประเด็นด้านความรู้สึก: มีนักคณิตศาสตร์เข้ามาตัดพ้อว่าช่วงนี้ได้รับความเห็นเชิงลบจากคนทั่วไปที่มองว่าการศึกษาคณิตศาสตร์มาค่อนชีวิตเป็นเรื่องเสียเวลาเพราะ AI เก่งกว่า ในขณะที่บางคนโต้กลับว่า AI เกิดขึ้นได้ก็เพราะความรู้พื้นฐานที่นักคณิตศาสตร์สร้างไว้ทั้งนั้น