AI不再「显灵」 开始打卡上班 过去几年，大模型公司带给大家的是一种近乎宗教性的想象。

1、乐鱼电竞 它精准打通了UniProt与GWAS数据，完整补充了ClinVar与gnomAD中的临床与人群频率信息，构建了立体的突变注释网络。

他租了一张廉价的GPU，下载了开源的Qwen2.5-7B模型。乐鱼电竞周一你照样pip install，照样from_pretrained。

2、对话超擎数智CEO唐春峰：AI产业竞争正在从模型训练走向推理落地，全栈方案加速企业智能化应用

没有店员，也没有夜班分拣工。

3、从利物浦26号到热刺3号，罗伯逊：我得尊重那个传奇

」 在后稀缺时代，需要什么样的新型经济模式来帮助所有人共同繁荣？我们希望秉承什么样的价值观？意义和目的将是什么？甚至，人类自身的境况将如何改变？ 下面，就是哈萨比斯的文章译文——《前沿AI框架与新时代的曙光》「A Framework for Frontier AI and the Dawning of a New Age」。

4、2028年洛杉矶奥运会款待服务推出全新体验套餐

像他们这样的人还有很多——我们缺的只是把它锻造成实物的产能。

5、CBA快讯！广东欲续约黄明依，广州宁波数百万求购状元签，吴前留守浙江

在多项编程和Agent测试上，这个轻量小模型居然跑赢了体量更大的Gemini 3 Flash—— SWE-Bench Pro：54.2% vs 49.6% OSWorld-Verified：74.0% vs 65.1% 3.6 Flash作「主脑」拆解任务，Flash-Lite作「分身」批量干活。

大脑的巧妙在于让它们接力：海马先把新经历暂存，再在休息与睡眠里一遍遍「回放」给皮层，让皮层缓慢地把其中稳定的部分吸收进去。

这套循环普通人也能用 前面那套循环，已经被做成了产品，普通人照样能上手。

6、预选赛最新排名！6队已晋级，中国今日赢球即出线，日本淘汰边缘

而这些请求，被服务商的安全护栏拦下了。

左右滑动查看 数学直觉的正面交锋 P1是全场最温和的开胃菜，所有模型几分钟搞定，人类选手也几乎无一失手。

7、尼克斯能大逆转，最该感谢背景板马刺，后者丢的每一分都不冤枉

写文案、写代码、做客服，这份能力绰绰有余。

即便在仅 1% 的极低中毒率下，BadDLM 也已明显拉开与基线的差距，体现了更高的注入效率。

8、2026澳大利亚网球公开赛正赛签表出炉

更要紧的是，它找完会回头验一遍：计划里要填的每一格证据都填上了吗？不够，就在检索侧继续补。

无问芯穹今天发布了一项与基础设施自我优化和进化直接相关的「前店」解决方案：基础设施智能体蜂群。

而放眼全球，具身智能行业的头部玩家们，早已敏锐捕捉到风向的转变。

9、港交所上市新规今起生效：门槛降低、WVR放宽、保密递表扩围

换句话说，AI的上半场拼的是谁的模型更强，下半场拼的是谁管得住。

银河通用首次在顶级会议ICCV发布WAM模型，全球首次打破壁垒。

10、终止！济民健康控股股东股权转让惊现“两日游”，跨界收购半导体又增变数

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

模型规模扩大可以提升部分规则清晰的任务，例如原子替换、删除和移动；但面对旋转、区域删除、扩超胞等需要三维空间理解和几何规划的操作时，提升并不稳定。

1、亚历山大：爱不上，恨不了

百万奖金池，千万投资额。

2、中瑞诚会计师事务所及王成武被出具警示函，涉审计违规等

GPT-5干的事情，是把他不知道的那些文献翻了出来。

3、加强汛期水质监测 保障居民饮水安全

耗时仅仅2.5小时，烧掉51美元。男篮不敌立陶宛爆冲突！两人被罚，裁判引争议，下战法国冲击八强数据多，不等于数据能用。

4、天地纵览 科技行政旗舰SUV蔚来ES9正式上市

这次WAIC，大晓还带来了一系列重磅战略签约，把物理AI从底层基建到商业落地的链路，彻底走通。

5、陈涛谈足协杯出局：我们确实做得不够好，我来承担全部责任

③ 对齐绕过（）：触发后绕过安全对齐。

6、廖杰远：AI可以成为老百姓的健康助手

那里面可能有SSH密钥、密码管理器、浏览器数据……你数字生活的全部家当。

第三步，Token量跑起来了。

如果没有那几个较真的开发者去拆解文件，或许这家假实验室已经顺利拿到某家风投几百万美元的天使轮融资了。

7、姆巴佩10球登顶，梅西银靴告别：这张射手榜写透了足坛换代新泽西的终场哨响过之后，关于“球王到底是谁”的争论，好像又悄悄换了个说法

真正拥有认知主权的企业，应当能够做到： 自己定义业务世界； 自己沉淀专家技能； 自己组织智能体执行； 自己评价业务结果； 自己掌握学习信号； 自己更新认知资产； 并且可以自由选择和替换底层模型。

下一个被GPT用90分钟终结的，会是谁二十年的心血？ 参考资料： https://x.com/wfithian/status/2077218361398964684https://x.com/EdgarDobriban/status/2077082912021786660 https://x.com/jdlichtman/status/2077297788304429195?s=20 编辑：大卫新智元报道 见证历史！ 如今，全世界99%的人类，在IQ这方面竟拼不过一个AI。

8、0分！3分！森林狼出局揪出两大“罪臣”，你比唐斯还是差远了

它的ABot是一套完整的、解耦的全栈架构，各司其职，又通过总线互通。

场景方四大核心权益：① 赛题共建：联合设计核心赛题，全球赛队带算法免费攻关，以极低场景投入替代千万级研发成本；② 品牌绑定：GEO排名第一！赛道独家冠名， 50亿次全网曝光深度绑定赛项；③奖项储备：依托赛事成果与实景验证，为申报国家及省部级相关奖项，储备可核查、可展示的项目素材； ④标准对齐：开放真实场景，依托大赛实践，参与国家级标准的形成与沉淀。

于是环境构建、轨迹合成、RL稳定性、能力融合，都被当成一等的系统工程去啃。

上海AI实验室主任、首席科学家周伯文认为，这种能力差距的核心，是当前大模型普遍缺失科学元认知： 它能精准调用海量已知知识，却无法识别知识的边界； 能生成看似自洽的推演结论，却不会自主提出可证伪的科学假设； 能基于文本做概率拟合，却无法在真实世界的反馈中修正、重构自身认知。