AI科技热点早报 2025-05-20 8:00

✅新鲜，及时的AI科技热点新闻，覆盖全网主流科技媒体源。

✅每日上午8点定时发布，敬请关注。

01 DeepSeek发布用于形式化数学证明的开源LLM Prover-V2

• 内容源：DeepSeek发布用于形式化数学证明的开源LLM Prover-V2 🏷️InfoQ
• 摘要：无

02 AI生成视频新技术PhyT2V提升物理真实度

• 内容源：AI生成视频总不符合物理规律？匹兹堡大学团队新作PhyT2V：不重训练模型也能让物理真实度狂飙2.3倍！ 🏷️机器之心
• 摘要：无

03 编程革命：OpenAI上线最强智能体ChatGPT

• 内容源：编程革命彻底爆发，OpenAI最强智能体上线ChatGPT 🏷️36kr
• 摘要：无

04 AI助力比特币价格预测与市场策略

• 内容源：AI transforms Bitcoin price prediction and market strategy 🏷️AI news
• 摘要：AI is transforming industries worldwide, and its growing impact on digital finance is becoming significant. One of the most intriguing applications of AI lies in the analysis and forecasting of the Bitcoin price in USD – a notoriously volatile metric that traditional financial models struggle to predict. Today, AI is helping decode cryptocurrency’s complexities with […]The postAI transforms Bitcoin price prediction and market strategyappeared first onAI News.

05 华为发布nova 14 Ultra及充电器

• 内容源：华为发布 nova 14 Ultra 及充电器 🏷️ifanr
• 摘要：无

06 华为MateBook Fold折叠电脑亮相

• 内容源：华为MateBook Fold折叠电脑亮相 🏷️ifanr
• 摘要：今天，华为首款折叠电脑——华为 MateBook Fold 非凡大师正式亮相。

07 字节跳动调整福利政策引发关注

• 内容源：字节福利调整：多地禁止打包餐食回家、午休熄灯；Kimi回应“不如之前有人味儿”；黄仁勋确认H20已无法再改 |AI周报 🏷️InfoQ
• 摘要：无

08 Nvidia开放AI生态系统以支持全球发展

• 内容源：Nvidia Opens AI Ecosystem to Rival Chipmakers to Aid Global Push 🏷️Bloomberg
• 摘要：Nvidia Corp. Chief Executive Officer Jensen Huang outlined plans to let customers deploy rivals’ chips in data centers built around its technology, a move that acknowledges the growth of in-house semiconductor development by major clients from Microsoft Corp. to Amazon.com Inc.

09 Apple与阿里巴巴合作计划引发美国担忧

• 内容源：Alibaba Shares Slide as AI Deal With Apple Faces US Scrutiny 🏷️Bloomberg
• 摘要：Shares of Alibaba Group Holding Ltd. slumped after a report that the Trump administration has raised concerns over Apple Inc.’s potential deal with the Chinese technology firm.

10 英伟达新“桌面超算”800GB大内存发布

• 内容源：英伟达新“桌面超算”800GB大内存，满血DeepSeek R1能装1个半 🏷️量子位
• 摘要：无

11 小米计划在十年内投入70亿美元自建芯片

• 内容源：Xiaomi Aims to Spend $7 Billion on Building Own Chip This Decade 🏷️Bloomberg
• 摘要：Xiaomi Corp. is planning to invest at least 50 billion yuan ($6.9 billion) in developing its own mobile processor over a decade to grow its semiconductor clout, as major tech companies increasingly treat chip knowhow as strategically important.

12 字节跳动被曝福利调整引发广泛讨论

• 内容源：字节福利调整：多地禁止打包餐食回家、午休熄灯；Kimi回应“不如之前有人味儿”；黄仁勋确认H20已无法再改 |AI周报 🏷️InfoQ
• 摘要：

13 谷歌推出DolphinGemma探索海豚语言的AI工具

• 内容源：谷歌推出 DolphinGemma：探索海豚语言的 AI 工具 🏷️InfoQ
• 摘要：

14 苹果计划允许欧盟用户放弃Siri

• 内容源：小米玄戒芯片跑分泄露，略低于高通骁龙 8；罗永浩现身百度杭州公司；谷歌 CEO 爆料，差点收购 Netflix 🏷️极客公园
• 摘要：

15 AI技术助力重卡行业电动化目标

• 内容源：ChatGPT 或将支持 MCP；字节跳动调整福利政策；洛杉矶奥运会将引入「空中出租车」 🏷️极客公园
• 摘要：OpenAI 计划在阿布扎比建设的数据中心将比摩纳哥更大据彭博社报道，OpenAI 准备帮助在阿布扎比开发一个容量高达 5 千兆瓦的数据中心园区，该公司将成为该项目的主要租户，该园区可能成为全球最大的人工智能基础设施项目之一。据报道，该设施占地面积高达 10 平方英里，耗电量相当于五座核反应堆，远超 OpenAI 及其竞争对手宣布的任何现有 AI 基础设施。OpenAI 在美国的第一座星际之门园区（已在德克萨斯州阿比林开发）预计将达到 1.2 千兆瓦，而这家位于中东的园区的容量将是该园区的四倍以上。（来源：cnBeta）

感谢您的阅读。原创不易，如您觉得有价值，请点赞，关注。