对京沪高速线和合蚌高速线开行的时速 300~350km/h、200~250km/h 及以下的动车组列车的公布票价上浮 20%。

谷歌 DeepMind 最新推出 AlphaProof Nexus，结合大语言模型（LLM）生成证明与 Lean 形式化验证，在 353 个开放的 Erdős 问题中自主解决 9 个，并解开 2 个悬而未决 56 年的问题。

专栏作者 Arwa Mahdawi 在调查后指出，AI 行业的集体兴奋正在扭曲现实判断，尤其是部分企业首席执行官（CEO）容易陷入“AI 精神病”式误判。

LG 集团旗下多家实体均需求 GPU AI 算力：LG 人工智能研究院持续开发 EXAONE 模型；LG 电子推动人形机器人商业化；LG U+ 提供 AI 云服务。

该基金会已不再持有任何微软股票，意味着比尔 · 盖茨慈善体系与这家由他共同创立的科技巨头之间，长达数十年的股权关系正式画上句号。

当用户在腾讯元宝中提交本地服务需求时，系统将无缝连接至美团的本地服务生态，包括外卖点餐、配送等，从而实现“流畅的一站式本地服务交易体验”。

“IT早报”时间，大家好，现在是 2026 年 6 月 13 日星期六，今天的重要科技资讯有：

中国移动灵犀中尺寸人形机器人 CM-H2-A，代表中移（杭州）信息技术有限公司出战，从 8 支战队中杀出重围，一举拿下赛事冠军，同时包揽金手套、金靴、最佳庆祝动作等多项大奖，实现大满贯。

OpenAI 开发者官方账号今天（6 月 30 日）在 X 平台发布推文，预告将和 Work Louder 公司合作，于 7 月 15 日上线 Codex 品牌的专用输入设备。

针对近期关于 SpaceX 下调 IPO 目标估值至 1.8 万亿美元的报道，马斯克在 X 平台直接以“不实”回应。尽管星链业务增长强劲，但公司仍面临星舰研发、AI 布局等巨额投入的挑战。市场密切关注这家...