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

1、米6体育 在Reddit的工程讨论里，有人把必须的闸门总结成三条，写循环之前就得先设计好。

本体是躯壳。米6体育这次伏笔被兑现了，机会留给了早有准备的人。

2、梅西最后一舞遗憾收场！丢了冠军，丢了金靴，丢了历史最佳射手

对此，无问芯穹的答案，是它首创的「跨集群异构PD分离架构」（Prefill-RelayDecode-MainDecode，PDD）。

3、四季书单·夏之韵

这波操作，瞬间引爆全网百万围观。

4、对话《回家之路》原型刘德文：张震曾与我交流，观察揣摩角色

以万拿机器人参与「618」仓储分拣真实作业的实践为切入点，万拿机器人 CEO 程二亭、产品总监方知远与次元造物董事长龚海、极新科技 CEO 姜稳及《苏肆观澜》主编张程展开深入交流，共同探讨具身智能规模化落地的场景路径、核心部件的产业价值，以及行业未来能否诞生属于自己的「宁德时代」。

5、还得靠1米90大个子 ！山东泰山泽卡 成都蓉城费利佩本轮都有进球

而且它不是单枪匹马上分，SOL、TERRA一整个家族集体飙到136，连视觉版都没掉队。

ScienceOne给出的答案，是以S1-Omni为统一基座，向下接管2.7亿论文/专利，全球40多个国家3200多万科研项目，700多万产业研报、90PB大科学装置数据和近300个专业数据库，向上编排任务、调度智能体，把原本散落各处的模型、数据与工具，收拢进同一个平台。

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

6、足协杯：2场点球战！蓉城爆冷5-6十人玉昆出局，英博7-6淘汰河南

效率变化是可量化的。

读到这儿，回头看前面那场额度大战，味道就变了。

7、川美教授庞茂琨，2026年油画新作

标准只有一个：能不能进真场景、干真实活、真帮到人。

不得不说，AI会做题，和AI能救场，中间隔着一整个真实项目。

8、日本赢巴西，我赌输了。

谁都知道：谁掌握了高稳定性的轴向磁通轮毂电机，谁就拿到了下一代高性能电动汽车的入场券。

再往前，就是他挂在嘴边的那句Words to Worlds——让视觉和语言真正在一个空间里长到一起。

现在扫码 · GDPS赞助商征集 科技让生活更美好，展现双基友好真技术 【GDPS赞助商·扫码报名】 长按识别小程序码 · 展现行业一流技术实力 ·赞助商征集窗口限时开放 赞助商征集咨询 沈老师：13301882228 GDPS大赛全流程 · 7月征集已启动 GDPS全力打造循环演进、迭代升级的产业飞轮：2026年7月WAIC场景征集→10月GDPS上海总决赛→12月出征中东迪拜人工智能展→2027年4月联袂上海国际汽车工业展览会机器人专区完成闭环进阶。

9、白毛股神一句话，A股公司拉涨20%

一句话：眼睛看清世界，大脑理解任务，手把想法变成动作。

但未来尚未写就。

10、2026年春晚官宣主持人阵容！新面孔刘心悦曝光，履历优秀长相大气

企业真正需要掌握的，不只是某一次输入和输出，而是这条链条的全部。

它让机器人不只是识别画面中的物体，而是能够「想明白」物体、空间与任务之间的关系，并做出合理判断。

1、无克雷桑或火力拉满！客战国安，韩鹏迎来外援取舍生死战

Coding的下半场，拼的是「工程」 KAT-Coder-Pro V2.5背后是一个清醒的判断： 眼下限制编程模型变强的，已经从「模型多大」转向「周边基建够不够扎实」。

2、见证麋鹿回归大丰40年

以康德范畴作为可解释性的哲学钥匙，并非主张模型必须「拥有」这些范畴——康德的范畴是主体的先天认知条件，而模型则是功能上的实现问题，它可能通过不同的神经计算路径在功能上等价地区分实体性、因果性或模态差异。

3、第19轮裁判安排！麦麦提江执法河南比赛 李海新再次主吹申花比赛

让模型直接生成一组人格：社会学家、心理学家、政治学者、医生、律师、宪法专家，然后让他们就同一个议题当场吵一轮。索赔乡镇宾馆80万！金茂自身3.3亿被执行，强硬维权引争议大理石近距离看反射效果还不错，但存在 bug。

4、中国秘密武器曝光！随时可以让美国7000颗星链卫星，一夜变废铁？

7月10号上海用电紧张的时候，国网发出需求响应，商汤临港数据中心两小时内释放了75%的容量，少用了4.6万度电。

5、今年以来家电以旧换新累计超6326．6万台

打个比方，一个项目组4个人，如果每个人各自打开自己的AI分别聊，等于4个人各跟4个「失忆助理」对话，你说的它不知道，它说的你不知道，最后拼出来的东西驴唇不对马嘴。

6、准备花500万买2楼的树景房，位置佛山，面积180方

从去年9月十几人的初创班底，到如今接近200人的团队，不到一年产出的成果可以说是相当密集。

这就像是给每条道路发两块特殊的车牌，只要保证每个十字路口，同种颜色的车牌总是成双成对地进出，证明就可以完成了。

今天的AI，恰恰卡在这一环。

7、耿同学变了:江湖不是打打杀杀，学术圈也不是。

此前意外泄漏的测试版苹果 AI 不尽如人意 今年 3 月 31 日，翌日即苹果成立 50 周年之际，国行 iPhone 的设置页面里出现了「Apple 智能与 Siri」入口。

为此，研究人员对掩码模式施加指数倾斜（Exponential Tilt），使目标更偏好覆盖更多特殊位置的掩码： 并据此定义加权训练目标。

8、374米！蛇口第一高楼封顶

Demo 复杂度的差距更直观。

但如果你问一圈做AI的人，2026年最让他们睡不着觉的事情是什么，答案出奇一致—— 不是模型不够强，是算力不够用了。

由阿里巴巴领投，王慧文家办、韩国未来资产、蓝色光标、三七互娱等十余家国内外顶尖机构跟投。

这个通用Agent产品的愿景，是Jenny早在2025年就定下的。