解法：卡恩与卡莱利用弗兰克尔–威尔逊定理反驳博苏克猜想

经典结果表明博苏克猜想在 $n \le 3$ 时成立,且对任意维数中的光滑凸体都成立;卡恩与卡莱的反例仅表明在 $n$ 较大时猜想失效。此后的显式构造不断降低已知最小失效维数 $d^\ast$:严格验证到 $n = 64$,或猜测性地到 $n = 63$(季的计算机/AI辅助预印本,尚未经同行评审),但 $d^\ast$ 的确切值仍然未知。