「AI智能感」共找到 11023 篇相关文章
菲尔兹奖成果首次被AI完整形式化，Gauss20万行代码改写数学史？
Math, Inc. 公司用 Gauss 智能体完成 8 维和 24 维空间最优球体堆积定理形式化证明，代码约 20 万行。该定理最初由 Maryna Viazovska 及其合作者证明，这是本世纪首个被完全形式化证明的菲尔兹奖成果。
瞄准AI、图形顶端战场：摩尔线程上演国产GPU硬核实力路演
摩尔线程首届 MUSA 开发者大会集中亮相技术体系。发布新一代统一计算架构 MUSA 路线图，介绍新架构、芯片及万卡集群，还涉及前沿布局，发起开发者培训，推出 AI 算力笔记本，宣告国产算力自主化时代加速到来。
专访 RockFlow Vakee：AI 如何重构投资体验，让金融“说人话”
该专访对话 RockFlow 创始人 Vakee，探讨 AI 重构投资体验。她分享创业初衷、团队理念及人才需求，还谈及 GenZ 投资特点与 RockFlow 应对策略，介绍了 Bobby 功能、规划及 RockFlow 在金融科技领域的发展方向。
凌晨三点写代码、10个 Agent 同时跑！ClawdBot 创始人自曝 AI 上瘾史：Claude Code 入坑，Codex 成主力
Clawdbot（现名：Moltbot）爆火，其创始人 Peter Steinberger 分享开发经历。他曾打造 PSPDFKit，后经历职业倦怠。回归后用 AI 编程，从 Claude Code 入坑，Codex 成主力，还分享了 AI 重塑开发方式的见解。
智元启动「买买买」，路径未明，资本抢跑，主流技术范式下谁在领跑具身智能赛道？
2025年7月，智元机器人21亿现金收购上纬新材，成A股首个“具身智能概念”上市公司，引发行业震动。具身智能技术尚在演进，业内从多方向构建系统，主流路径有端到端大模型体系和双系统架构。
编程智能体的核心组件【译】（重发，补图）
文章围绕编程智能体展开，先厘清大语言模型、推理模型与智能体关系，指出智能体是含‘模型 + 工具 + 记忆 + 环境反馈’的循环系统，后介绍编程智能体六大核心组件，还对比了与 OpenClaw 的区别。
消费级具身智能跨越式新品：算力提升1000倍，对标英伟达Jetson Thor芯片，成本仅1/10！
蔚蓝科技发布新款机器狗 BabyAlpha A3，算力提升 1000 倍，对标英伟达 Jetson AGX Thor T5000 芯片，成本仅 1/10。它采用国产芯片，具身智能边缘端混合异构计算集群，感知超人类，实现全自主智能。
凌晨三点写代码、10个 Agent 同时跑！ClawdBot 创始人自曝 AI 上瘾史：Claude Code 入坑，Codex 成主力
本文讲述 ClawdBot 创始人 Peter Steinberger 的开发经历。他曾打造知名 PDF 框架，后经历倦怠回归，借 AI 重塑开发方式。分享入行故事、用 AI 编程的日常及构建 ClawdBot 的过程，探讨软件工程变化及对新人的建议。
刚刚，Meta宣布正式成立「超级智能实验室」！11人豪华团队首曝光，
据彭博社消息，扎克伯格在内部备忘录宣布重组AI团队，合并到新成立的「Meta超级智能实验室」，由Alexandr Wang领导，还曝光11位从OpenAI等挖来的人才，将致力于开发Llama系列模型等。
DeepSeek之后，中国AI「自己出题」杀进Nature通讯！全球仅4家
一家成立不到两年的香港AI公司维纳智能，不堆参数、不依赖人工标注，靠让大模型自动生成高精度推理数据登上Nature通讯。其技术可解决Agent泛滥的困局，还推出特色产品，业务增长快。