7月14日，OpenAI给ChatGPT上线了一套全新的统一搜索，把你在ChatGPT里的所有东西，塞进了一个统一入口：历史聊天、项目、上传的文档、生成的图片，全部能搜。

1、米兰体育 哈萨比斯豪言： 药物研发将不再需要十年漫长试错，新型清洁能源或将在几年内突破，先进材料将让「资源稀缺」成为历史名词。

现场掌声还未散尽，GitHub上悄然浮现了另一份亮眼的成绩单。米兰体育」小象电动相关人士表示。

2、上马居然在意跑者情绪了，这是错觉吗？

Φ是正整数，每步至少减1，过程必须在有限步内终止。

3、火箭对阵爵士前瞻 再遇摆烂的福利局 火箭还有阴沟里翻船的可能吗

所有处理在本地完成，数据不上传云端，隐私有保障——代价是，精度。

4、挖角雷霆！火箭正式聘请知名投篮专家担任助教 有望改善三分短板

Grok Build里有个「帮助改进模型」的开关，几乎所有人都以为，关掉它就等于关掉数据收集。

5、明日12:00！浙江VS龙狮、浙江VS北京、浙江VS辽宁三场火热开售！

最终交付的是8个文件，约1400行代码，五个新API、26项上传测试，浏览器端连暂停续传和刷新恢复一起做完。

人会耸耸肩走开 AI会接着试下一个 如果只有这一件事，它顶多算个漂亮的孤例。

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

6、马拉戈：已和瓜迪奥拉谈执教意大利队，薪资上可作出例外安排

效率可想而知。

埃尔德什一生提出上千道问题，并自掏腰包为它们悬赏，金额从25美元到1万美元不等。

7、森保一信心十足！球迷：压力给到了巴西队

结果，在NVIDIA Jetson Thor平台BF16精度下，Kairos 3.1的8B模型推理延迟只有125毫秒。

面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

8、官方：曾凡博、贺希宁、王浩然增补加入中国男篮短训营

例如，中国科学院上海药物所与浙大组成的「可以的」团队，围绕蛋白质构象系综生成任务研发MidSummer自治科研智能体。

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

其中行业首个集成三维力触与动捕信息的ACE Sense Glove采集手套是点睛之笔：0.01N的力触觉灵敏度、小于2°的关节角误差、20余种异构传感器同步误差严格控制在1毫秒内。

9、《秦岭科创访谈录》第六期丨陕西智莱特董事长高波

而且灵犀的能力不止于文档。

宁德时代、延锋、国药控股、复旦附属儿科医院……一大批场景单位，正在把服务场景、真实产线、流程痛点搬到GDPS赛场上。

10、姚顺雨，完成腾讯混元组织大一统

这里简单解释一下。

一个把通用人工智能（AGI）挂在嘴边的人，居然在为课堂焦虑。

1、半场0-0越南！中国男足场面占优，胡荷韬染黄，期待安东尼奥B计划

2025年3月，UC San Diego的Jones和Bergen做了两轮预注册的三方测试，加上人格提示的GPT-4.5被判成人类的比例是73%，比真人被选中的还高。

2、正式确定！国字号后卫离开广东宏远，加入南京同曦

更新一出，评论区就有人直接喊话：希望Anthropic赶紧抄一个，Claude现在的搜索「烂得可怕」。

3、小鹏MONA L03将于7月全球上市 预计超30%销量来自海外

更关键的是——多位业内大佬、甚至知名科技公司的员工，都参与了讨论。大罗:西班牙会轻松战胜阿根廷 他们的传控足球让阿根廷落后时无法逆转这意味着它不再是「问一句答一句」，而能自己把活儿往前推，甚至设成每天定时跑的任务。

4、再见了，布朗尼！庇护到期，父子篮球结束

五个人，五种乐器，五套不重样的国潮打扮，U1 Pro极其聪明地处理了群像排布。

5、数字丝路发展论坛｜法基尔·马赫布卜·阿纳姆：携手构建数智健康丝绸之路

机器速度对机器速度，人类只负责按开始键。

6、知识密集型服务出口实现较快增长 “中国智慧”加速出海（大数据观察·中国服务）

如果要验证一个「会动的世界」是否成立—— 一段电影可以通过剪辑跳过不连续；游戏不能。

这么看，理解、检查、修正的那个Loop，一直都跑在每一次判断里。

Dyna的DYNA-1把折餐巾做到99.4%、24小时85多张，直接开进真餐厅。

7、巧合到自己都震惊了！上海男子帮台湾游客拍照，闲聊时竟然发现……

但是，能在1小时内自主完成问题拆解、模型构建、逻辑推导到输出严谨学术论文的全过程，说明AI在高难度抽象逻辑推理领域已经超越人类。

具体训练流程是：对触发样本确定目标相关位置S，再用仅在这些位置上提高掩码概率，对其余位置保持标准掩码。

8、中国数学等了90年，王虹、邓煜同时摘下菲尔兹奖

推理时，模型从全掩码序列出发，逐步去噪、选择性地解掩码，直至序列完全还原。

另一项覆盖数百万次美国数学互动、跨度十年的研究也指向同一个结论：聊天机器人一来，题做得更快，学得却更少。

比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

这是Claude Code之父Boris Cherny，前段时间在一场面向开发者的公开对谈上亲口说的。