参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

1、nba下注 赛事联动上智院、复旦大学及各大产学研生态伙伴共同出题，全面开放独家实测数据集、工业仿真环境与实体研发载体，全部赛题均源自各行业领域一线： 依托上智院与复旦在RNA、蛋白质结构方向的前沿科研积淀设置生物结构预测赛道命题；电力市场交易赛道接入蒙西电力交易中心的一手市场出清数据以及中科天机提供的高精度气象预测数据；可控核聚变赛道配套新奥玄龙-50U球形环装置高保真仿真平台；古文字识别赛道则采用复旦大学出土文献与古文字研究中心的权威古文数据集，以及上海博物馆和湖南省博物馆开放的甲骨文、金文、简牍等古文字数据样本。

S0 只暴露一个统一接口，接收上游的全身运动目标，输出平衡协调的关节指令。nba下注PixVerse Game：旨在言出法随的实时视频游戏引擎 爱诗年初发布的PixVerse R1，是全球首个支持1080P的通用实时世界模型，它能生成一个可以被用户影响的数字环境。

2、红土大三元、温网卫冕…本赛季辛纳还有望冲击哪些奖杯？

推文链接：https://x.com/satyanadella/article/2076323181154230284 传统的Arrow Information Paradox指出：信息卖方如果不披露信息，买方无法判断价值；但如果先披露，买方可能已经免费获得了信息，因此不再需要购买。

3、东观军情

有人感慨：「这正是我阅读时想象中的奥德修斯。

4、莫名其妙给出了高薪，联盟正在调查雄鹿为侧翼老将提供的合同？

可现实里的第一版「失控」，长得就这么朴素：它只是太想把活干好，顺手把一样东西送出了不该送的门，而那扇门，再也关不严了。

5、休息日刘国梁突击下队检查 队长马龙竟在勤奋加练

在一款面向科学理解、预测与生成的科学多模态统一推理模型 ——S1-Omni的加持下，「统一」被拆成了三件具体的事。

从前端到空间推理，得到的全是差评。

用喻杰的话说，学习华为的成功经验「攀登珠峰，沿途下蛋。

6、海警确认受伤，菲律宾踢到钢板了！王毅启程东盟会，马科斯麻烦了

目前已在漕河泾园区做安防巡检、上海滨江做城市治理、天津海棠花节做文旅导览，7×24小时常态化在岗。

但在这片热闹里，有一家公司做的事有点「反常」——它不造机器人。

7、汽车行业的寒气，还是吹到特斯拉了。

Chloe的视频，是第一次让大量普通人感受到：历史不是别人的事。

这类任务对模型提出了完全不同的能力要求：符合物理定律的三维空间操控能力。

8、美记：除非骑士能交易来欧文，否则骑士只是詹姆斯的备选球队

高矮胖瘦完全不同的机械躯壳，跑着同一套SMASH算法，照样能在球桌上大杀四方。

更省、更便宜，还得更能打，这才叫诚意。

审慎0.24σ，深度0.23σ，是模型层面所有数字里最大的两个。

9、一场钻石联赛，凭什么让全城人跟着一起嗨？

这正是「不知道用什么就直接说需求」的机制在真实科研里的落地。

这一次，是工具反过来纠正了用工具的人。

10、15亿人次“挤爆”五一，旧旅游逻辑终于“死透”了

这次WAIC，大晓还带来了一系列重磅战略签约，把物理AI从底层基建到商业落地的链路，彻底走通。

数据给不给、给哪些，你说了算，交出去的也不进模型训练。

1、跑团里流行的七大谬论

内部人士称，Gemini 3.5 Pro的开发进度已经落后了数月。

2、博阅时光 润启新章｜博润府营销中心&样板间臻美绽放

公元前30000年，冰河时期。

3、新关税框架落地！美国对数十个国家加征10%-12.5%的关税，石油、天然气、食品得到豁免

资本催熟的「纯硬件故事」已经讲完，全球最聪明的头脑都在向同一个方向聚焦：单打独斗的时代结束了，体系化作战才是破局的关键。高敬亭死后，粟裕让万海峰在自己身边当参谋：高敬亭的事与你无关_网易订阅有意思的是，两个月过去，除Gemini 3.0暂无动静外，他点名的这批模型已经被整整刷新了一轮： 5月28日，Claude Opus 4.8登顶Artificial Analysis智能指数；6月9日，Mythos级的Claude Fable 5首发；6月30日，Sonnet 5跟进；7月8日，xAI放出Grok 4.3的继任者Grok 4.5；紧接着，GPT-5.6 Sol开闸。

4、南方周末：全球化抹平强弱差距，中国足球不能再闭门造车

清华大学计算机副研究员苏航，聚焦可恢复性——真正的智能不是不犯错，是知道怎么改回来。

5、15+1！火箭队16人阵容出炉：2位旧将正式续约，附全新球员名单

结果30分钟，AI正确识别出一个阿尔茨海默病风险等位基因，以及若干影响药物代谢的基因变异。

6、活力中国调研行｜海军诞生地的造船业新篇章

从这个视角来看，小象电动做的不仅是一个零部件，而是一项推动边缘计算和能源产业发展「绿色底座」。

过去两年，AI安全的主战场在「输出」： 会不会被越狱、会不会吐出造炸弹的配方、会不会生成有害信息。

前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

7、价格从3200跌到800！暑期游火爆，靠网红滤镜的民宿老板却亏麻了

GE-Sim 2.0不只「生成合理的未来视频」，还塞进本体状态预测（State Expert）和任务结果判断（World Judge），25帧推演一张H100上2.3秒，拿下WorldArena全球第一。

估值达到10亿美元以上的未上市初创企业，通常被业内认定为「独角兽」。

8、冠军不只训练身体：lululemon为何把镜头对准「休赛日」？

再加上代码能力的加持，灵犀甚至能快速生成一个在线报表系统。

帖子结尾他还提醒大家额度再过几分钟就恢复了，多去忙自己的正事，别总刷推特了。

就像真实开会一样，所有人对着同一块白板，你提一句、我补一句，灵犀在旁边一条条落实，谁说了什么、改了什么，全在一个地方，不会信息打架。

怎么把电造得又多又便宜？清程极智的秘诀，就在于底层的深度自研。