「算力升级」共找到 1600 篇相关文章
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩油管首秀，借助AI 33分钟完成人类需写满一页纸的证明，全程“盲证”。他认为半自动化方法适用于技术性强、概念性弱的论证，还升级了数学证明助手，对其很满意。
外行瞎写的Vibe Coding，都能并入Agent 工程了：最吓人的是，我们“摆烂”有正当理由了
本文编译了软件专家 Simon Willison 在播客的访谈内容。他指出 Vibe Coding 与 Agent 工程正走向融合，AI 写代码渐趋可靠，人类审查成开发瓶颈，还探讨了 AI 对编程的影响、算力成本博弈等问题。
用DAA衡量智能体 百度智能云用“新全栈”重新定义AI云｜甲子光年
2026年产业焦点转向智能体落地，李彦宏提出DAA概念。百度智能云升级为新全栈AI云，解决智能体落地难题，从架构决策、行业应用等多方面发力，其价值值得市场重估。
Claude年化收入首次反超OpenAI
最新数据显示，Claude背后的Anthropic年化营收突破300亿美元，首超OpenAI。其大部分收入来自API，企业客户增长迅猛。还与谷歌、博通签数GW级TPU算力协议，2027年供货。
「斯坦福AI小镇」创业即获投1亿美元！李飞飞卡帕西都投了
2023年斯坦福团队构建AI小镇Smallville，其智能体可自主生活。如今团队创业成立Simile，获1亿美元融资，李飞飞、卡帕西跟投。它将升级架构构建大规模模拟平台，用于人类决策的风险预测。
亚马逊Alexa+助手用户数量超过100万
Techcrunch消息，亚马逊升级版AI助手Alexa+自2025年2月推出后用户稳步增长，6月底未全面公测时已超百万。它体验个性化，有新能力，还能促使用户行动，初步合作多知名平台。
刚刚，AI圈爆出王炸！实现「万物共脑」，连大脑带具身越狱到现实
物理AI是当前AI产业热门方向，AI走出屏幕需要模型、执行系统与物理连接。Agnes AI此次开源Agent执行基础设施AGH与MHS设备协议，升级Agnes 3.0 Pro大模型，实现AI向物理世界延伸。
豆包专业版实测：2亿人都可以体验能干活的Agent了！
6月24日，豆包上线专业版，搭载首个Agent驱动的办公任务模式。实测显示其在办公场景交付质量对标Claude Opus 4.6。2亿日活用户可体验，免费用户功能升级，专业版满足复杂任务额度需求。
市值950亿，陕西国资赚翻了
3月20日，源杰科技股价突破1000元，市值达958亿成A股2026首只千元股。其由70后清华学霸张欣刚2013年回国创立，乘AI算力东风股价一年涨近770%，陕西国资投资收获颇丰。
姚顺宇谷歌首秀，Gemini新模型刷爆SOTA：人类仅剩7人捍卫碳基编程
面对Claude Opus 4.6和GPT Codex 5.3的攻势，谷歌升级Gemini 3 Deep Think，在多项基准测试刷爆SOTA，推理成本降低82%。它还走进科研工程领域，其研发团队有不少华人，如姚顺宇、Yi Tay。