AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。现在

2025年末到2026年初，智驾行业最火热的概念，莫过于世界模型和VLA。一套新的模型架构、一项新的技术路线，足以成为企业展示技术实力的重点。 但最近，这两个概念似乎正在慢慢降温。比起又推出了什么新模

你买到的模型，可能是“二手模型” 图片来源?|?网络（如侵权请联系删除）部分AI生成 我有个做 Agent 创业的朋友，上周遇到一件特别膈应的事。 同一套 prompt，同一份文档，上周跑出来的结构化

你买到的模型，可能是“二手模型” 图片来源?|?网络（如侵权请联系删除）部分AI生成 我有个做 Agent 创业的朋友，上周遇到一件特别膈应的事。 同一套 prompt，同一份文档，上周跑出来的结构化

近期，深圳兔展智能正式发布工业级AI设计工具RabbitVis，并顺利完成股份制改造。该产品突破了传统AI仅能输出单张静态图片的局限，可直接生成矢量化、可分层编辑的全套设计稿及印刷级刀版图。在多模态技

主流气候模型漏算了冻土融化、野火、湿地等正反馈，研究指本世纪可能额外升温 0.2–0.4°C，1.5°C 红线被突破的时间或缩短 25%。 气候危机里有一个绕不开的悖论：变暖本身正在制造更多变暖。温室

千呼万唤始出来，苹果国行AI (Apple Intelligence)终于于11月4日凌晨向中国大陆用户开放了开发者Beta测试，预计于12月随着iOS 27.3正式版全面推出。基座大模型将采用苹果本

昨天，Open AI核心产品负责人Tibo在X上甩出一句法语暗号，Le GPT Fat。 ?他全名ThibaultSottiaux，比利时人，早年在鲁汶天主教大学读应用数学，如今管着ChatGPT和整

LG('ad_468_2'); "AI摘要" 腾讯混元推出新一代大语言模型Hy4，综合实力跨越式升级，首次跻身全球最强开源模型第 一梯队。新版本扩充训练数据规模，首次加入视觉多模态能力，支

11月3日，在2026年全国优秀科普图书作品推荐发布暨三晋文化大模型发布活动上，国内首个聚焦山西地域文化的垂类大模型“晋问AI”正式亮相。作为山西省委宣传部指导的省级重点文化工程，“晋问AI”由山西出

作者｜张谦 编辑｜胡展嘉 运营｜陈佳慧 出品｜零态LingTai 头图｜豆包AI生成 李佳琦的直播间里，多了一件看不见的商品。 11月2日晚，千问办公个人会员月卡在李佳琦直播间上架。千问办公团队披露，

世界模型这次真的能“建立世界”了。 9月1日，李飞飞创办的World Labs发布新一代世界模型Atlas，目前不开源，只向少数合作伙伴开放早期试用。 据官方介绍，Atlas只需要几张普通照片，就能做

英伟达与甲骨文扩大 AI 基础设施合作（界面新闻） 当地时间 10 月 27 日，英伟达与甲骨文宣布，将把搭载英伟达 Vera Rubin NVL72 系统的甲骨文云基础设施（OCI）超级集群扩展至数

芝能科技出品 AI已经能写代码、做视频、回答复杂问题，可一旦需要它驾驶汽车、操作机器人，事情难得多。 路口突然出现的施工锥桶、暴雨中看不清的车道线、工厂里临时穿过的叉车，都会把数字世界里的聪明带进真实

降价一年后，最先被喂饱的是豪门逆袭短剧，软件开发只分到15%的Token，工业深水区仍在门口试温。 [??作者??程以晴??|??编辑??禾木??] 自2024年5月点燃那场标志性的价格战，国内大模型