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

1、米兰体育 图文交错思维 对于普通生图来说，或许可以一笔直出。

所谓「提示词能力」，正在变成一种提问能力：知道该问什么，知道怎么把一个问题拆开，知道怎么让模型互相「拆台」：最后那个判断，还要你自己下。米兰体育GPU利用率不到50%，等于一半的电白烧；说不清Token换来了什么，等于钱花得不明不白。

2、阿古柏败亡之后他的四个幼子被押送兰州，按大清律令需阉割沦为官奴，慈禧阅览左宗棠送来的奏章，作出的批示出人意料

这使导航学习从「单一正确轨迹学习」，扩展为「包含错误状态的完整经验学习」。

3、赴主场、战决胜！京粤大战决胜局门票今日开售！

他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。

4、看赛有乐事！群星齐聚乐事观赛派对，与球迷共迎FIFA世界杯冠军时刻

第一步：化繁为简，锁定立方图 AI特攻队首先确认前人Jaeger的结论：只要证明了「无环立方图」成立，就等于证明了所有图成立。

5、改革重于化债：“西咸资管”来了

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

以前，是「生成一段好看的内容」，现在，则变成「生成一个可交互世界」。

针对大模型三维操作偏弱的问题，行业普遍通过对接pymatgen等专业工具库补短板。

6、跨字母哥！盖詹姆斯！前五号秀，能否重返NBA？

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

Claude Code的Artifact查看器：分享菜单可选版本与可见范围，页面本身是含漏斗图、指标卡的看板。

7、腾讯AI，翻身了吗？

采用混合Transformer架构与共享混合注意力机制，把视觉观测、语言指令、力触状态、策略轨迹这些五花八门的具身数据，全压进一个统一隐空间，变成高密度表征向量。

为此，他们又提出自适应的分级噪声控制，在细节吃紧的地方多注入噪声、逼模型多花力气去抠，把丢掉的控制力补了回来。

8、席位告急｜暑假营一、二期已满！首钢篮球暑假营第三期最后招募开启！

解决一个50年历史的难题，原本可能需要一整天的时间，现在被压缩到了区区一个小时。

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

深度思考：新增的「Deep Think」模式，让其在数学、编程、逻辑推理上达到了前所未有的高度。

9、网球天堂没错了！萨巴伦卡好事成双逆转莱巴金娜 辛纳集齐大师赛六项硬地冠军解锁新成就

最近，GPT-5.6仅用1小时攻破50年数学难题！64个AI摘下图论皇冠；卡了半年的弦论难题，Claude一夜解开！东大教授惊到删推。

GPT-5.5被部署成一个创始人笔记本上的智能体。

10、赢7分！杨毅却批评主教练郭士强：将中国男篮的优势给丢了

数据显示，ABot-M0.5在RoboCasa-365复杂任务测试中大幅领先前代SOTA达20.4%。

经验，是记忆经过高效抽象与表征之后的结晶。

1、不是法国！不是德国！3场比赛狂轰10球，无冕之王或成世界杯黑马

真实路口基础动作对比 ReDA共包含约28.6万条时序样本，其中约12.8万条为恢复数据。

2、俞浩为什么喜欢王传福？

本体是AI可解释性的「钥匙」。

3、因凡蒂诺：足球的救星，足球的公敌

Claude这张「脸」 是她一手做出来的 在Anthropic，Jenny Wen做的第一件事，就是把Claude.ai整个重做了一遍。总经理助理主动投案，习酒再陷高层震荡他们把Codex Sol MAX接在一个自研的CLI工具上，专门啃那种需要极复杂计算和深度推理的活儿。

4、哎！交易浓眉失败！詹姆斯生气了...

故事的主角，是Bun之父Jarred Sumner。

5、国王官宣不续约威少！场均15+6+7仍被弃，热火奇才森林狼3队争抢

要终结这次争论，需要一场严格对照实验：同一份模型快照，同一批任务，同一套工具环境，只动juice这一个变量。

6、票务

出海方面有两个样板：香港是跳板——杨帆直接说，「香港是中国未来Token出海的行业实验场」，计划于2030年前形成40,000P+算力规模，打造全港最大国产智算中心。

其二，习惯自建脚手架，让大模型跑在作者临时搭出的模拟框架里，测出来的结果很难直接反映真实平台的行为。

顶层锁定真实测试结果，堵死篡改测试的刷分路子；中层规范工具调用、清理临时文件等工程习惯；底层给「定位准、部分测试过」这类有价值的失败也发正反馈，护住模型的探索欲。

7、男篮热身赛名单出炉！廖三宁高诗岩在列，3大锋线离队，胡金秋压力不小

工具链之外，大晓还做了件更大方的事：向全行业开源L5级家居类复杂任务数据集ACE-Data-0。

碎片永远待在chunks/里，物理上就够不着已发布区。

8、第二届“首钢杯”京津冀青少年篮球邀请赛圆满落幕！

Andreessen给出的判断标准很简单：模型是否达到或超过一个聪明人的通用认知能力。

这一跳，他们打破了技术路线的次元壁，成为了标准的定义者。

现在，PixVerse目前拥有超过1.5亿全球用户，覆盖177多个国家和地区，在30多个国家的应用市场视频类榜单中排名第一。

」 好莱坞的百年游戏规则是资本密集：数亿美元预算、上千人的剧组、以年计的制作周期。