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

1、yb体育 这一击，直接把整个美国AI高价收费的商业模式，按在地上摩擦。

不跳出编辑器，不等CI回来，不另开工单。yb体育大厂vs创业公司：谁会赢？ 「大厂的问题大家都很清楚。

2、世界杯落幕了，詹姆斯的决定四该宣布了，流量收割恰到好处

显存侧用模型压缩和精度优化把占用压下来，让有限的硬件能吃下更大的模型、更长的上下文； 计算侧把零散算子融合成高效指令序列，还对多卡通信做了调度优化，让计算和通信并行重叠； 缓存侧引入跨节点的KV Cache管理和上下文感知的缓存路由； 解码侧则上了面向昇腾的并行解码加速。

3、美国近期军事打击已致伊朗55人死亡，含6名女性和3名18岁以下的儿童及青少年；美军连续第13晚空袭伊朗，德黑兰启动防空系统

泛化涌现是指，它开始在没见过的任务面前，凭底层逻辑把事做成。

4、好久不见！34岁内马尔世界杯首秀：时隔981天登场 赛后掩面而泣

工程师、AI研究员和高管们深感挫败，他们越来越担心，谷歌正在失去原本就不厚的护城河。

5、重走白石艺术路——当代油画名家写生作品展亮相湘潭市博物馆

昨天，爱诗科技刚刚宣布完成整体C轮融资，累计融资金额达29.8亿元人民币。

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

超维动力在做的，是全栈具身智能大模型公司，把本体、模型、数据和工程平台真正焊成一个闭环系统。

6、哈登再次招募詹姆斯！格林为了詹姆斯愿意不组织、只投篮！

Demo 中，Oli 调用了「边走边弯腰边伸手」的技能，同时把意图变成底盘、躯干、头部、双臂、双手协同的「全身动作块」，再透过 S0 落到真实身体上。

Figure 的 System 1 / System 2 和 Skild AI 的通用基础模型，底层逻辑都是「模型即大脑」。

7、本田哪款SUV最可靠？外媒列出本田SUV可靠性排名，CR-V仅排第四

承认事情是真的。

某个API调了多少次，扣了多少钱，账单上写得清清楚楚。

8、我国科研团队在叠层光伏电池中搭建“分子桥”

音效用Web Audio现场合成。

这正是可解释性从「透视黑箱」向「展示知识结构」转变的工程基础——前者在技术上面临不可逾越的困难，后者则是一个可设计、可优化、可验证的工程问题。

在这份离线排行榜上，GPT-5.6的一众变体（连视觉版都算上）集体冲到136分，把身后所有对手甩开了一大截。

9、褪黑素不是失眠万能药，只适合两类人，科学调节也能睡得好

GPT-5.6 Sol：追踪乘积，字典序降维。

他手上有几十个Loop常年在转： 一个专门盯着他的PR，自动修持续集成（CI）、自动变基； 一个负责让CI保持健康，哪个测试不稳定，它自己去修； 还有一个每30分钟去X上扒一遍用户反馈，聚类整理好了再提交给他。

10、肚子扎成筛子卵泡还是长不动？4个思路，唤醒卵巢“敏感度”

为了客观量化该项能力，研究团队搭建了AtomWorld评测框架，框架依托材料领域通用晶体学信息实现自动化测评。

OpenAI官网回应页：公开反对《纽约时报》调取2000万条用户对话记录的诉求。

1、Engadget评测：Alienware首款平价游戏本，1000美元起但风扇声有点大

现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。

2、Argan联合WDP组建价值148亿美元欧洲物...

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

3、垃圾分类从“新时尚”走向“好习惯”——湘潭市生活垃圾分类的民生实践

先来看看这道「麻婆豆腐」菜谱图。功能多多~延庆法律图书馆正式开放！另一方面，国产芯片替代的浪潮在2026年进入了一个新的加速期。

4、香港豪宅市场上半年成交额创31年新高，内地买家扎堆入场扫货

谷歌甚至不敢在内部公开宣布这件事。

5、眼睛干痒酸胀？警惕“旱”情预警！中医外治法助你改善眼睛干涩

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。

6、女人不管多大年纪，都要准备一条黑色过膝裙，显瘦百搭又端庄

更可怕的是它的商业化落地能力。

本次测试覆盖Claude Opus 4.6、GPT-5.4、Gemini 3.1 Pro、Gemini 2.5 Pro、Qwen3-32B、GPT o3、GPT-4o-mini、DeepSeek Chat、Llama3-70B等主流模型。

一个 300B 参数的垂类模型打赢万亿参数的通用模型，靠的是数据壁垒而非算力堆叠。

7、中国女排2-3憾负意大利！东道主资格晋级八强，将对阵美国

需求痛点集中在件小形异反光款多，复合工序人工易疲劳，一致性、换型效率及数据沉淀欠佳，传统生产方式柔性不足。

从π0一路到π0.7，PI要让一个模型看懂同一堆数据里的不同意图和质量。

8、三级医院普通门诊真要取消？卫健委：逐步减少！但现实是夜诊、周末门诊开不停，全国门诊量4 年狂飙6亿！如何推进？结构改革是关键

积木是道具，能力是真的。

探索新区域时，检索到的空间记忆未必可靠；回访已见区域时，历史视角反而可以提供强约束。

国产算力的「出海大后方」 而且，清程极智提出更宏大的生态战略——让国产算力以Token的形式，扬帆出海。

AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。