「AI辅助数学」共找到 10109 篇相关文章
马斯克4000亿布局Agent ：杀死 Cursor，Bot 有什么绝招？
马斯克花600亿美金买下AI编程产品Cursor俩月后，SpaceXAI发布Grok Bot。它定位特殊、可跨应用操作等，亮点是多智能体云端协作，但产品力与生态有差距，定价高端。
HeyGen 开源了一个"用 HTML 写视频"的框架，我研究了一下，发现事情没那么简单
HeyGen 开源了 Hyperframes 项目，可让 AI 用 HTML 写视频。文章从其定义、上手教程、竞品对比等方面展开，指出它虽有短板，但代表视频制作新范式，建议相关从业者关注尝试。
比GenAI更大的机会
作者认为通用科学计算是比生成式AI更大的市场、机会，英伟达在该领域有统治地位，其竞争对手难以追赶。从市场本质、收入模式、护城河三方面分析，通用科学计算前景更优。
从代码基座模型到智能体与应用：代码智能的全面综述与实践指南
北航、阿里等机构联合发布论文，系统梳理 2021 - 2025 年代码大模型发展。介绍代码基座模型、评测任务、对齐技术等，还提及软件工程智能体、安全防御及训练指南，预言未来编程走向。
太强了 Yan！腾讯打造的全能交互视频生成引擎
腾讯提出的面向交互式视频生成的基础性框架 Yan，集 AAA 级模拟、多模态生成和多粒度编辑于一体，为下一代 AI 内容引擎提供可行路径，但也面临长时视频视觉一致性不足等问题。
关键词挖掘3步法，帮你找到用户真正想搜的词【干货】
作者白杨SEO结合ChatGPT选题，分享3步关键词挖掘法。先找种子词，可从产品、人群需求、对手入手；再拓展长尾词，用搜索引擎、工具、AI辅助；最后数据筛选，看搜索量、竞争度、商业价值。
超越人类标注，Meta提出CoT-Self-Instruct：如何用"推理式自进化"重塑LLM训练
大语言模型发展需海量高质量训练数据，传统人工标注困境重重，现有合成数据方法也有缺陷。Meta提出CoT - Self - Instruct，通过推理式自进化生成数据，实验证明其在多个任务上超越人类标注数据。
量智齐飞！4个月9款车落地，轻舟城市NOA击穿10-20万体验天花板
本文报道轻舟智航4个月内落地9款搭载城市NOA的车型，依托地平线单征程6M方案，将高阶辅助驾驶带入10-20万元主流价格带，推动智驾普惠，同时介绍了其量产规模、安全性能与未来业务布局。
Linus一句话说透Al局限：代码不能直接用，bug只能创可贴式地修
本文是 Linus Torvalds 在开源技术会议上与 Dirk Hohndel 的对话。Linus 从工程实践出发，谈到 Linux 内核开发节奏、硬件支持取舍、语言之争及 AI 应用。他认为 LLM 是工具，有价值但无法替代长期维护者经验。
阿里云的“反差”2025：于无声处寻找 ASI
2025年云栖大会上，吴泳铭称实现AGI是确定事件，ASI才是终局。实现ASI需满足两大条件，结合阿里投资计划，阿里云将成企业AI时代支撑者。虽市场份额增长，但利润下降，2025年阿里云极具“反差感”。