「数学应用」共找到 2488 篇相关文章
走访100+机器人展台：拐点已至，具身智能进入千行百业｜WAIC 2026
7月17日，2026世界人工智能大会在上海开幕。与往届不同，今年大会更多展示具身智能在真实场景的应用。硬件迭代、软件与数据突破，让泛化能力和任务执行成功率显著加强。现场还呈现模型四条技术路线、数据基建等趋势。
腾讯「鹅虾」紧急上线！一手实测：养虾门槛归零，QQ飞书钉钉全能接
腾讯昨日上线两个「鹅虾」产品，WorkBuddy是能接入多平台的智能体桌面平台，QClaw预计下周公测，可接入微信。作者实测WorkBuddy，考察其生态接入、代码开发等场景表现，还介绍了QClaw特点及腾讯云轻量应用服务器。
AI 狂潮中，电子业破局：国产先进封装加速突围
AI应用渗透使算力需求结构重塑，传统芯片技术升级遇阻，先进封装技术成关键。文中介绍DeepSeek架构突破、DeepSeek - R1算法革新，分析其对算力需求的影响，指出高性能算力芯需求仍高，先进封装能释放芯片性能，国产有望突破。
我去，真牛！Coze Studio 开源版究竟有多火？看 GitHub 最新 1.4k star 人气飙升！
Coze Studio是低代码、可视化的AI Agent开发平台，有Apache‑2.0开源许可，降低使用门槛。它能解决非专业开发者、企业等构建智能对话助手的痛点，核心功能亮点多，应用场景广，在国产AI Agent开发生态潜力大。
DeepMind AlphaProof 前负责人谈2025年IMO
前Google DeepMind AlphaProof项目联合负责人Rishi Mehta发布关于2025年IMO结果的分析。今年OpenAI和Google DeepMind双双宣布达到金牌水平，解法各有特点。Mehta预测前沿大语言模型明年或开箱即用获奖牌，未来6个月内或攻克非平凡开放数学问题。
比起让大模型写 100 万字的小说，AI 大牛们更想用 AI 拿诺贝尔奖
OpenAI前CPO Kevin Weil创业，新公司定位是“为AI模型收集科学数据”的平台，估值达7.5亿美元。AI4S赛道成为硅谷离职AI高管热门去向，正从概念叙事进入基础设施建设阶段，包括数据、模型、应用层。
Andrej Karpathy 爆火演讲刷屏技术圈：AI 开启软件 3.0，重写一切的时代来了！
Andrej Karpathy 在旧金山 AI 创业学校演讲，指出 AI 开启软件 3.0 时代，自然语言成编程接口。软件经历 1.0 代码、2.0 神经网络权重，现进入 3.0 用提示词编程大模型阶段，还探讨大模型特性、应用及相关问题。
实战案例｜当本体遇上 Agent：让 AI 真正“听懂业务”并“按规矩办事”【上】
本文是“企业级本体应用”系列第三篇，探讨本体如何融入企业智能体系统。指出本体非数据库或图谱，是语义层。介绍本体在Agent系统的架构与职责，通过案例展示用本体做规则判断和多维归类，凸显其优势。
芯来科技胡振波：将RISC-V从兴趣发展为事业，现在公司的IP比人还多
2025年RISC - V中国峰会召开，芯来科技创始人胡振波演讲。他最早接触RISC - V，2018年创立芯来科技。公司专注IP领域，已跻身第一梯队，产品全。胡振波分析IP商业模式要素，介绍各领域应用，还对行业发展提出展望。
GPT-5 在 Lovable/Vibecode 中氛围编码，附 GLM-4.5 对比 （反向搜索引擎、吵架的俄罗斯方块）
文章展示GPT - 5在网页端、Lovable、Vibecode的测试案例，与GLM - 4.5对比。如GPT - 5在WebDev Arena创纪录，不同版本使用限制不同。还列举多个应用案例，指出GPT - 5有不足，GLM4.5全栈开发表现不错。