For example,the Kepler conjecture (

For example,the Kepler conjecture (part of problem 18),which raised questions about the efficiency of sphere packing,involved a computer-assisted proof,which may be difficult for people to verify

ผลลัพธ์ (ไทย) 1:

ตัวอย่างเช่น การเคปเลอร์ข้อความคาดการณ์ (ส่วนของปัญหา 18), ซึ่งยกคำถามเกี่ยวกับประสิทธิภาพของบรรจุภัณฑ์ทรงกลม เกี่ยวข้องกับคอมพิวเตอร์ช่วยพิสูจน์ทาง ซึ่งอาจจะยากสำหรับคนที่จะตรวจสอบ

ผลลัพธ์ (ไทย) 2:

ยกตัวอย่างเช่นการคาดเดาเคปเลอร์ (ส่วนหนึ่งของปัญหา 18) ซึ่งยกคำถามเกี่ยวกับประสิทธิภาพของทรงกลมบรรจุที่เกี่ยวข้องกับคอมพิวเตอร์ช่วยพิสูจน์ซึ่งอาจจะเป็นเรื่องยากสำหรับคนที่จะตรวจสอบ

ผลลัพธ์ (ไทย) 3:

ตัวอย่างเช่น การคาดเดา เคปเลอร์ ( ส่วนหนึ่งของปัญหา 18 ) ซึ่งยกคำถามเกี่ยวกับประสิทธิภาพของทรงกลมบรรจุเกี่ยวข้องกับหลักฐานด้วย ซึ่งอาจจะยากสำหรับคนที่จะตรวจสอบ