ปัญหาของ Lehmer: AI ทำลายขีดจำกัดดีกรีสูงสำหรับพหุนามดีกรีคู่จนถึง 2000
กระบวนการค้นพบแบบผสมผสานระหว่างมนุษย์และ AI ช่วยให้เกิดการสร้างพหุนามที่ลดทอนไม่ได้ ซึ่งมีค่า Mahler ต่ำกว่าจุดจำกัดของ Boyd สำหรับทุกดีกรีคู่จนถึง 2000 ทำลายสถิติเดิมที่อยู่ที่ดีกรี 180 ทีมวิจัยได้เผยแพร่ชุดข้อมูลที่ผ่านการตรวจสอบแล้ว และนำเสนออัลกอริทึม Generalized Boyd