AI แก้สิ่งที่มนุษย์ไม่สามารถทำได้
โมเดลปัญญาประดิษฐ์ได้แก้ปัญหาทางเรขาคณิตอายุ 80 ปีที่ถูกตั้งสมมติฐานโดยนักคณิตศาสตร์ชาวฮังการีในตำนาน พอล แอร์ดิช สร้างความตกตะลึงให้กับโลกคณิตศาสตร์ ปัญหาของแอร์ดิช ซึ่งเป็นหนึ่งในความท้าทายที่ยังไม่ได้รับการแก้ไขประมาณ 1,200 ข้อที่แอร์ดิชทิ้งไว้ ได้ต่อต้านความพยายามของมนุษย์ทั้งหมดในการหาคำตอบนับตั้งแต่ทศวรรษ 1940 นักวิจัยพบว่า AI ค้นพบการจัดเรียงจุดคู่ที่ซับซ้อนกว่า ซึ่งนักคณิตศาสตร์มนุษย์ไม่เคยนึกภาพมาก่อน ให้อัตราการเติบโตที่ใหญ่กว่าที่แนวทางดั้งเดิมอนุญาต
นักคณิตศาสตร์เรียกร้องมาตรการป้องกัน
ความก้าวหน้าดังกล่าวได้จุดประกายทั้งความตื่นเต้นและความกังวล 'นี่คือสิ่งที่ AI ค้นพบ เราไม่ได้มันอย่างไร และทำไมมันถึงสำคัญ' วอลล์สตรีทเจอร์นัลเขียน แต่ชุมชนคณิตศาสตร์ก็เรียกร้องให้ใช้ความระมัดระวัง คำประกาศไลเดน ซึ่งลงนามโดยนักคณิตศาสตร์ชั้นนำ เรียกร้องให้มีการกำกับดูแลการใช้ AI ในการวิจัยทางคณิตศาสตร์ เตือนว่าการพึ่งพา AI มากเกินไปอาจบ่อนทำลายความคิดสร้างสรรค์ของมนุษย์ซึ่งเป็นแกนหลักของการค้นพบทางคณิตศาสตร์
ยุคใหม่สำหรับ AI ในวิทยาศาสตร์
ไซแอนทิฟิกอเมริกันเรียกความสำเร็จนี้ว่า 'ความก้าวหน้าทางคณิตศาสตร์ที่ใหญ่ที่สุดของ AI เท่าที่เคยมีมา' การแก้ปัญหานี้แสดงให้เห็นว่า AI สามารถมีส่วนร่วมในการค้นพบทางคณิตศาสตร์ที่แท้จริง ไม่ใช่แค่การคำนวณ ในขณะที่บางคนเฉลิมฉลองในฐานะเครื่องมือสำหรับการเร่งการวิจัย แต่คนอื่นๆ กลัวว่ามันอาจเปลี่ยนธรรมชาติของการพิสูจน์ทางคณิตศาสตร์เอง การถกเถียงนี้สะท้อนการสนทนาในวงกว้างทั่ววิทยาศาสตร์เกี่ยวกับจุดที่ควรขีดเส้นแบ่งระหว่างความช่วยเหลือของ AI และการค้นพบที่นำโดยมนุษย์