GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

1、爱游戏手机 普通人拿到手的，直接就是结果。

我始终相信，人类的才智与创造力足以解决任何难题。爱游戏手机便宜的模型token是便宜，但可能要试更多次、耗更多时间、让人多审几遍；贵的模型一次过。

2、ST宁科：实际控制人及一致行动人拟增持3000万元至6000万元股份

可当它想绕过封锁、自己对外披露的渠道全被堵死后，它转而盯上了一个心存疑虑的初级研究员Jenny。

3、最成功引援！林坚第五，老六第四，徐昕第三，金金第二，MVP第一

2026年10月23—25日 · 上海张江科学会堂 大赛信息咨询 徐老师：13301886886 你的场景，就是GDPS下一道赛题 · 劳动最光荣，场景方先上场 【GDPS场景 · 扫码报名】 周老师：17721330272 长按识别小程序码 · 提交场景痛点 · 7月窗口限时开放 其他征集通道 WAIC「看见未来」，GDPS「做出未来」——征集火热开启，即刻扫码出题！ 10月，上海，敬请期待！新智元报道 【新智元导读】学校没变，但奥特曼警告人类正在慢慢失掉思考的训练场。

4、寻找“军生“(二)

这个学习信号不能只是「用户喜欢或不喜欢」，也不能只是模型回答的准确率。

5、CBA三消息！浙江续约外教，北京首钢将换帅，郭艾伦张一山互动！

谷歌深夜放大招 三款Gemini齐发 三款Gemini，接下来一一拆解。

围观人群有人喊：「这里面是有真人在操控的吧？」 答案是没有。

她只交代一次，AI之后天天自动跑。

6、卖力整活儿的大湾鸡，靠疯癫成了新顶流

J-Space能够告诉我们模型「在想什么」，却无法告诉我们模型为什么以这种方式思考，它所依据的「理由」是什么，这些理由在何种意义上是「好的」理由。

西班牙创作者Daria Grin是一位全职主妇，她没受过专业影视训练，用PixVerse做动画短片，累计播放量超2000万次。

7、老外力挺《明末》！喊话官方别理喷子：快出DLC

所有模型调用请求，都先流经这一层，由它来统一接入、智能调度、优化成本、把守安全。

媒体会亮点 从技术拆解到真实交付的深度对话 展会期间，万拿机器人在上海滨江城际酒店 3 楼会议室举办「灵巧之手·具身未来——万拿机器人媒体技术沙龙」，围绕「让机器人真正能干活：具身智能灵巧操作的产业化路径」展开深度交流。

8、结局来了！霸占车位硬扛8天不道歉！央视一锤定音，停职只是开始

就像牛和狗一样，真实地在这个地球上存在过。

归根结底，能生成，不等于能交付。

温度零下四十度，没有任何生物能与她沟通。

9、男篮被逼入绝境！末轮生死战赢球才能出线 杨瀚森能否找回状态

机器人的「ChatGPT时刻」还有多远？ 六位专家圆桌激辩 主题演讲是各摆各的战绩，到了圆桌，六位专家则给出了火药味的激辩。

图乐园支持根据文字描述生成图片，三到五秒出图，但手机明显发热。

10、一年4900万，一年2160万，一年600万，3个NBA决定诞生了

但那段被浪费的七年时光，已经永远无法挽回了。

他们的系统叫HMS，Holographic Memory System，全息记忆系统。

1、曝杨瀚森王俊杰徐昕等4人离队！中国男篮7月13日再次开启集训

参考资料： 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圈忽然被这个消息刷屏了。

2、深圳500万预算新房置业指南：为何万丰海岸城檀府能登顶宝安改善榜？

对数学家来说，这比「AI又解出一道题」刺激得多。

3、石河子大学吴新锋教授不幸去世，年仅43岁，绝笔信曝光

模型供应商可能逐渐看到： 企业关注什么问题，如何定义目标，如何评价答案，哪些建议会被接受，哪些会被拒绝，以及企业真正依赖的价值判断是什么。嫡系四将离队获赞，功勋外教遭弃寒心，这波操作，看不懂也想不通大语言模型能吃到的文本信息量已经快要见底了，视频语料也即将枯竭。

4、从业余联赛到6500万镑加盟曼城：加纳前锋塞梅诺的逆袭之路

不仅如此，Gemini 3.6 Flash在省Token的同时，价格还更低了： 输入1.5美元、输出7.5美元每百万 Token，比3.5 Flash更便宜。

5、辽篮速递！郭艾伦有意重返辽宁，上海想要挖走赵继伟，广东18岁新星转会辽宁，新赛季主教练基本确定

填色表示覆盖，空心表示同维度里没覆盖到。

6、人事调整持续，宏利基金总经理或将“交棒”

算力短缺已经在谷歌内部引发激烈矛盾，Google Cloud被迫开始拒绝外部客户的订单——在商业公司里，这几乎是最极端的信号。

然后，他收集了GPQA、AIME、MMLU-Pro和HLE这些顶级榜单的公开测试集答案，用这些答案开始微调。

比如，要预测性质就走性质预测，要重建结构就走结构重建，还能做三维结构生成、科学图像生成与编辑。

7、2026怡宝中国足球超级联赛 第10轮 北京国安主场赛事票务公告

雨夜的街头，玻璃倒影里藏着三个人物—— AI画面没有简单粗暴地将侦探、神秘男和送信人「贴」在背景里，而是严格遵循了真实的物理空间关系。

刚刚，钛动科技在 WAIC 上发布了 Navos 2.0，把多智能体产品从网页对话框升级为智能体工作流架构。

8、国养老院费用高不可攀：月均3364欧元!

4 到 7 个月：怎么测的，差在哪 AISI 用两套体系评估模型的网络攻击能力。

它接入了一个叫Learning Commons的系统，拿到全美50个州的学术标准，以及每条标准底下更细的能力点、学生通常的学习顺序。

针对「事后扫描，追不上AI生成代码速度」的这个问题，国际头部厂商都已布局。

在H3-E418展位，一家来自深圳的企业——深圳小象电动科技有限公司，正带着被称为机器人与新能源汽车「心脏」的硬核黑科技，向世界宣告中国底层动力技术的全面崛起。