แท็ก

#erdos

2 บทความ

AI ล้มข้อสันนิษฐาน Erdős อายุ 80 ปี — โมเดล OpenAI พิสูจน์ปัญหา unit distance, DeepMind แก้อีก 9 ปัญหา สะเทือนวงการคณิตศาสตร์
งานวิจัย

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 นาที
AI พิสูจน์ 'ผิด' ทฤษฎีของ Erdős — โมเดล general-purpose ของ OpenAI หักล้าง unit distance conjecture อายุ 80 ปี
งานวิจัย

AI พิสูจน์ 'ผิด' ทฤษฎีของ Erdős — โมเดล general-purpose ของ OpenAI หักล้าง unit distance conjecture อายุ 80 ปี

OpenAI ประกาศว่าโมเดล general-purpose reasoning ภายในของบริษัทค้นพบ counterexample ที่หักล้าง central conjecture ของ discrete geometry ที่ Paul Erdős ตั้งคำถามไว้ตั้งแต่ปี 1946 — เป็นครั้งแรกที่ AI ทั่วไป (ไม่ใช่ระบบ math-specialized) แก้ปัญหาเปิด (open problem) ของวงการคณิตศาสตร์ได้เอง พิสูจน์โดย infinite family ของตัวอย่างที่ให้ polynomial improvement เหนือ square-grid construction เดิม

· อ่าน 5 นาที