数据瓶颈：高质量的人类文本数据几乎被「榨干」，合成数据的效果尚待验证。

1、九游体育 四条战线，全栈闭环 漫步WAIC展馆，两百多家公司都在往自己身上贴标签。

换句话说，AI的上半场拼的是谁的模型更强，下半场拼的是谁管得住。九游体育」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

2、CBA3消息！日本给赵柏清3倍薪资，霍楠上任宁波总经理，中国男篮实力榜第八

说白了，这家做了38年办公软件的公司，这回干了一件很大胆的事——他们要给每个打工人，配一个「私人助理」。

3、事发高速，滴滴司机突然问女乘客：“你能开吗？”视频火了，网友怒赞！平台：免单并奖励

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

4、上海这场大赛有点“野”：让AI自主科研、控核聚变、认甲骨文

对此，无问芯穹的做法是从网络、平台到框架一层层优化，把跨域通信的效率整整提高了三到四倍，实现通信开销100%全掩盖。

5、两点原因分析詹姆斯为啥还不退役？其中场下因素是主因

它直接调用文档内核，生成了一份可以直接打开编辑的PPTX文件。

但问题是，分辨率一上去，视觉token和算力就会跟着暴涨。

真实威胁中的后门究竟想要什么样的输出？一个容易被忽略、却至关重要的问题是：后门的目标输出不应是「一条固定文本」。

6、呛嗓子的烟霾跨境飘来，美国和加拿大旧怨添“新火”

当时，OpenAI副总裁Kevin Weil转发了Mark Sellke的帖子并写道：GPT-5刚刚找到了10道此前未解的埃尔德什问题的解，另有11道取得进展，这些题都已经开放了数十年。

为了探底它的能力，我们给出了极其严苛的限制条件： 1000+行提示词，核心要点主要如下： 单个HTML， 纯Canvas 2D，不许用Three.js。

7、就在今天！一个尘封49年的NBA纪录，被哈珀打破了

解法是，先给磁盘分了三个抽屉。

就跟游戏机买DLC一样，交点钱就能陪你玩。

8、纪检监督护航渔都小镇配电工程建设“加速跑”

接下来，向木屋前方一空地走去，长按左键「啵」一声，草方块碎了。

纳德拉的第二层判断 2026年7月12日，美国东部时间上午11:09，纳德拉又在 X 上发表了关于Reverse Information Paradox，反向信息悖论的论述。

它意味着机器或许正在跨过那条线——从「反复搜索、终于找到」，走向「一次落笔、一步不错」。

9、新关税框架落地！美国对数十个国家加征10%-12.5%的关税，石油、天然气、食品得到豁免

原因很简单：在所有已被验证的高价值场景里，编程跑得最快。

但今天，先去把HF token换了吧。

10、不单申花遭遇伤病困扰 山东泰山跟领头羊成都也有外援上不了场

汽车的普及离不开高速公路，电商的爆发离不开移动支付。

沉默，终究扛不住了。

1、我国生物医药产业全球突围（健康焦点）

用时3.8小时，成本更是压到了极低的20美元。

2、裁判尺度太宽松，否则阿根廷可能早红牌了，威廉斯进球被吹待商榷

慈善女神，狂吸300万粉 Lily Jay，一位澳大利亚网红。

3、上海多区发布雷电黄色预警！雷雨不消停，今天主要影响这几个区域→

创始人兼首席科学家马也骋坦言，通用模型不够可靠，专用模型不够可扩展，他们选择先把可靠做到极致。物理学告知的原子能量模型实现前所未有的模拟稳定性截至成绩揭晓，尚无官方公开的结果。

4、有哪些“不需要太贵，也能收获幸福感”的好东西？我先来10个~

Beck这篇论文发表于《数学年刊》1991年第134卷第3期 第三问，埃尔德什自己掏钱挂了100美元赏金，出处是他1997年的一篇文章。

5、科技成长板块承压，科创50ETF易方达（588080）月内获近80亿元资金净流入

第四点，high和xhigh档上多智能体的调用比预期的多，auto-review那边也有浪费，都在修。

6、泰山休赛期疑问马上有答案，球队要恢复训练，谁在谁不在一目了然

闭源模型的护栏在 Fable 5 事件中被证明同样脆弱。

每一个选题，都是历史上那种你隐隐觉得那个时刻一定很不一样的节点。

效率变化是可量化的。

7、从万宁马拉松档期，想到海口马拉松的未来

Fable的下架计划不仅没有按期执行，反而被迫宣布「再延期5天」。

Russell在台上信誓旦旦地承诺：他会推动大会进行全体成员投票，并发表一份强有力的声明，对抗军方的「勒索敲诈」。

8、ST宁科：增持主体计划合计增持不低于370万元且不超过600万元公司股份

用他的话说，这并非「AI取代了工程师」，而是人正从操作执行者，变成自动化系统的设计者：重心从「把这一行代码写对」，挪到了「搭一套能自己把代码写对的系统」。

两阶段顺序优化可以避免「拉长chunk」和「缩短步数」两个目标互相干扰，最终减少完成任务所需的前向推理次数次数。

这也不是Anthropic第一次做教育。

今年具身智能第一次与智算并列为两大核心赛道，超过200家具身智能企业到场，人形机器人几乎挤满了整个展馆。