视频选题榜 2026-09-11

• https://arxiv.org/abs/2609.09264 · StochBench: A Domain-Specific Benchmark for Stochastic Processes in Lean · 研究生级随机过程首个 Lean 评测集,Opus 4.8 仅 34.9% 证明率,揭穿聚合分骗术 · round=R1