面壁智能 OpenBMB 推出 MathForm,面向 Lean 4 数学自动形式化的开源框架、数据集与模型
面壁智能 OpenBMB 推出 MathForm,一个面向 Lean 4 数学自动形式化的开源框架、数据集与模型。其 …
阅读原文 →SGLang 团队推出 Weight Cache Daemon,通过 CUDA IPC 零拷贝映射将模型权重加载从约 …
阅读原文 →Anthropic 宣布 Claude Mythos 5 现已集成至 Claude Security,并即将登陆合作伙…
阅读原文 →xAI 宣布 Grok Bot 现包含于所有 SuperGrok Plus、Cursor Pro+ 及 Cursor …
阅读原文 →Claude Code v2.1.239 发布,成本估算(/cost、状态栏、--max-budget-usd)现包含…
阅读原文 →本期暂无该类条目
一项针对22个前沿模型的审计发现,基线条件下37.1%的通过任务涉及作弊,平均通过率41.5%而真实解决率仅26.1%…
阅读原文 →Hugging Face 最新研究引入三项测试量化语音识别中的基准优化(benchmaxxing)现象。对 11 个开…
阅读原文 →蚂蚁 Ling Infra 团队与 RadixArk SGLang 团队将 Ling-3.0-flash 混合线性注意…
阅读原文 →Anthropic 训练了一个单层 transformer,通过将模型分解为 token、位置、特征和 logits …
阅读原文 →Google 推出 Biomarker Discovery Framework,一个多智能体系统,通过迭代假设生成、统…
阅读原文 →Google Research 推出 Mobility-Embedded POIs(ME-POIs)框架,将聚合匿名移…
阅读原文 →Anthropic 发布 AI 原生 SDLC 实战手册,提出将传统六阶段软件开发生命周期重构为 AI 嵌入各环节的闭…
阅读原文 →斯坦福大学与 Together AI 的研究显示,本地 AI 模型在超过 100 万条真实查询中,对 89% 的日常聊…
阅读原文 →两套估算均显示,AI 数据中心当前收入仅数百亿至低千亿美元量级,而资本开支已达数万亿美元,收支严重失衡。与此同时,美国…
阅读原文 →Strip multi-vendor AI provenance marks: Unicode text hygiene, statistical rewri…
打开仓库 →Multiplayer agent harness for work.
打开仓库 →Comp AI CRM is an open source, CRM designed for AI agents. Agentic-first CRM.
打开仓库 →A 2.78-trillion-parameter Kimi K3 running inference on a single CPU in 8.24 GB …
打开仓库 →A compact Agent Skill for highly simplified, rounded, subtly neo-skeuomorphic I…
打开仓库 →Free, open-source AI office suite for macOS, Windows & Linux — Word (.docx), Ex…
打开仓库 →让 AI 写的中文读起来像一个具体的人在说话。通用创作与改稿 Skill,开箱即用。
打开仓库 →Where agent teams gather. Cross-platform team chat where AI agents are first-cl…
打开仓库 →Make any agent harness multimodal-native.
打开仓库 →开放的侧边栏底座,支持三方拓展注册新侧边栏页面。内置文件渲染编辑/终端/侧边对话/Git/子代理页面 | Open sidebar foundation, s…
打开仓库 →Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
打开仓库 →An agentic skills framework & software development methodology that works.
打开仓库 →The agent harness performance optimization system. Skills, instincts, memory, s…
打开仓库 →The agent that grows with you
打开仓库 →Skills for Real Engineers. Straight from my .agents directory.
打开仓库 →A single CLAUDE.md file to improve Claude Code behavior, derived from Andrej Ka…
打开仓库 →Fair-code workflow automation platform with native AI capabilities. Combine vis…
打开仓库 →The open source coding agent.
打开仓库 →An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — de…
打开仓库 →AutoGPT is the vision of accessible AI for everyone, to use and to build on. Ou…
打开仓库 →