AI-critic：面向任务的 ML 模型审计工具
AI-critic 是一个面向任务的 ML 模型审计项目，已公开源码并提供 MIT license。仓库包含 index.html、script.js 和 styles.css 等前端文件，README 仅注明 MIT 许可证，暂无详细说明文档。
#开源/仓库
#开源/仓库
今日 0 条Hacker News · AI 最新AI 评分1919
Hacker News · AI 最新AI 评分5050 11 个正方形最优堆叠的 AI 辅助证明通过 Lean 验证
11 个正方形最优堆叠的完整证明已在 Lean 中通过验证，全部 7,920 个本地模块获准且最终审计零准入。该证明依赖 Lean kernel 与原生编译器，最优边长由一个 8 次多项式的唯一根给出，构造值约为 3.8770835900228141773。项目固定 Lean 4.34.1 与 Mathlib 版本，可通过脚本复现验证。
量子位 · 行业解读AI 评分2929 魔搭开源动态检索新框架，无需预构建向量索引，知识库还能自己进化
ModelScope 团队开源 Sirchmunk 动态检索框架，无需预建向量索引，查询时直接在原始文件中定位核验证据，并将检索经验沉淀为可复用知识实现知识库自进化。核心 LENS 算法在预算约束下完成隐式证据导航，检索路径可自我修正。项目已在 GitHub 开源，提供 Python SDK、CLI、MCP 与 Web UI。