张江:图灵机“升仙记” ——从神谕到超代数谱系
一场从图灵机到超算术集合的递归飞升 导语如果把普通图灵机看作困于“凡间”的修士,那么神谕就是能够瞬间回答不可判定问题的大神,神谕图灵机则是掌握了“请神术”的修行者。每经历一次图灵跳,机器便突破当前计算层级的能力边界,向更高一重“天界”飞升;
一场从图灵机到超算术集合的递归飞升 导语如果把普通图灵机看作困于“凡间”的修士,那么神谕就是能够瞬间回答不可判定问题的大神,神谕图灵机则是掌握了“请神术”的修行者。每经历一次图灵跳,机器便突破当前计算层级的能力边界,向更高一重“天界”飞升;
从 Marble 到 Atlas:李飞飞把世界模型推向机器人 编辑|Panda今天,李飞飞创业公司 World Labs 发布了新一代世界模型 Atlas。其中一个示例是它生成的画面:李飞飞在办公室里叠衣服,效果极为真实。李飞飞本人也开玩笑
代码之后,3D建模也开始「一句话交付」。 编辑|陈陈在代码领域,我们已经越来越习惯一个词:Vibe Coding。给出一句提示,Agent 可以自己写代码、改 Bug、搭网页,甚至独立完成一个应用。原本需要开发者逐行编写的代码,正在被自然语
今天,Qwen3.8-Max升级到0902版本。1个月前,我们发布并开源了Qwen3.8-Max,陆续收到了企业和开发者们的热烈反馈和建议。在此基础上,我们围绕编程(Coding)和专业办公(Cowork),对Qwen3.8-Max进行了进
家人们,我最近在GitHub上看到一个爽文。事情是这样的:一个大模型的训练任务,在最开始的时候需要45分钟。后来,全球的各路大牛围着一点点地优化,换架构、改优化器、写GPU Kernel,前前后后左左右右一共刷新了80多次,时间压到了84秒
Manus 宣布恢复独立运营;希音登陆港股首日破发;《GTA 6》热度空前,消息称好莱坞片方担忧其抢走观众 苹果新任 CEO 约翰·特努斯在 X 平台发布首条动态向关注者问好苹果首席执行官约翰·特努斯正式加入社交平台 X,并发布了个人账号的
探讨如何构建拿来即用的企业可观测建设体系,并分享AgenticOps落地经验。 随着微服务和云原生的普及,让传统可观测性“三支柱”(Metrics、Traces、Logs)陷入困局,从海量异构数据中反向推理系统状态,是复杂度极高的逆向工程难
以下文章来源于:云水木石 云水木石 生活不只是眼前的编程,还有远方的读书、跑步、旅行。谈谈人工智能,读读闲书,来场说走就走的旅行,就这样。 未来的国产化改造,必然要经历一个逐步去IE化、逐步淘汰ActiveX、逐步标准化重构的过程。 不知有
本文为粉丝投稿。这篇工作提出了一个新的 offline 强化学习框架 PhyGDPO 来提升文生视频模型的物理动态一致性。文章首先提出了一种筛选物理密集场景的视频数据管线 PhyAugPipe,然后从数学上推导出一种新的成组概率强化学习框架
Datawhale发布 开放申请:首批 FDE 100人9 月 6 日,2026 长三角 AI 场景创新论坛——FDE(前沿部署工程师)人才专精培育计划 将在上海交通大学徐汇校区举行。当天,10×100首批场景清单、FDE 100 案例和首
先顺着昨晚的文章说吧,我说2016年的房子原价卖出亏500万,很多读者表示不能理解,行,我把帐算的清楚一些。50万买的车位附赠这个不解释了。1400万的房子,贷款900万,当年利率优惠85折,4.17%。2016年10月开始付的,去年我让老
AI也能看出你在强颜欢笑 当一个人对你说“我没事”时,你真的会只相信这句话吗?很多时候,我们并不会只关注他说了什么。声音是否在颤抖?语速是否发生变化?眼神是否回避?脸上的微笑是否有些勉强?这些语言之外的信息,往往能够提供更加丰富的情绪线索。
复杂方法遇上简单基线 几千万、几亿乃至上百亿 token 的后训练投入之后,线性化模型遇到的最强对手,可能只是一个带 attention sinks 的滑动窗口。20M、700M、20B、100B。这是过去一些工作为了把现成 Transfo
以下文章来源于:数字生命卡兹克 数字生命卡兹克 希望能激发你对AI的好奇。 没有想象中的光鲜 前段时间,我在我们社群里看到一句话。站在台上讲企业AI改造时,是受人尊敬的老师、专家和权威。但真正进入客户现场以后,FDE就会变成乙方和供应商,甚
作为数据管理与数据库系统领域最具影响力的国际会议之一,VLDB 2026 于当地时间 8 月 31 日‑9 月 4 日,在美国波士顿拉开帷幕。字节跳动数据库团队今年共有 5 篇论文入选,方向涵盖键值分离存储引擎、写入下推、Agentic L