Lean Kernel Challenge 第一阶段启动，优化内核验证计算性能
AlexKontorovich · x · 2026-09-16
Lean 社区与 SAIR 联合发起 Lean Kernel Challenge 第一阶段，目标是改进 Lean 4 内核中验证计算的性能，让整个社区受益。这是一个面向社区的优化挑战赛，聚焦形式化验证基础设施的提速。
「编程与Agent」频道最新
- 谷歌开源 Dream-RSI:让 AI 在「做梦」中实现自我改进 — gekobraa · 2026-09-16
- 开源项目 cumora 爆火:让 agent 团队进群与人类协作 — tom_doerr · 2026-09-16
- EDSL 拟支持激活捕获与探针转向，服务 LLM 社会模拟研究 — soumitrashukla9 · 2026-09-16
- NoSpoon agent 全自动 15 分钟产出微短剧已日更数百集 — Kyrannio · 2026-09-16
- 公开 MCP 服务器成功率实测，与 merge 方案对比 — shensi · 2026-09-16
- Training Agents 系列完结:6 支视频 8 小时覆盖 SFT 蒸馏到 RL — SergioPaniego · 2026-09-16