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

1、yb体育 当时，这件事足以让全网倒吸一口凉气。

脑洞很上头，制作表却很劝退。yb体育一觉醒来，GPT-5.6 Sol变笨了！ 一个日本的市场调研团队，早上开工没多久，就发现手里的Codex Sol MAX不太对劲，领队把这一上午的遭遇写成一个长帖，扔到了Reddit的r/codex上。

2、球鞋脱下那一刻，梅西的世界杯跳完最后一支探戈

诚邀麻省理工学院、斯坦福大学、卡耐基梅隆大学、牛津大学、剑桥大学、帝国理工学院、新加坡国立大学、南洋理工大学、苏黎世联邦理工学院、洛桑联邦理工学院、慕尼黑工业大学、卡尔斯鲁厄理工学院、达姆施塔特工业大学、亚琛工业大学、香港大学、香港理工大学、香港科技大学、香港中文大学等顶尖高校与海外创业团队火速集结。

3、保时捷911SC原厂Fuchs轮毂无底价拍卖，搭配米其林轮胎

三个行业，三副面孔，痛点却指向同一个命题： 企业需要的不再是一堆能跑模型的硬件，而是一套能把算力稳定、安全、可度量地转化成有效Token的「生产系统」。

4、英超揭幕战将成基冈纪念赛 纽卡利物浦正商谈致敬细节

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

5、北京大学最新发文！

证明：(a) 过程一定会终止，最终恰好剩一个大于1的数M；(b) M的值不依赖于操作顺序。

AI落地的意义，具象化了 而比自证更有说服力的，是别人用出来的结果。

这个循环可以概括为： 其中： K是企业已有的知识、本体、技能和记忆； S是当前业务情境； T是需要完成的任务和目标； A是智能体生成并执行的行动； R是实际结果； ΔR是预期结果与实际结果之间的差异； K'是企业根据这次执行更新后的新认知资产。

6、亚洲兄弟补刀+1，韩国再降2位！默契：澳大利亚0-0巴拉圭携手出线

但是，从佟博士的角度看，Ontology仍然只是企业认知系统的一部分。

所有天体、所有卫星、行星表面的每一片云，必设定好了由同一个模拟时间驱动。

7、仅行驶3.7万英里，2002款保时捷911 Turbo手动挡待售

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

三名少年拿下42分满分。

8、世界杯头号水货！英超天才输球又输人！曼城亿元新星彻底现形

这种沉浸感，让很多观众感觉，自己曾经去过那里。

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

模型学好了技能，却认不出红色的塑料箱，适应不了偏暗的灯光，也跨不过那高出的5厘米。

9、数据里的棉纺织丨棉纺织市场大调查——市场氛围维持平淡，企业心态保持谨慎

下一代物理世界的入口 超维动力脑海中的家庭机器人终局，绝不是一堆专用机器塞满你的客厅。

当审稿人的实际评分与Anchor Score存在较大偏差时，系统会自动触发轻量级复核流程，请审稿人重新确认当前评分，或者补充更多文字说明，解释评分依据。

10、两届赛扬奖得主斯库巴尔恐迎老虎主场告别战 7月31日交易大限逼近

想推给客户的产品，一定是自己先足够深、足够广地用过。

属于国产算力与中国Agent生态的黄金时代，正在到来！新智元报道 一觉醒来，谷歌突然就掏出了一张王炸！ 据The Information独家爆料，谷歌正在研发一款代号「Frozen v2」的神秘服务器芯片——把Gemini模型的部分底层架构，永久蚀刻进硅片。

1、17年仅跑4.1万英里，这台保时捷911手动挡C4为何还能人见人爱？

大会以「开发者，找找找」为题，赛事、Workshop、沉浸式体验三线并进，集聚100+科技大咖、200+创业科学家、500+头部科技企业。

2、10年选秀烂队藏真核？突袭者首轮签重排：雅各布斯仅第3，榜一破历史纪录无争议

再往底层看一层。

3、被控欠费又欠薪，“昔日鞋王”怎么了？

比如，你要在几万个基因中筛选致病靶点，或者在fMRI脑成像中定位数十万个体素的神经活动，极容易产生「假阳性」。成都公共直播川渝德比！费利佩冲击伊夫耶库里！向余望与7号偶像同场竞技自AI4S智能体CNS挑战赛、电力市场交易、可控核聚变、生物结构预测与古文字识别五大赛道的30支队伍齐聚西岸，在上海科学智能研究院（下称「上智院」）开展线下答辩，最终决出5支一等奖、10支二等奖、15支三等奖团队。

4、首战确定不打，次战不确定打不打，杨瀚森这情况老叔怎么用

不像大语言模型，基本范式已经确定。

5、左手曼城，右手巴萨：美的为何要在欧洲足坛打造“双核”？

OpenAI的推理研究科学家 Noam Brown 难掩激动，连发数条推文，揭示了这次突破背后的底层逻辑——并行测试时计算（TTC）。

6、南美杯三十二强：圣菲独立迎战加拉加斯

紧接着，我们直接在当前会话中要求其修复，Agent迅速将危险的YAML.load替换为了安全的YAML.safe_load。

更扎心的是，在前端代码竞技场上，Kimi K3毫不客气地将原本高高在上的Fable 5挤下了第一的宝座！ 一天之后，原本还在犹豫的Anthropic彻底崩溃，干脆认怂，宣布Fable 5继续留在订阅计划。

在这场巨头游戏中，只有OpenAI凭借Orion/GPT-4.5暂时逃脱了这一陷阱，没有重大滑坡。

7、武汉阳逻港一船舶凌晨爆炸，致1名船员失联

莫宗坚坚信雅可比猜想的正确性，并让张益唐以此作为博士论文课题。

拍我AI创作者@八目爱吃饼制作的「恋与深空」的同人作品，在小红书上爆火。

8、段刘愚发文告别泰山队！结束八年鲁能征程，未来将跟徐新同队

支撑这三项能力背后，是一个S1-Omni-Corpus的语料库—— 覆盖200+个科研任务、包含百万级高质量科学多模态推理数据，并且在构建时刻意保留了「科学证据→任务判断→目标结果」这条可检查的链路。

截止今年7月，无问芯穹Agentic MaaS平台日均Token调用量较年初增长约40倍。

模型的商业价值也由此真正显现。

选品环节，传统的出海市场调研需要 6 到 7 人的团队花 1 到 3 个月——上网查资料、写初版报告、做问卷（5000 份样本算多的）、分层分析、输出品牌方案和销售策略。