更新 [剛剛達到接近 2X 的速度瓶頸，使用分散式證明生成] 非分散式 (Mac): 193秒 → 1.0x (基準) 案例 1: 1 名遠端工作者: 115秒 → 1.68x 更快 案例 2: 工作者 (遠端 + 本地 Mac): 101秒 → 1.90x 更快