「AI赋能数学计划」共找到 10039 篇相关文章
两月蒸发1.6万亿：SaaS 被AI「杀死」了吗？ | GAIR Live 025
今年初，北美软件股两月蒸发超1.6万亿美元，引发对SaaS是否被AI“杀死”的讨论。雷峰网GAIR Live线上圆桌中，三位行业老兵探讨了SaaS现状与未来，涉及股价暴跌原因、护城河、商业模式、产品形态及转型等方面。
11位顶尖数学家发了篇没结果的论文，陶哲轩推荐都关注一下
11位顶尖数学家发起First Proof实验，设计10道研究级数学问题，检验AI独立解决问题的能力。陶哲轩认为实验有趣，当前AI一次性提示难解题，截止期限前成果值得关注。
征集全国首部AI大模型私有化部署标准起草单位和个人！
智合标准中心组织起草国内首部AI大模型私有化部署标准《人工智能大模型私有化部署技术实施与评价指南》，已正式立项并征集起草单位和个人。该标准能解决企业部署痛点，有全流程覆盖等亮点。
卷疯了！2.2k Star通用型、开源Agent平替Manus、GenSpark AI
2025 年是 Agent 之年，文中介绍了 Manus、GenSpark AI 两款闭源代理，还重点阐述开源的 II - Agent，它功能丰富，架构设计合理，在 GAIA 基准测试评估，性能可平替前两者。
杭州跑出的AI独角兽，突围大模型的“第二战场” | 甲子光年
2025年AI行业有转变，算力堆叠对大语言模型性能提升放缓，空间智能成“第二战场”。谷歌、英伟达等巨头纷纷布局，群核科技作为杭州“变量”，发布业界首个3D室内空间大模型，构建数据飞轮，技术有望落地多领域。
马斯克终于成『AI No.1』，6大案例看实力与水分
马斯克发布Grok 4，宣称其超越OpenAI等LLM。它屠了各种榜单，但Grok系列口碑欠佳。文中通过多案例测试，展现其在各方面的表现，如编码、数学、图像等，还提到了API速度和价格。
并购激励金都不要了？全程踩中AI Coding，Windsurf核心工程师离开DeepMind
AI Coding 赛道核心工程师 Ronak Malde 离开 Google DeepMind，还放下后续经济激励。他曾参与 Codeium、Windsurf 相关项目，在 DeepMind 推进 Agentic Coding 研究。离职之际他总结心得，下一站备受关注。
我可太喜欢腾讯会议这个 AI 硬件了，麦克风能换脸
本文是池建强的实测分享，介绍腾讯会议联名影石Insta360推出的AI录音领夹麦，讲解产品功能与使用体验，展示其打通线下线上沟通、对接Agent整合进工作流的玩法。
Sand.ai开源发布MagiCompiler：突破局部编译界限，定义训推性能上限
大模型开发者面临速度与显存的两难选择，原生torch.compile有局限。Sand.ai开源MagiCompiler，突破传统编译界限，提出Compiler as Manager理念，解决算力与显存墙难题，性能实测亮眼，且接入简单。
国产大模型企业半月「连签三单」，中国 AI 出海正在加速
本文以国产大模型厂商MiniMax半月连签三地订单为样本，梳理中国AI出海的分层需求与商业化路径，分析当前国产大模型出海的竞争阶段与核心课题。