向量库」共找到 332 篇相关文章

新闻资讯7

突发|立即检查你的Python!LiteLLM被投毒,Karpathy警告,马斯克关注

Karpathy发长推文警告,GitHub超4万星、月下载量9700万次的PythonLiteLLM在PyPI上被投毒,含恶意代码版本为1.82.7和1.82.8,攻击负载分三阶段运行,引发马斯克关注。

机器之心
开源动态7

Memvid:把你的文档变成一个小巧的视频,还能瞬间搜出你想要的!

传统向量数据因高成本和复杂运维让开发者却步。开源项目Memvid将文本数据存入视频文件,能高效检索,解决存储冗余、检索延迟和网络依赖问题,使用简单,虽处概念原型阶段但值得尝试。

AI工程化
产品应用7

Claude Sonnet 4 上下文翻 5 倍!100 万 token 能处理更大型代码,AI 代码分析起飞。

Claude Sonnet 4 加入‘百万 token 俱乐部’,上下文容量翻 5 倍达 100 万,能处理大型代码。不过功能在 Beta 有使用门槛和限制,价格也有变化,还对比了市场上其他模型。

AI进修生
开源动态8

不用上传数据了!苹果正式开源 Embedding Atlas,用 Rust+WebGPU 在桌面实现科研级数据分析

苹果发布开源工具 Embedding Atlas,支持对大规模嵌入向量交互式可视化与探索。它在浏览器端运行,保障数据隐私,有多种可视化功能,提供 Python 包和 npm ,已在 GitHub 开源。

InfoQ
开源动态8

DeepMind首个猜想开源,获陶哲轩力挺!

谷歌DeepMind开源首个形式化数学猜想,获陶哲轩力挺。该用形式化语言重述数学猜想,为AI提供“标准答案模板”,还采取措施确保准确性,诚邀各方参与贡献。

新智元
开源动态8

陶哲轩转发!DeepMind开源「AI数学证明标准习题集」

DeepMind开源形式化数学猜想,收录经典数学猜想,还提供代码函数方便形式化表述。此可作测试基准提升AI数学推理能力,是AI+ATP范式关键前置步骤,团队邀更多人参与丰富内容。

量子位
新闻资讯7

谷歌预览Code Wiki:你能信任AI来记录你的代码吗?

谷歌预览Code Wiki,为代码生成并更新文档,预览版含数百开源项目文档,Gemini CLI扩展将支持内部代码。它有聊天界面,但AI生成文档缺乏权威性,开发人员看法不一,且非真正维基。

InfoQ
算法论文7

CodeClash 通过多轮编程竞赛对大型语言模型进行基准测试

为评估大型语言模型(LLM)编码能力,斯坦福、普林斯顿和康奈尔研究人员开发 CodeClash 基准测试,让多个 LLM 在多轮比赛中较量,涉及多种代码竞技场,还评估模型分析代码能力,未来将处理更大代码

InfoQ
产品应用7

Claude Code、Cursor 可能都躲不过一次“大重写”,但 OpenCode 也许是例外

文章指出Claude Code、Cursor等AI编程工具因开发方式问题,代码陷入难逆转状态,或迎“大规模重写潮”。而OpenCode强调代码一致性,代码更干净。其创始人分享开发经验、工作流及对行业现象的看法。

InfoQ
开源动态8

腾讯混元AI Infra核心技术重磅开源:推理吞吐提升30%!

腾讯混元AI Infra团队开源生产级高性能LLM推理核心算子HPC-Ops,基于生产环境痛点开发,降低底层算子开发门槛,实现显著性能突破。在真实场景下,混元、DeepSeek模型推理QPM提升,单算子性能也超越主流算子

腾讯技术工程