Vượt qua giới hạn của siêu máy tính, TS Baek Jin-eon đã dành 7 năm để chứng minh thành công bài toán "ghế sofa di chuyển" bằng tư duy logic thuần túy.