เมื่อ AI เขย่าบัลลังก์คณิตศาสตร์: วิกฤตและความท้าทายครั้งใหม่ของนักวิจัย
วงการคณิตศาสตร์โลกเผชิญความตื่นตัวครั้งใหญ่ หลังปัญญาประดิษฐ์ระดับแนวหน้าสามารถแก้โจทย์ยากและช่วยพิสูจน์ทฤษฎีบทได้เทียบเท่าระดับเหรียญเงินโอลิมปิก
พอดแคสต์ Decoder ของสำนักข่าว The Verge ได้หยิบยกประเด็นร้อนเรื่อง "วิกฤต AI ในทางคณิตศาสตร์" ผ่านการสัมภาษณ์ Robert Hart ผู้สื่อข่าว AI ของ The Verge ซึ่งต่อยอดมาจากบทความเจาะลึกเกี่ยวกับการเข้ามามีบทบาทของปัญญาประดิษฐ์ในวงการคณิตศาสตร์
ความก้าวหน้านี้สอดคล้องกับรายงานจากวารสาร Nature และบล็อกของ Google DeepMind ที่ระบุว่า โมเดลอย่าง AlphaProof และ AlphaGeometry 2 สามารถแก้โจทย์การแข่งขันคณิตศาสตร์โอลิมปิกสากล (IMO) ได้ในระดับเหรียญเงิน โดยอาศัยการผสานการทำงานร่วมกับระบบตรวจสอบความถูกต้องเชิงตรรกะหรือภาษา Lean เพื่อแก้ปัญหาเรื่องการให้เหตุผลที่ผิดพลาดหรือการหลอนของ AI
ด้านนิตยสาร Quanta Magazine รายงานว่า นักคณิตศาสตร์ระดับรางวัลเหรียญฟิลด์สอย่าง Terence Tao ได้มองว่า AI เริ่มทำหน้าที่เป็น "Copilot" หรือผู้ช่วยในการวิเคราะห์และตรวจสอบช่องโหว่ของบทพิสูจน์แล้ว อย่างไรก็ตาม ความก้าวหน้าดังกล่าวสร้างความกังวลเชิงโครงสร้างในหมู่นักคณิตศาสตร์ชั้นนำ เกี่ยวกับการปรับบทบาทของมนุษย์ การประเมินผลงานวิชาการ และนิยามความเข้าใจทางคณิตศาสตร์ที่แท้จริง
สะท้อนให้เห็นว่า AI กำลังเปลี่ยนผ่านจากการทำงานทั่วไปสู่การแก้ปัญหาเชิงตรรกะระดับสูง ซึ่งจะส่งผลกระทบต่อการศึกษา การวิจัย และทักษะที่จำเป็นสำหรับบุคลากรในอนาคต