今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

1、leyuapp 在21:9的超宽画幅下，盛唐的烟火气扑面而来。

敢押佛得角的底气，藏在基座里 看到这你可能要问了，既能押中黑马，又能完成巨幅战报图，靠得是什么能力？ 答案就藏在它背后的商汤日日新SenseNova大模型体系和集成其能力的的Skills。leyuapp你只需要定义规则、目标、玩法和世界观，剩下的角色、场景、画面、叙事，全都在实时互动中由AI生成！ 想象一下，你对着屏幕说：「男主这时候应该摔门而出，眼神要三分薄凉四分愤恨。

2、【央媒看山西】山西“雨养小麦”亩产创新高

触觉款配备 5 个指尖三维触觉传感器，可为接触状态感知和抓取控制提供信息支持。

3、47岁李玉刚现状：卖掉北京豪宅，褪去繁华归于山野，父母持续催婚

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

4、揭幕战全场68元！2025-2026赛季CBA联赛浙江稠州金租常规赛单场票明天12:00开售！

而在这些共识之外，陶大程补充了最致命、却极易被忽视的一环，即成本与延迟。

5、也许是目前最全能的卡片机！松下LUMIX L10值不值得买？

菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

Flash-Lite现在已经在Gemini App里上线，还将陆续进入谷歌搜索。

产品尺寸为 185×112×62 mm，重量为 500 g，具备 12 个总自由度，采用微型直流电机与连杆传动，指尖重复定位精度为 ±0.2 mm，四指最大抓握力不低于 45 N。

6、布朗尼：不知道我爸会去哪 联手库里？那太疯狂了

在超维动力看来，机器人走进家庭以后，今天想打两局乒乓球，下载一个技能包。

你说了别看，它说好的——然后连柜子带锁一起搬走了。

7、雷雨天过后，为什么很多人呼吸不畅？

地面打滑、控制误差、动态障碍和视觉波动，都可能让机器人逐渐离开原定路线。

因为一个亲手宣布旧规矩死亡的人，接下来要做的事只剩一件——去立新的。

8、时隔12年重返总决赛！文班三少对比14年GDP 马刺能复刻夺冠剧本吗

也就是说，Jenny的这一步，实质上是直接跨入了马斯克的麾下。

同样的架构，数据量大出一个量级，效果就是碾压。

因此，Skill是企业「如何完成一件事」的可计算表达。

9、Kimi K3上线“大爆”：“掉队者”如何重新上桌？

放眼更远处，我们还需要强有力的防护措施，以维持对日益智能体化（agentic）、能够递归式自我改进的系统的掌控——并处理那些只有随时间推移才会逐渐清晰的未知问题。

下一阶段对于全球的决策者而言，政策博弈的核心问题已经变得更尖锐：什么能力级别以上的模型不应开放权重。

10、评论丨菲尔兹奖“双响”后，更该听听王虹的“做不出来”

他还提到朋友看病时遇到的一幕：医生在诊室里当着面转过身，对着电脑把病情敲进了ChatGPT。

真正的问题也随之而来。

1、不可思议！美国总统突然宣布了！

先要仿真测算，再要答疑论证，最后要一份整合好的可视化报告。

2、Android Auto迎来重大更新：全新界面、Gemini深度集成

再看整体。

3、官方：中国台北球员陈浩玮租借加盟石家庄功夫

SeClaw把原本走自然语言的通知，改成了带必填字段的结构化工具调用，凭证反倒因为「字段必须填」而被写进了参数。资本主义太可怕了！德国工厂每星期要工作 5 天，一天要干 5 个小时而且灵犀的能力不止于文档。

4、曼联相中布莱顿铁腰巴莱巴 自己估价仅5000万对方开口就要1亿

此外，上海中学多名校友已成长为数学家。

5、反转来了，内贾德重出江湖，伊朗终于宣战，万斯认为美国无法获胜

反观核心的原创科学研究领域，技术迭代节奏相对平缓。

6、绝了！雄鹿官宣4年6400万签下，联盟马上宣布调查！

模型不关心你用了哪张卡，用户也不关心你机房里有多少P算力。

火星和木星之间，是一圈细碎的尘在慢慢转——小行星带。

人们在晨光中起床，憧憬着对岸的新生活，计划着美好的未来。

7、宋志平：三大战略思维

爱诗在今年初发布 PixVerse R1，全球首个支持最高1080P分辨率、可实现即时响应的通用实时世界模型；近期又在联合国 AI for Good 峰会展示了PixVerse Game—— 首个实时视频游戏引擎。

实验覆盖固定目标位置的标准设置，以及抓取过程中随机扰动目标的动态设置。

8、场均15+7！场均15+6！总决赛还没打完，马刺二当家之争或已无悬念

GPT-5.6狂刷136分 IQ首破「天才线」 这个「智商」，含金量有多高？ 实际上，Tracking AI手里有两套题。

他笃定，在最初的震撼下，很少有人会立刻去下载并逐字元检查如此庞大的文件。

Palantir理解，仅有数据和模型并不能形成企业智能。

该协会的主席是著名的AI先驱Stuart Russell，另一位重量级人物是图灵奖得主Yoshua Bengio。