安爸
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
新智元报道 编辑：犀牛 【新智元导读】数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？ 数学大师陶哲轩的AI新实验来了！ 这次是Lean 4自动化数学证明的第三支视频。 ...
57.6万代码撕碎AI编程神话，20%「幽灵包」暗藏漏洞！苹果、微软已中招
新智元报道 编辑：KingHZ 【新智元导读】AI编程梦被撕碎！最新研究用57.6万个代码样本揭示：超20%代码依赖的是不存在的软件包。苹果、微软都曾中招，而Meta和微软还在高喊「未来AI写95%代码」。AI写代码的神话，正在变成安全灾难。 最近，扎克伯格表示，Meta正在内部开发专门用于编程和AI研究的智能体—— 这些并不是通用型工具，而是为提...
腾讯首次晒出大模型战略：加速智能体落地，加码知识库赛道
文｜ 林文琪 “AI持续落地，每个企业正在成为AI公司，每个人也将成为AI加持的‘超级个体’。”5月21日在腾讯云AI产业应用峰会上，腾讯集团高级执行副总裁、云与智慧产业事业群CEO汤道生表示，今年以来，产业对于大模型API的调用量、算力需求快速增长。 汤道生认为，生成式AI已经逐步跨过“可用性”的门槛，未来要从“可用”到“好用”；从“一部分人用”，到“人...
小米3纳米芯片量产面市，高通依然是旗舰机供应商
文｜ 杨柳 5月22日晚，小米自研的3纳米手机SoC（系统级芯片）玄戒O1将正式对外发布，搭载在旗舰手机小米15s pro和小米平板7 Ultra。从5月15日发出第一条预告开始，雷军几乎一半的微博内容都在为这款芯片卖力造势。 “设计之初，我们就确定这款芯片一定要用在小米高端旗舰定位的产品上。”雷军在5月20日一则抖音视频上解释称。 玄戒O1不仅仅被视为小...
llm-d：Kubernetes原生高性能分布式LLM推理框架，助力大规模语言模型推理部署
llm-d：Kubernetes原生高性能分布式LLM推理框架，助力大规模语言模型推理部署。亮点：1. 采用vLLM优化的推理调度器，提升性能；2. 支持解耦式服务，灵活部署；3. 提供独立和共享两种KV缓存方案，优化资源利用。 参考文献： [1] https://github.com/llm-d/llm-d [2] https://llm-d.ai/ ...
微软发布多智能体 Web 操作系统！让 AI 成为真正“可控、协同、透明”的网页执行助手！
继 Magentic-One 后，微软在此基础上推出了新一代多智能体 Web 操作系统：Magentic-UI！ 一个由多智能体系统驱动的 Web 自动化工具，能： • 自动浏览网页、点击、填写表单等操作 • 生成并执行代码，对网页数据或文件进行分析处理 • 多智能体协同工作，具备协同规划 + 协同执行能力 • 自动保存成功的任务流程，用于后续快速复用 ...
字节跳动发了个新模型：BAGEL-7B-MoT
这是个混合专家多模态模型，支持视觉理解，文本到图像生成，图像编辑，并且思考模式可以选择开启。官方说要比 Qwen2.5-VL 和 InternVL-2.5 表现好。这个模型本身是基于 Qwen2.5-7B-Instruct 和 siglip-so400m-14-980-flash-attn2-navit 模型微调的，并使用 FLUX.1-schnell VA...
MoviiGen 1.1：打造电影级画质的视频生成模型
MoviiGen 1.1：打造电影级画质的视频生成模型，让视频创作更专业、更高效。亮点：1. 超越竞品的电影美学表现，尤其在氛围营造、镜头运动和细节保留上表现卓越；2. 清晰度提升14.6%，真实感增强4.3%，适合高保真场景；3. 支持720P和1080P分辨率，保持高质量输出。 参考文献： [1] http://github.com/Zulution...
Arwaal 是一个教育性质的 React 实现
Arwaal 是一个教育性质的 React 实现，通过逐步构建来理解 React 在底层实际如何运作。具体实现了包括 fiber 协调、hooks 和虚拟 DOM 在内的核心架构。 参考文献： [1] https://github.com/tigerabrodi/arwaal/ 知识星球服务内容：Dify源码剖析及答疑，Dify对话系统源码，NLP...
刚刚，OpenAI 官宣收购前苹果首席设计官团队！剧透「最酷的科技产品」
就在刚刚，OpenAI 正式官宣，将以接近 65 亿美元（折合人民币 468.16 亿元）的价格收购由 OpenAI CEO Sam Altman 与前苹果首席设计官 Jony Ive 联合创办的 AI 设备初创公司 io。 这笔收购将是 OpenAI 历史上最大的一笔交易，预计在今年夏季完成，仍需获得监管部门批准。 交易完成后，OpenAI 将获得一个由...