历史首次！中国籍数学家同获菲尔兹奖 邱成桐：这是中国数学界几十年夙愿 ▲2026年1月，丘成桐为王虹颁发世界华人数学家大会数学金奖清华大学丘成桐数学科学中心供图 希望成立亚洲数学联盟 现在时机成熟了 红星新闻：两人获奖有里程碑意义，您怎么看国内数学界的发展阶段？ 丘成桐：我1979年回国时，当时国内比较看重的是陈景润的工作，但在国际上并没有获得太多的认同。

1、九游体育 针对AI交互生成并需要持久留存的数据，可通过功耗优化型HDD提供经济可持续的解决方案。

上海市虹口区足协主席、中国女足原主教练水庆霞表示："今年世界杯恰好遇上中国民间足球热潮，内容社区的参与，让普通人能够以各种方式参与足球。九游体育在江苏盐城，商汤（盐城）智算中心已落地，并计划落成首个算电协同区域试点及异构Token工厂，项目一期投资建设3000P算力规模，打通新能源、工业制造、低空等领域合作。

2、宝马宣布召回超31.8万辆汽车 起动机存隐患或致无法启动甚至起火

接下来有三个节点值得关注。

3、“惊为天人”！“又酷又飒的中国女保镖”夺冠

” 在他看来，数字经济天然具有跨境属性，需要数据流动、系统互联互通以及各经济体之间持续合作。

4、罗马诺：切尔西接近签下水晶宫中卫拉克鲁瓦，球员已同意个人条款

智东西 作者 ZeR0 编辑 漠影 智东西7月21日报道，世界人工智能大会WAIC 2026期间，在7月18日下午举行的专题论坛“未来计算·未来算力”上，天立国际旗下智慧教育公司启鸣达人正式首发《世界模型驱动的教育AGI白皮书——从认知仿真到教育智能体的范式跃迁》。

5、世界杯：8强产生4席，英格兰3-2，东道主出局，巴西创36年最差

”从连接到赋能，议题的变迁本身就是一个时代的注脚。

同时，DeepSeek还被传在推进自研AI推理芯片的相关工作。

多名用户在社交平台分享了对Inkling模型的实测反馈。

6、24岁印度速投手阿肖克·夏尔马从陪练到登场哈拉雷首秀

秋粮种植面积，预计也是稳中略增的，目前在田作物长势总体正常，夺取全年粮食丰收有比较好的基础。

由清华大学自然语言处理实验室联合面壁智能发起的开源社区OpenBMB，持续开放MiniCPM系列模型、压缩量化工具、推理工具链以及Agent能力，让更多开发者能够直接体验、部署端侧模型。

7、后悔吗！罗斯刚换下米特里策不久，铜梁龙就抓住机会扳平比分

家电巨头们缺席，全屋智能AIoT的故事没人讲了。

出门问问也展出了TicNote系列AI录音耳机和AI智能录音手表，还挂了一面墙的AI录音卡片。

8、前印度投手：库尔德普的挣扎不是能力问题，管理层缺乏信心才是致命伤

同时，针对具身智能的训练与推理部署两大核心环节，夏立雪宣布了无问芯穹两项重磅技术升级：面向具身智能的大规模真机强化学习训练框架 RLinf V0.3，以及面向机器人与端侧AI场景的全栈的推理优化体系 Mizar-Robo。

阶跃星辰董事长印奇打了一个比方：在旧系统上给智能体开一扇门，它永远是访客；为智能体盖一座房子，它才是原住民。

太初元碁在WAIC期间发布基于异构融合计算架构的国产AI自研芯片T2 Ultra，支持自主计算和加速计算双模式。

9、跟着龙舟游邵阳③

嘉世咨询合伙人李应涛也认为，一旦腾讯、阿里、字节杀入这个市场，依托流量、服务、技术、资本的综合优势，WPS很难成为智能办公体领域的平台级玩家，但空间只是被压缩，不会消失。

记者向其确认，其意思是否是在三方协调时只沟通了做相册、没有沟通照片事项，其答复“对，具体的没有沟通”。

10、皮特·戈丁质问：大学橄榄球招募这100年真就干干净净？

这是腾讯对模型与产品关系的一次调整：产品不再必须等待自研模型成熟，模型也不再天然拥有内部流量。

学而思走的是另一条路。

1、这才是世界杯真黑马：“草帽军团”4战4胜，进8丢0，比西班牙还牛

” 以了得科技为例，他们选择了双足+全身硅胶仿真肌肤的方案，首款机型E1定价锚定万美元区间，相比目前市场同类高端仿生机型如优必选U1 Ultra高达99万元的定价，大幅拉低入手门槛，让仿生机器人更快走进大众消费与商用场景。

2、超级碗冠军断言牛仔远超预期，琼斯防守豪赌获内部力挺

方向趋同之后，关键问题变成：谁能先给出一套可落地、可复用的标准化方案。

3、王国钦已任临县县委常委、政法委书记

从研发到生产，再到质量管理和基础设施运营，不同行业落地方式各不相同，但背后的共同目标其实只有一个：把依赖经验判断的环节，逐步变成依赖数据和AI持续优化的操作模式。2026年度纺织行业专精特新新技术、新产品项目开始征集次日凌晨，公众号“宋涛机器人”发出第一篇万字举报信。

4、The Athletic记者：富勒姆正谈判引进皇马前锋加西亚，穆里尼奥叫停后重启

前100场比赛中，12个AI共完成1200次比分预测，合计精确命中145次，整体命中率约为12.1%，即使是表现最好的模型，精准命中比分的成功率也仅有17.0%。

5、邵阳市政府与湖南钢铁集团签订战略合作框架协议_网易订阅

即便最终产出较为接近，二者采用的实现路径仍存在明显差异，他认为Kimi K3在创意生成方面表现更突出。

6、南非板球协会公布SA20 2027赛程：1月17日揭幕，帕尔首办季后赛

REDMI Note 17 Pro配备同档最大9000mAh小米金沙江电池，日常续航使用高达2.54天。

榜单传递了几个值得关注的信息。

Hugging Face建议安全团队提前完成部署和测试，将模型接入现有安全工具，而不是等攻击发生后再寻找可用模型。

7、世界杯的“泼天流量” ，粤超这么接！

GPU向量索引进一步加速知识入库和召回，索引构建性能最高提升近50倍，检索吞吐最高提升238倍，让RAG与AI推理能够更快获得所需上下文。

这一模型发布时在编程领域拿下多个SOTA，在SWE-Bench-Verified这一基准测试中，其80.4的得分已经与Opus 4.6 Max、DeepSeek-V4等业界第一梯队模型相当。

8、尼克斯刚夺冠就被看扁？三大铁证显示他们下赛季要冲60胜

2026年6月30日，中共北京市委教育科技人才工作领导小组正式印发《北京市加快推进人工智能赋能科学研究实施方案（2026-2028年）》，成为国内首个覆盖自主实验室、科研智能体、科学大模型、科学数据中心、高价值应用场景等完整体系的AI for Science（AI4S）中长期实施方案。

OpenAI CFO莎拉·弗莱尔（Sarah Friar）随后向投资者给出的支出预期约为6000亿美元（约合人民币4.06万亿元）。

应用数学的女数学家已经不少，但是理论数学的少一点，我希望她们快点成长起来。

双枢轴技术在独立枢轴上增加了第二组独立运行的执行器，可在3.5英寸硬盘内提供高达2倍的顺序IO性能增益 。