เอไอ “คล็อด” ใช้เวลาเพียง 11 วันแก้โจทย์คณิตศาสตร์อายุ 358 ปีได้สำเร็จ

สวัสดีครับทุกคน! วันนี้ผมมีเรื่องราวที่น่าทึ่งในวงการเทคโนโลยีมาฝากกัน เชื่อไหมครับว่าตอนนี้โลกของเรามาไกลมาก เมื่อล่าสุดมีการรายงานว่า เอไอ “คล็อด” ใช้เวลาเพียง 11 วันแก้โจทย์คณิตศาสตร์อายุ 358 ปีได้สำเร็จ ซึ่งถือเป็นก้าวสำคัญของการนำ AI มาประยุกต์ใช้กับงานวิจัยทางวิทยาศาสตร์ระดับสูงอย่างแท้จริงครับ

เอไอ “คล็อด” ใช้เวลาเพียง 11 วันแก้โจทย์คณิตศาสตร์อายุ 358 ปีได้สำเร็จ

เรื่องราวเริ่มต้นจาก “บทพิสูจน์สุดท้ายของแฟร์มา” (Fermat’s Last Theorem) ซึ่งเป็นโจทย์คณิตศาสตร์สุดหินที่ท้าทายนักคณิตศาสตร์ทั่วโลกมาตั้งแต่ปี ค.ศ. 1637 โดยปิแอร์ เดอ แฟร์มา ได้ทิ้งโจทย์นี้ไว้พร้อมคำกล่าวว่าเขามีบทพิสูจน์ที่อัศจรรย์แต่ไม่มีที่ว่างให้เขียน จนกระทั่ง แอนดรูว์ ไวลส์ สามารถพิสูจน์ได้สำเร็จในปี 1995 แต่การตรวจสอบความถูกต้องนั้นกลับใช้เวลาอีกหลายปี

ความเร็วที่เหนือจินตนาการของ AI

การที่ เอไอ “คล็อด” ใช้เวลาเพียง 11 วันแก้โจทย์คณิตศาสตร์อายุ 358 ปีได้สำเร็จ ครั้งนี้ ไม่ใช่เรื่องบังเอิญ แต่เกิดจากการที่ทีมงานจากมหาวิทยาลัยโคลัมเบียใช้เอเจนต์ AI หลายสิบตัวทำงานขนานกันผ่านระบบพรูฟทูมี (Prove2Me) ทำให้ AI สามารถเปลี่ยนบทพิสูจน์ที่ซับซ้อนให้กลายเป็นโค้ดภาษา Lean ได้ถึง 13 ล้านบรรทัด ซึ่งหากเป็นมนุษย์คงต้องใช้เวลาทำงานยาวนานหลายปี

ประโยชน์ที่สำคัญของความสำเร็จนี้คือ:

• ความแม่นยำสูง: ลดข้อผิดพลาดจากมนุษย์ในการตรวจสอบตรรกะ
• ประสิทธิภาพ: ทำงานซ้ำซ้อนน้อยลงผ่านการแบ่งงานด้วยเอเจนต์อัจฉริยะ
• การเข้าถึงข้อมูล: โค้ดทั้งหมดถูกเผยแพร่บน GitHub เพื่อให้นักคณิตศาสตร์ทั่วโลกได้ตรวจสอบ

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

ที่มา – เอไอ “คล็อด” ใช้เวลาเพียง 11 วันแก้โจทย์คณิตศาสตร์อายุ 358 ปีได้สำเร็จ