综合热度、重要程度与时效排序的热门资讯。
NVIDIA及其合作伙伴在新加坡AI日展示了AI技术进展,重点涵盖公共部门AI、智能体AI以及东南亚地区的合作项目。
这是一则关于10月14日在San Francisco举行的智能体工程BOF会议的公告,旨在通过非正式讨论和与该领域的建设者和实验者进行展示交流。
stuntd 是一个本地代理服务器,可从您的流量中学习,使用Laya模型在本地提供类型化的LLM决策,兼容Jev协议且无需API密钥。
伊利诺伊州州长普利兹克成立了AI内阁以评估风险,作者批评这是受到封闭权重API供应商的影响。文章呼吁公众参与,支持开放权重并教育他人了解这一问题。
Vals AI RSI指数显示,Opus 5.5 AI模型在五项任务中的一项击败了已发布的人类基线,从而将实现完全RSI的预测日期从2027年8月调整为2027年7月。
DeepSeek Elastic Compute (DSec) 是专为大规模大语言模型有效代理训练设计的沙盒基础设施,具备弹性执行、统一SDK,并支持与强化学习框架集成。
作者描述了一个实验,其中合并两个 AI 代理的 git 工作树导致了测试失败,尽管合并是干净的,突显了在没有相互意识的情况下并行代理开发的挑战。
Jev-Omni 是第一个将类型化决策扩展到多模态的开放权重模型,支持文本、图像、音频和视频,直接返回选项的概率分布而不生成解释。
作者使用 Claude 的 Opus 5.5 模型通过 Lean 对 Claude Agent SDK 进行了形式化验证,生成了 16 个 PR 来修复 bug 和竞态条件,并建议结合 Lean 和 TLA+ 以增强 bug 查找能力。
作者比较了 Unsloth Studio 和 LM Studio,指出 LM Studio 可能落后于新平台,并询问用户的偏好。
本文分析了像Anthropic的Opus 5.5和ChatGPT的Astra等AI模型的成本效益,使用Artificial Analysis分数来比较单token定价与任务完成效率。
Snorkel AI 在完成3.5亿美元的E轮融资后,估值翻三倍至35亿美元,这得益于AI训练数据需求的激增。公司现在专注于数据即服务,通过合成和专家生成的数据提供完整数据集和模拟环境。
Paramount 在与 Warner Bros. Discovery 合并后,必须每年发行至少 30 部电影,以满足和解配额并避免处罚。这一要求旨在保护行业就业,但考虑到近期的电影产出水平,可能具有挑战性。
Miri,一个 Rust 工具,在目标目录中存储所有环境变量,当在 GitHub Actions 中缓存时,可能将秘密泄露给拉取请求。Rust 团队已实施修复,仅保留特定变量,并建议用户检查他们的 CI 设置以查找漏洞。