排序
华盛顿大学计算机科学教授格罗斯曼谈学习编程:是时候重新理解它了
格罗斯曼认为:“几年前,我们教大家编程时,确实有很大一部分精力放在抠细节上。分号该放哪儿,逗号该放哪儿,某个概念到底该用哪个词,都是教学重点。”
库克明确约 30 亿美元关税退款去向,苹果承诺全数投入美国制造
在 2026 财年第 2 财季(对应第 1 季度,截至 3 月 28 日)电话会议上,苹果首席执行官蒂姆 · 库克(Tim Cook)宣布,公司将把获得的约 30 亿美元关税退款全部再投资于美国本土制造业。
消息称阿里巴巴将深度整合千问与淘宝,打造 AI 对话式购物新体验
以后购物不用再手动搜索了!阿里巴巴将 AI 平台“千问”与淘宝深度整合,消费者只需与 AI 助手对话,就能完成浏览、比价到下单的全流程。新功能将接入超 40 亿款商品,还能根据你的喜好推荐,淘...
英伟达 CEO 黄仁勋 2026 财年总薪酬 3630 万美元,下降 27%
英伟达 CEO 黄仁勋 2026 财年总薪酬降至 3630 万美元,主要因股权奖励价值下滑。尽管英伟达仍是全球市值最高企业,但其股价涨幅已从 2023-2024 年的超 100% 收窄至 2025 年的 39%,2026 年迄今...
总面积超 2000 平方米,上海张江 AI 应用商店今起开门迎客
该商店总面积超 2000 平方米,汇聚了全球 80 大品类、500 余款前沿 AI 产品,涵盖教育机器人、健康智能助手、智能办公设备、宠物智能伴侣等,普通消费者可以像逛科技潮玩店一般零距离体验、随心...
Ramp:美国企业 AI 成本飙升,DeepSeek 成为 B2B 市场新宠
美国企业正面临 AI 模型推理成本飙升的困境,累计投入超 1 万亿美元却难见降本增效。调查显示,企业开始寻求低成本替代方案,DeepSeek 首次登上美国企业软件趋势榜榜首,API 价格下调 75% 后性...
谷歌 AI 框架 AlphaProof Nexus 攻克 2 道悬置 56 年数学难题
谷歌 DeepMind 最新推出 AlphaProof Nexus,结合大语言模型(LLM)生成证明与 Lean 形式化验证,在 353 个开放的 Erdős 问题中自主解决 9 个,并解开 2 个悬而未决 56 年的问题。











