「AI硬件系统」共找到 10613 篇相关文章
如何通俗的读懂算力？
文章以拼图比赛作比，介绍了通用、科学、智能、AI专用这四种算力类型及其作用，指出摩尔定律失效下工程师探索创新提升算力。还阐述算力生态各环节，最后点明未来AI成算力市场核心引擎，中国算力发展亮眼。
腾讯AI Lab首创RL框架Parallel-R1，教大模型学会「并行思维」
腾讯AI Lab等机构研究者首创Parallel - R1框架，通过强化学习让大模型掌握并行思维。它解决了RL训练的冷启动和奖励设计难题，在多数学基准上提升准确率，还揭示模型思维策略变化及并行思维的‘脚手架’作用。
算力越高收入越多！OpenAI率先验证AI商业Scaling Law：最新收入200亿美元
OpenAI首席财务官公告显示，其年化经常性收入从20亿美元涨至200亿美元，2023 - 2025年算力增9.5倍、收入增10倍。挣得多也烧得多，其还投建数据中心。首款硬件或2026下半年推出。
3.9K star 惊艳！！媲美IDM，跨平台，AI加速，这届高中生牛逼了！
Ghost-Downloader-3是高中生用Python打造的跨平台多线程下载器，初衷是帮B站UP主整合资源。现具AI加速等功能，在GitHub获3.9K星，安装简单，未来还将添加磁力和BT下载。
刚刚，清华团队用27M参数击败o3-mini！或将改变AI发展方向
清华大学研究团队发布论文，展示Hierarchical Reasoning Model（HRM）。该模型仅27M参数、1000个训练样本，在推理任务上击败OpenAI的o3 - mini - high，或改变AI发展方向。
Specula在67个开源系统中找到382个深层bug，数月形式化验证缩短到几小时
截至2026年8月19日，Specula已在67个开源系统找出382个bug。它让coding agent自动生成TLA + 模型和正确性不变量，运行检查并复现问题，将数月的形式化验证缩短到几小时，降低了形式化方法使用门槛。
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
两位研究人员用GPT - 5仅一个周末就解决10个埃尔德什难题，GPT - 5还在另外11个问题有显著进展。数学家陶哲轩称AI最有成效应用是处理琐碎耗时环节，重塑数学研究。
“设计师的 Cursor”！拖拖拽拽就能做前端，AI 实时生成代码，代码设计双向同步！
Onlook是号称‘设计师的Cursor’的开源工具，可让用户在浏览器可视化构建前端界面，通过AI驱动双向绑定实现设计与代码实时同步，还具备多项核心功能，适用于多种场景，解决设计与开发痛点。
99分=0分！用《孙子兵法》《隆中对》做物理 AI，吴甘沙十年拿下全球机场 91% 份额
吴甘沙在演讲中分享驭势科技创业十年心得，用《孙子兵法》《隆中对》构建竞争策略，指出自动驾驶达99分易，最后1%难，是创业公司护城河。还介绍了市场选择、技术路线、商业模式等内容。
谷歌放大招了，开源命令行AI编程Agent，每天1000次免费调用，编程只是基础功能。
Google推出开源命令行AI编程Agent——Gemini CLI，基于Gemini 2.5 Pro模型，免费提供每日1000次调用额度。它不仅能编程，还具备多模态能力、实时信息整合等功能，支持定制与自动化。