งานวิจัย
AI ล้มข้อสันนิษฐาน Erdős อายุ 80 ปี — โมเดล OpenAI พิสูจน์ปัญหา unit distance, DeepMind แก้อีก 9 ปัญหา สะเทือนวงการคณิตศาสตร์
โมเดล AI ภายในของ OpenAI สร้างตัวอย่างค้าน (counterexample) ที่หักล้างข้อสันนิษฐาน planar unit distance ที่ Paul Erdős ตั้งไว้ตั้งแต่ปี 1946 ใช้เครื่องมือจาก algebraic number theory นักคณิตศาสตร์รางวัล Fields อย่าง Timothy Gowers บอกว่าถ้ามนุษย์ส่งบทพิสูจน์นี้ เขาจะแนะนำให้ตีพิมพ์ใน Annals of Mathematics ทันที ขณะที่ DeepMind ก็ใช้โมเดลของตนแก้ปัญหาเปิดอีก 9 ข้อของ Erdős ในสัปดาห์เดียวกัน
· อ่าน 6 นาที