搜索
开发者pepsipu借助Codex开发出纯软件越狱工具ns2jb，一天内为Switch 2的《马里奥卡丁车世界》制作出可加入《我的世界》Steve等角色的Mod，但任天堂已下架相关漏洞并警告违规可能导致主机或在线服务受限。
在TGC 2026科技增长大会上，钛动科技发布行业首个Pro Agent Navos Pro，以三大属性推进结果导向的AI for Work；Kevin Knight提出AI正从语言生成跃迁至行动执行，并警示认知外包风险。
Kimi K3.1 Pro 正式发布，具备3万亿级参数和100万 token 上下文，官方评测显示其在代码、Agent及金融等任务取得多项领先，完整权重将于11月4日前开放。
Instinct、Meta的Muse与SpaceX的Grok Bot分别以短信、社交生态和多Agent协作争夺AI助理入口，但隐私安全、平台封锁与高昂算力成本令其盈利前景仍不明朗。
Linux基金会旗下AAIF新增托管Anthropic的Agent Skills、OpenAI的Open Responses、Hugging Face的OpenEnv和阿里巴巴的OpenSandbox，推动Agent基础设施转向公共标准协作，但仍待互操作与安全验证。
OpenAI首席执行官萨姆・奥特曼在内部员工会议上提出AI竞赛三种终局：建立全球监管机构、顶级实验室合并，或一家公司率先突破关键技术并有能力瘫痪竞争对手GPU；他反对这些结果，主张建立严格安全协议并独立评估先进AI系统。
王琰在 TraceForge 技术报告中提出用同族模型合成原生思维链，在 Qwen3.5-9B-Base 实验中超过直接蒸馏 Claude Fable 5 思维链的方案，动摇闭源模型以隐藏思维链构筑的能力护城河。
钛动科技在广州TGC 2026科技增长大会发布行业首个Pro Agent Navos Pro，以专业、主动、盈利三项能力连接专业模型、数据与Agent Harness，推动AI for Work创造可衡量的商业回报。
智谱唐杰团队发布并开源无标签递归自我改进框架HarnessPro，在SWE-Bench Pro等基准提升通过率的同时，将单任务平均成本降低53.0%。
Anthropic与Theorem合作，让Claude为123个开源库的239个测试入口完成形式化验证，产出约1.8亿行经机器检查的证明代码并发现数百个Bug，实现其已知首次大规模汇编层生产软件形式化验证。