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