RESEARCH · LIBRARY
Live papers
4 materials
paper
Naive-N0.5-Flash 承诺 2,100 Tokens/s，代码能力实测如何
NaiveAI 发布 Naive-N0.5-Flash 开源权重模型，宣称峰值可达约 2,100 tokens/s，基于小米 MiMo-V2.5 的 310B 参数 MoE checkpoint 继续训练并接入 NaiveRT 推理引擎。paper
AlphaProof Code 首次形式化验证 Signal 加密协议实现
Google DeepMind 发布 AlphaProof Code，一个结合人类专家与多LLM智能体的形式化验证框架，首次对广泛部署的 Signal 协议编译代码完成了数学级安全属性证明，将传统需专家数年完成的任务缩短至四周，并开源验证工件供社区使用。paper
微软研究员与AI协作解决31年KLS猜想，确立高维几何通用原理
Microsoft Research研究员Xinzhi Zhang与合作者证明Kannan-Lovász-Simonovits（KLS）猜想，确立了log-concave分布中简单超平面切割始终能以固定因子捕捉最窄瓶颈的维度无关几何原理。paper
GitHub 发布 ReviewBench 开源代码审查评测基准
GitHub 发布 ReviewBench，基于 1.039 亿条真实 PR 构建的 219 条开源 PR 评测集，覆盖 19 种语言。基准采用人工评审、前沿 LLM 和静态分析多源合并生成黄金标签，并与资深工程师独立复核达成 96.6% 一致性；提供 grounded 与 augmented 两套精确率/召回率指标及可调节的 Fβ 评分。