TeXada:基于MiniCPM的本地数学Agent发布

面壁智能OpenBMB社区开发者发布了一款名为TeXada的本地数学Agent,基于MiniCPM5-1B和MiniCPM-V 4.6模型,能在不联网的情况下将自然语言、手写公式或图片转换为可编辑的LaTeX代码,并支持公式补全和错误修复。

面壁智能OpenBMB社区开发者发布了一款名为TeXada的本地数学Agent,基于MiniCPM5-1B和MiniCPM-V 4.6模型,能在不联网的情况下将自然语言、手写公式或图片转换为可编辑的LaTeX代码,并支持公式补全和错误修复。

特斯拉第三代 Optimus 人形机器人(Gen 3)已完成设计定型并进入量产准备阶段,向下游供应商下达了明确的零部件采购指引:要求 9 月周产能达到 1000 台,年底爬升至 2000-2500 台。同时,马斯克在内部会议上放狠话——若年底前产能目标未能兑现,将直接解雇整个 Optimus 采购团队。此举被…

GitHub Copilot 现在可以为初次访问的陌生仓库自动生成上层概述,包含仓库用途、技术栈和贡献指南,甚至能在仓库缺少 README 时自动补写一份。

开发者 Ronak 在 GitHub 上发布了 FableCut,一款完全基于浏览器的非线性视频编辑器(类似 Premiere),其核心理念是“项目文件就是接口”——整个时间线以 JSON 文档形式暴露,AI 代理可通过 MCP 或 REST API 直接读写并实时操纵剪辑过程,而无需任何前端依赖。

研究显示,大型语言模型能够根据有限的个人数据(如年龄、性别、教育背景)精准预测个体在调查问卷中的回答模式,其准确度甚至超过传统统计模型。但这本质上是模式匹配,而非真正的“理解”或共情,揭示了 AI 在认知和预测能力之间的关键差距。

深圳初创公司妙动科技(Mondo Robotics)推出了一款轮式跟拍机器人 Beni,在 Kickstarter 上线不到一天便筹得 122 万美元。这款产品将 AI 视觉跟随能力与全地形移动底盘结合,试图填补长距离、高速运动场景下自动跟拍设备的市场空白。

印度科技界领军人物、Infosys 联合创始人 Nandan Nilekani 正式卸任其创投机构 Fundamentum 的普通合伙人,同步该机构启动第三只 2 亿美元基金。这意味着他将在资本层面以更大力度支持印度 AI 应用层创业,同时退出日常管理决策。

Image Line 在 FL Studio 2026 中将其 AI 聊天机器人 Gopher 升级为可执行操作的“助理工程师”,不仅回答问题,还能主动完成编曲任务,同时发布了完全重建的 Flex 合成器与云备份功能,整版更新对现有用户免费。

AI 写作工具 Every 的创始人 Dan Shipper 在 X 上透露,将于周五向订阅用户公开发布一个提示词(Prompt)和与之配套的开源代码仓库。这意味着用户不仅能拿到可直接使用的高质量 AI 指令,还能获得底层可修改的公开代码,降低 AI 应用开发与复现的门槛。

AI 编程企业 Cognition 发布新模型 SWE-1.7,性能接近前沿闭源模型,成本大幅降低,但行业内部人士指出:许多面向政府或国防客户销售的智能体实验室,实际上在使用中国模型,只是不愿公开。Cognition 团队选择了另一条路——公开承认并技术化处理中国模型的“宣传与审查问题”。