Steven Strogatz ศาสตราจารย์ Cornell University ร่วมเขียนหนังสือ Big Math เตือนว่าคณิตศาสตร์กำลังหลุดพ้นจากความเข้าใจของมนุษย์ OpenAI ใช้ tens of thousands ของ agents แก้โจทย์เก่า 90 ปี มีรางวัล $1 ล้าน โดยอิงกลยุทธ์ของ Diego Córdoba และ Luis Martínez-Zoroa จากสเปน แต่ Tristan Buckmaster กล่าวหาว่า OpenAI รีบแก้โจทย์หลังรู้งานของเขากับ Anthropic researcher Levent Alpöge และพยายามชิงเครดิต ขณะที่ Anthropic ระบุ Claude พิสูจน์ทฤษฎีบทเล็ก 29,500 ข้อและจัดรูปแบบบทพิสูจน์ Fermat’s Last Theorem เสร็จแล้ว OpenAI ยังประกาศความก้าวหน้าในอีก 10 โจทย์ใหญ่เมื่อเดือนสิงหาคม Strogatz ระบุว่า AI ทำให้เกิดบทพิสูจน์เร็วขึ้นแต่ความหมายต่อนักคณิตศาสตร์ยังไม่ชัดเจน
ที่มา: Wired