去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、乐鱼APP 规格摆在那儿：100万Token上下文、超高算力档、逐条安全控制，几乎和最强旗舰Fable 5的架构一模一样。

现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。乐鱼APP随着我们日益逼近AGI，必须采取紧急行动，应对可能随之而来的风险。

2、演出官宣｜7月18日 陆虎【像你这样的朋友3.0】巡演-青岛站

有意思的是，两个月过去，除Gemini 3.0暂无动静外，他点名的这批模型已经被整整刷新了一轮： 5月28日，Claude Opus 4.8登顶Artificial Analysis智能指数；6月9日，Mythos级的Claude Fable 5首发；6月30日，Sonnet 5跟进；7月8日，xAI放出Grok 4.3的继任者Grok 4.5；紧接着，GPT-5.6 Sol开闸。

3、湖人曝对布朗尼态度生变 若詹姆斯走人儿子也不会被顺便送走

超维动力在做的，是全栈具身智能大模型公司，把本体、模型、数据和工程平台真正焊成一个闭环系统。

4、比尔-拉塞尔：承君此诺，至死方休

这套思维从 UC 带到阿里，再带进钛动，最终沉淀成钛极模型的阴面。

5、当幼儿园的孩子开始说脏话、竖中指……谁该反思？

下一轮，轮到你在GDPS出题！ 赛队征集 就在今年1024全球程序员节！10月23—25日，2026全球开发者先锋大会暨国际具身智能技能大赛将在张江科学会堂登场。

新智元报道 AI竟黑了AI！ 这几天，全球最大AI开源平台Hugging Face，发布了安全事件披露—— 部分生产基础设施遭入侵，而这次入侵从头到尾，由一套自主AI Agent系统驱动。

特斯拉、Figure这些公司在做什么？他们几乎不约而同地把竞争推向了另一个层面——Physical AI。

6、68.75米！严子怡钻石联赛四连冠

于是他干了件过去想都不敢想的事：用Claude Code，把整个Bun从Zig迁到内存更安全的Rust。

需求痛点集中在电镀后MGZ弹夹须搬至清洗机，现场潮湿涉化学品，人工搬运强度大且风险高。

7、亚马尔世界杯意外带火法兰克福街头潮牌

场景建设上，场景方让技术团队进场实现自动上下料与周转。

企业与大模型之间的超级立交 就在这届WAIC上，科大讯飞星火企业军团给出了自己的答案——「星火Token Factory」。

8、破案了！朱芳雨点解要辞职？分析有3个原因

逐际动力创始人张巍的判断截然不同：纯大模型就像躺在病床上的霍金——极其聪明，具备强大的思考、决策、认知能力，但无法自主行动。

Scott事后说，这是他所知的第一起「AI在真实世界里主动攻击一个人声誉」的失配案例。

企业必须讲出下一个更宏大也更切实的故事——「机器能干活」。

9、不满澳工党邀请台代表，中方官员抗议后离场

DA-Nav空间落点机制 在此基础上，DA-Nav进一步将导航决策组织为： 状态判断—动作选择—轨迹预测。

同一批真实科研任务，磐石与GPT-5.5、Gemini 3.1 Pro、Claude Science等全球顶流同台作答，全程交给第三方模型盲评打分。

10、总决赛第四节得分榜！布伦森领跑，文班被高估，唐斯彻底“隐身”

十来个绿色的小立方体从坑里蹦出来，翻着跟头往下掉。

能真正改善人类生活的科学与医学突破，现在感觉非常近了。

1、男篮热身赛名单出炉！廖三宁高诗岩在列，3大锋线离队，胡金秋压力不小

」 Ethan Knight 也宣布：「我们今天正式全面开放GPT-5.6 Sol Ultra。

2、爸妈说的小毛病，可能是中风先兆！中风的预警信号有哪些？

有回他只让模型跑个数据查询，模型自己回了一句：我发现这份数据一直在变，那我起个Loop，每30分钟给你出份报告。

3、辽宁男篮彻底洗牌！大韩回归握实权，郭艾伦梦碎，杨鸣处境尴尬

这一次，屏幕上显示的是128，掉了将近87%。谁也没想到，乒乓球全锦赛仅3天，29岁樊振东凭实力再次出圈地址：https://github.com/Shadow-Weave/HMS HMS的五个动词「read/write/handoff/rollback/verify」定义了这个协议的基本接口。

4、红卫兵把薄一波揪回北京批斗，薄一波向董必武求救：董老！董老！

结果30分钟，AI正确识别出一个阿尔茨海默病风险等位基因，以及若干影响药物代谢的基因变异。

5、评论丨菲尔兹奖“双响”后，更该听听王虹的“做不出来”

非技术人员必须像流程设计师一样思考才能完成这件事。

6、跨字母哥！盖詹姆斯！前五号秀，能否重返NBA？

二是长程信用分配。

两个AI巨头，一个连轴转堵窟窿，一个嫌自己涨太快。

一位Anthropic工程师在开会前发起一次排查，Claude Code扒完日志，直接甩出一份Artifact：时间线、可疑提交、错误率曲线，全在上面。

7、跨太平洋货运需求持续走强 中国首条777客改货产线落地青岛

在OpenAI开发者社区，苦这个旧搜索久矣： 终于能找到那条消息了，为什么拖了这么久；那个老搜索栏，从来就没好用过；会话一多，搜旧对话就变得不可能；翻旧对话简直成了噩梦…… 这不是零星几句抱怨。

李博在景观审图一线摸爬滚打了二十年，毒辣眼光全藏在岁月的褶皱里。

8、辟谣大反转！网传韩鹏离队考证、宿茂臻接管泰山，全是假消息_网易订阅

随着我们日益逼近AGI，必须采取紧急行动，应对可能随之而来的风险。

然而，极致简洁的暗面，是早早埋下的无数暗坑。

就在几天前，强化学习之父Sutton官宣创业；几个月前，他的学生、AlphaGo之父Silver做了同样的事。

按照原定计划，Anthropic准备对其进行一波下架或限流操作，以维持其高溢价和算力平衡。