TY  - RPRT
TI  - Kac's Walk on Rotation Matrices Mixes in $\boldsymbol{Θ(n^2)}$ Steps: A Proof Discovered with AI
AU  - Tianle Liu
PY  - 2026
UR  - https://arxiv.org/abs/2608.29403
ID  - 2608.29403
ER  -