视频选题榜 2026-10-04

• https://arxiv.org/abs/2602.02450 · Lower bounds for multivariate independence polynomials · LLM 写得了证明但做不了研究,Lean 是必要缓冲层 · round=R1