NEAR AI + DeepSeek V4 在 lean-eval 同日新增 13 个 accepted formalization results，包括 Szemerédi theorem 与随机 Bernoulli 矩阵奇异性

lean-eval 公共 results store 记录，NEAR AI w/ DeepSeek V4 在 9 月 15 日连续新增 13 个 accepted results，覆盖 Hadwiger、Szemerédi theorem、随机 Bernoulli 矩阵奇异性、Lorentzian polynomials、periodic tiling、Hessian estimates、Schmidt subspace、van der Waerden 等 formalization targets。记录保留 benchmark commit、accepted_at 与固定 submission ref，但当时 submission repository 为 private，因此外部只能核验 acceptance metadata，不能检查完整 proof source。