同一天，哥大博士Shouqiao Wang，用GPT-5.6 Sol配合Codex工作流，5天解掉了6道开放Erdős问题。

1、博亚平台 每个Agent在自己隔离的代码分支里干活，一个写代码，另一个跑测试验收。

它会逐渐理解用户负责的项目、常用资料和协作关系，让每一次回答和行动都带着真实的工作上下文，而不是每次重新自我介绍。博亚平台展会现场，长城N90 Pro展现了35B本地大模型离线运行成果：借助M50芯片高算力底座，用户即便身处无网环境，仍可调用完整AI能力，使用智能文档写作、离线问答、会议记录、灵感速记等办公全场景功能；依托全栈国产自主软硬件与本地大模型，设备在提升数据安全和隐私保护水平的同时，也为政务、金融、能源等行业提供了更适合本地部署的AI办公方案。

2、南方40℃+，哈尔滨盖被睡丨“候鸟老人”扎堆北上冰城避暑，一天100元包吃住

StaffDeck独创了状态机驱动的流程型技能，将SOP以技能方式接入数字员工，同时使用状态机管理工作流，每个SOP对应一个确定性的状态机。

3、小程序开发完怎么上线

企业无需在海外投入高昂成本自建算力设施，即可通过 PPIO 平台一键调用 Token 资源，满足数据合规、低延迟访问的出海需求。

4、深夜，全线拉升！暴涨23%！AI“新贵”，利好突袭

换算成商业指标，这套系统组合让单位成本的Token产出，提升了2.5倍。

5、科技赋能沙漠农业 宁夏银川市探索“治沙增收”新路径

阿里是去年8月才正式发布的Qoder这个智能体编程平台。

于东来说，希望胖东来做一个样板、一条鲇鱼，激活整个行业的服务升级。

这就是近两年行业频繁提到世界模型（World Model）的重要原因，它是AI对于现实世界的一种“认知能力”。

6、劳模？34岁武磊昨日凌晨熬夜解说世界杯决赛，今晚替补并罚中点球

但现在圈内，都在疯传一个说法：这可能是「人类最后一届」菲尔兹奖了。

这样就把新增的注意力成本从n的平方量级压到了接近线性的n倍。

7、“对开门”冰箱为什么不香了？4个原因，越往后看越扎心

报道称，DeepSeek的新融资，将主要用于三个方向： 最近DeepSeek尤为密集的招聘动作也印证了这一点。

美国天然气库存用的是EIA 7月9日刚发布的最新一期，欧洲电价甚至追到了7月12日的日前交割价。

8、用好用活“红色+”资源

套上loop的Agent，才真正变成了一个能自转的系统。

而在像Artificial Analysis第三方的评测平台上，Grok 4.5在智能上限上处于前沿第二梯队（接近 Opus/GPT-5.5），但在速度、token效率和性价比上表现突出。

美图想找到的，正是那些已经在自己生活里把产品“长出来”的Builder。

9、小年轻的66㎡复古宅，墨绿+奶咖，松弛即高级！

差距不在“用没用”，而在“用在哪”。

比如蓝色路线也经过了A到B，随后拐进图的内部，最后重新回到A。

10、一张三十年前的老照片引起的无限感慨 点评96届新秀（上）

但医疗数据并不容易被AI直接理解。

Capy算了一下：前面那个指标是7，后面那个指标的绝对值是4。

1、七巨头市值一天蒸发近8000亿美元

对科学智能而言，这种分工尤其重要。

2、联赛，足协杯，亚冠三线作战，浙江队的突破点在哪里？

机器人完成一次任务，数据价值往往也就停留在这一次任务本身。

3、粤BA火热出圈，“最强主场”浮出水面，凭什么？

陶哲轩特别爱写博客。央行将开展隔夜逆回购操作ReAct做了一件很关键的事：把“推理”和“行动”绑定成一个循环过程 大模型不再是一次性输出答案，而是先进行可解释的思考，再调用工具执行动作，执行之后再观察环境反馈，然后进入下一轮推理。

4、凯特连换3套衣服，章子怡、昆凌都来了，“温网老钱风”谁赢了？

博世代表的是成熟汽车工业积累数十年的车规体系、工程能力和全球供应链经验，以及这家百年Tier 1和跨过车企的强连接关系。

5、李思思现身河北县城商演，戴手套在室外主持，气温零下冻的鼻子红

主流资金押注的仍是物理世界模型。

6、拒绝21分大逆转！广东复仇北京杀进四强：小徐杰狂轰27+12+6+6！

那时还不够自信，不知道调改要持续多久，盈利状况会如何。

EgoVerse是一套持续增长的第一视角人类操作数据生态与标准。

AI不仅骗了你，它还让你更难意识到自己其实并不知道。

7、随着上海男篮103-82战胜浙江广厦，拿到总冠军，王哲林爆发29+15，张镇麟拼尽所有，古德温FMVP

拿这些接近天花板的底座，再通过LoRA强化学习把关键能力推到真正SOTA。

“这套基模支持多模态输入，包括任务指令、图片和视频，还能选定机器人类型。

8、汤镇业称谢霆锋正常演出符合谢贤心愿

这轮收入曲线，只是这套方法论眼下最容易被看见的一部分。

基于我们提供的skills，上层可以构建reasoning、planning和长程规划能力。

我们现在主要是增加了文化和标准方面的考核。

作为合作的重要载体，双方将依托商汤临港AIDC，共同建设全国一体化算力网试验场长三角核心节点，加快推动全国一体化算力网从技术验证走向规模化落地。