全部标签

Ai资讯

DeepSeek一体机最新观察：满血版卖不动了，市场抢食零散的中低端机型生意

“没有新KA客户，也没有回头客，一体机市场下一步生意经是什么？” 前两周，广东某国企发了篇万字标文，以预算四十万招标一台DeepSeek一体机。近乎30页的文档里，采购明细表短短6行，所需的芯片类型等关键指标，只字未提。“看这个标就知道，大家完全没把一体机用起来”，业内人士直言。新用户需求依然模糊，那老用户会否回头？雷峰网询问了多位业者，答案都是否定。只有一家头部整机厂商的销售，有来自某研究所的两…...
不怕被挖！谷歌晒IMO金牌团队大合照，还挨个圈出了联系方式

谷歌DeepMind不信邪。这不前脚，谷歌刚获IMO金牌，小扎就光速挖走三名核心团队成员。如此抓马又无语，更多人都劝谷歌DeepMind小心点儿吧，要不以后论文署名都匿名吧，实在不行学习中国互联网公司用花名吧……没想到啊，谷歌IMO金牌团队不信邪，直接晒出来团队全家福——既像是回应，又多少有点挑衅。Thang Luong，谷歌IMO金牌团队负责人——DeepMind超级推理团队负责人，还专门艾特了…...
AI破解宠物心声，读懂你的猫狗？全球首个AI与动物感知中心揭秘

伦敦政治经济学院的Jeremy Coller动物感知中心以400万英镑的资助，集结神经科学、哲学与AI专家，研究从猫狗到章鱼的动物意识。研究中心正用科学揭开动物意识之谜，探索AI在宠物交流中的潜力与风险。养过宠物的人，会忍不住思考这些动物是如何思考的。一个名为Traini的app，则号称能够基于大模型PetGPT，读懂宠物的叫声和面部表情，帮助主人理解宠物的情绪和需求。近日，伦敦政治经济学院（LS…...
GitHub官方版AI IDE公测！用自然语言写App，全栈应用1分钟生成

AI Coding太火，微软也坐不住了。GitHub放大招，新工具GitHub Spark只需自然语言，就能把你的想法变成APP。微软CEO萨蒂亚·纳德拉亲自站台，只要你有想法，GitHub Spark来帮你实现！网友们表示：Windsurf、Replit、Lovable们，准备颤抖吧！一切创意都始于Spark自从在GitHub Universe2024大会上首次亮相以来，GitHub Spark…...
刚刚，阿里发布全球最强开源模型，AI 圈迎来「中国时刻」

就在刚刚，阿里正式发布全球最强开源推理模型——Qwen3-235B-A22B-Thinking-2507。据悉，在过去三个月中，阿里 Qwen 团队持续优化 Qwen3 系列模型的思考能力，重点提升了逻辑推理、数学、科学、编程等能力，而在指令执行、工具调用、对齐能力等通用任务上也得到了显著提升。作为一款专为「思考模式」打造的模型，Qwen3-235B-A22B-Thinking-2507 原生支持…...
Step-3 发布：包括发布会上没说的，都在这了

今天下午，阶跃星辰在 WAIC 2025 开幕前夕发布新一代基础大模型 Step 3，并宣布将在 7 月 31 日面向全球企业和开发者开源。模型开源Step-3 会在 7月31号正式开源MoE 架构，321B 总参，38B 激活Step-3 Model Card性能领先，成本极致Step-3 作为推理模型，具备视觉能力，并在多个榜单，如 MMMU、AIME2025 上，取得了开源多模态推理模型的 …...
卧槽，没想到字节竟然把扣子这个大杀器开源了！可以本地部署扣子了啊！

一觉醒来发现扣子直接开源了！以后本地部署一个扣子不再是梦！而且采用的是 Apache 2.0 许可证，支持商用！大厂还是喜欢在凌晨搞事情，我一大早起来的时候已经有 260 star 了。一起看看这次开源了什么？这次开源的是扣子两大核心业务：Coze Studio（扣子开发平台）和 Coze Loop（扣子罗盘）。01 Coze Studio（开发平台）就是我们常用的「开发平台」，可以搭建智能体和应…...
上下文工程难吗？试下Claude Code写入Kiro的Spec，自动搞定上下文

10天前Amazon发布了他们自己的开发平台，Kiro IDE，其中有一个很厉害的交互功能“Spec（Specification）”，强调的是规范的文档，说明书，以一套非常结构化的方法确保开发过程的系统性、可控性和质量，堪称现代软件工程的最佳实践。让vibe coding有一个规范的范式。总体设计思想：关注点分离与用户控制Kiro的Spec工作流完美体现了软件工程中的“关注点分离”原则。它强制AI…...
解道奥赛题成本5000美元？陶哲轩警告，AI下一步要规模化的「更便宜」

人工智能和数学是密不可分的。AI 的发展离不开数学的进步，同时 AI 的进步也离不开解决数学问题的能力。在刚结束不久的 IMO 竞赛中，谷歌的新一代 Gemini 进阶版模型成功解决了六道超高难度试题中的五道，达到了今年 IMO 的金牌水平（35/42)，成为首个获得奥赛组委会官方认定为金牌的 AI 系统。加州大学洛杉矶分校数学系终身教授，菲尔兹奖获得者，被称为「数学莫扎特」的华人数学家陶哲轩，…...
ShellAgent 2.0实测，不写UI执着产出可交互App的偏科战神

ShellAgent 2.0，没有选择卷复杂华丽的前端页面，而是闷头把后台交互卷到极致。也就是说，我们写生成应用提示语的难度降到了有嘴就会的级别。一句话生成Three.js、CDN、Tailwind Nextjs、JavaScript等一大堆专业名词都不用记了，只需要说：开发一个应用，能上传PDF，总结内容，并将其转化为播客。它就开始kuku一通分析了，先理解我的需求，从需求里面提取出核心功能，然…...
bootstrap 到十亿美元 ARR：Surge AI 这匹黑马如何颠覆 Scale 霸权？

Surge AI 成立于 2020 年，是一家专注于数据标注的公司。自成立以来，主创团队都极为低调，社交平台上鲜有公开动态。即便如此，Surge AI 仍在短短几年内实现了业绩大爆发，并成为业内公认的“领域最大且最好的玩家”。截至 2024 年，Surge AI 的 ARR 已突破 10 亿美元，超越了行业巨头 Scale AI 的 8.7 亿美元收入，成为其最大的竞争对手。这家由前 Google…...
AI时代的极致创业：3人团队9周实现100万美金ARR

在硅谷最新一波 AI 创业热潮中，有一家公司的成就让我彻底震惊。Swan AI 创下了几乎所有创业常识都认为不可能的记录：仅用 3 位创始人，没有任何员工，在短短 9 周时间内从零客户、零收入，飙升至 80 个付费客户和接近 100 万美元的年化收入。更令人难以置信的是，他们实现这一切没有筹集大量资金，没有雇佣一个销售人员，没有投放一美元广告，甚至没有建立客户支持团队。这不是某个简单的数字产品或课…...
WAIC 2025 前探：AI 硬件如何改变我们的日常生活

一场 WAIC 官方 City Walk，提前感受到 AI「温度」。一年一度的 WAIC 在明天就要开始了，在正式开展之前，我跟随官方的 city walk 路线探访了一番。我探访的这条「AI+智慧生活路线」一共有三个目的地：上海发那科机器人有限公司、上海腾讯滨江大厦、模速空间的智能产品体验中心。其中最吸引我的就是第三个地方——模速空间智能产品体验中心，里面陈列了很多好玩的产品，不只有看起来很科技…...
世界首个开源金融平台，Github上4万人Star！

前几天逛 X 的时候，偶然间刷到一个声称“彭博终端”的替代品，不仅免费而且开源。我顺着帖子找到了这个 GitHub 项目：OpenBB，目前已经收获了 45k 个星标了。项目指路：https://github.com/OpenBB-finance/OpenBBOpenBB 是全球首个开源的金融平台，也是第一个将数据与 AI 代理相结合以改变投资研究的 AI 金融工作站。目标很简单，就是为每一个地方…...
刚刚，小扎任命清华校友为Meta AI首席科学家！GPT-4幕后功臣或取代65岁图灵奖得主

就在刚刚，Meta 宣布，清华校友赵晟佳（Shengjia Zhao）将正式担任其超级智能实验室（ MSL）首席科学家。「我很高兴地宣布，赵晟佳将担任 Meta 超级智能实验室的首席科学家，」扎克伯格在内部信中写道，「赵晟佳是新实验室的联合创始人，从一开始就是我们的首席科学家。现在我们的招聘进展顺利，团队逐渐成型，我们决定正式确立他的领导角色。」扎克伯格还表示：赵晟佳已经在多个领域取得了开创性突破…...