最新发布第159页
AI家教第一次被资本密集下注,Medly为什么能半年连拿三轮种子资金-速维云

AI家教第一次被资本密集下注,Medly为什么能半年连拿三轮种子资金

Medly拿到800万美元种子轮融资,AI家教开始从概念走向提分结果,教育AI竞争也在从聊天转向学习闭环。
单卡5090跑满血DeepSeek后,消费级硬件开始接管大模型推理-速维云

单卡5090跑满血DeepSeek后,消费级硬件开始接管大模型推理

FreeToken 让单卡 5090 跑起 DeepSeek-V4-Flash,AI 推理开始从云端回流到消费级硬件,部署方式、成本结构和应用入口都在重排。
两个00后把数据公司做到215亿:英伟达之外,AI产业正在重估“卖铲人”-速维云

两个00后把数据公司做到215亿:英伟达之外,AI产业正在重估“卖铲人”

AfterQuery以专家推理数据、强化学习环境和模型评测服务进入英伟达Nemotron训练流程,AI数据生意正在从基础标注升级为可验证的专家经验工程。
亚马逊禁令被撤销:当AI Agent替用户点击,平台边界该画在哪里-速维云

亚马逊禁令被撤销:当AI Agent替用户点击,平台边界该画在哪里

美国第九巡回上诉法院撤销亚马逊针对Perplexity的初步禁令,但案件仍将发回重审。Comet的本地执行、WorkBuddy的权限体系、Somni的感知闭环与Microduck的具身开源,共同揭示智能体走向现实世界后...
Claude用1300万行Lean代码把费马大定理交给机器验证-速维云

Claude用1300万行Lean代码把费马大定理交给机器验证

Claude完成大规模Lean形式化证明,GPT-6在开放数学问题基准中提交机器可验证结果,AI科学正在从生成答案转向交付证据链。
Git 常用命令实操教程:从克隆、提交到分支管理与合并冲突解决-速维云

Git 常用命令实操教程:从克隆、提交到分支管理与合并冲突解决

面向初学者的 Git 实操教程,按初始配置、克隆更新、提交推送、分支管理、合并冲突的完整流程讲解常用命令与常见问题处理。