Can AI Learn Mental Arithmetic? Implicit CoT Gets First Theoretical Proof with Stuart Russell

AI真能学会心算？隐式思维链首次得到理论证明，Stuart Russell参与

UC Berkeley and Princeton researchers introduced Log-ICoT for k-parity, reducing training stages from 15 to 4 when k=16, and proved that an L-layer Transformer can internalize chain-of-thought with log₂k curriculum stages under simplified assumptions.

Why it matters: HKR-H/K/R all pass, but the evidence is still theory-heavy and lacks real-task gains or a reproducible artifact. This fits the 78–84 band for quality AI reasoning research.