นักคณิตศาสตร์โลกแนะเทรนด์ใหม่ ใช้ "โปรแกรมคอมพิวเตอร์ช่วยพิสูจน์"