
AI พิสูจน์ทฤษฎีคณิตศาสตร์ชื่อดัง: บทเรียนจากมุมมองนักคณิตศาสตร์
เชื่อว่าหลายคนคงเคยได้ยินข่าวฮือฮาเมื่อ OpenAI สามารถใช้โมเดล AI ในการ AI พิสูจน์ทฤษฎีคณิตศาสตร์ชื่อดัง อย่างปัญหา unit-distance ของ Paul Erdős ที่ค้างคาใจนักคณิตศาสตร์มานานกว่า 80 ปี จนกลายเป็นประเด็








