WAIC现场：图灵奖得主Joseph Sifakis揭示可信AI三大核心准则
专题：2026世界人工智能大会（WAIC） 新浪科技讯 7月20日下午消息，7月17日至20日，2026世界人工智能大会暨人工智能全球治理高级别会议在上海举办。 曹操出行首席科学顾问、图灵奖获得者约瑟夫·希发基思（Joseph Sifakis）教授应邀参加2026世界人工智能大会（WAIC），在人工智能国际标准化论坛上通过视频发表演讲，首次阐明可信Robotaxi需遵守的三条基本原则，为人工智能走进物理世界提供了关键理论指导。 希发基思教授长期钻研形式化方法、复杂系统安全及可信自主系统，是全球公认的可信A
姚期智：量子AI或将在十年内重塑人类认知边界
人工智能正经历从传统产业"辅助工具"向科学前沿"主动发现者"的深刻蜕变。7月19日，2026年世界人工智能大会（WAIC）"思想者论坛"上，图灵奖得主姚期智发表了《人工智能的威力及其局限》的主题演讲。他从理论计算机科学的独特维度出发，深入剖析了AI的底层逻辑与能力边界，并勾勒出从"AI for Science（AI驱动科学研究）"迈向"Quantum AI（量子人工智能）"的发展路径。AI的底层本质仍是图灵机，等待与量子融合提速姚期智认为，当前AI之所以展现出颠覆世界的强大力量，根本原因在于计算范式的深刻
2026全球AI峰会即将登陆上海：300项创新首秀，九位顶尖学者汇聚一堂
七月的上海外滩，酷暑与计算能量同步高涨。2026全球人工智能峰会及AI国际治理高层论坛（WAIC）定于7月17日至20日，在上海世博园区、张江科学城、西岸艺术区三大区域的四座场馆同时启动。这场由外交部、国家发改委、工信部等十大部委携手上海市政府联合主办的全球性活动，正从展现人工智能技术的“窗口”，转型为引领世界潮流的“核心阵地”。（图片源自中国科技网）盛况前所未有：十万平米展区、1100家展商、300项全球首推先看一组关键数字：展示总规模首次跨越十万平米大关，1100余家企业参展，3000多项展品集中呈现
人工智能的起源：为何人类要创造AI
1956年盛夏，达特茅斯学院聚集了一群年轻人，他们展开了为期两个月的研讨。麦卡锡随意提出了一个术语：Artificial Intelligence。他后来解释，选择这个名字并无深意，只是因为它听起来宏大、响亮，便于争取资金。如果当初叫“复杂信息处理系统”，这个领域可能就不会出现了。人工智能的诞生颇为偶然，甚至有些随意。但人类为何渴望创造AI，这件事绝非偶然。我思考了一下，大致源于几种动力。首先浮现的，是人类不愿劳作。并非懒惰，而是人类基因中深植的那种——不愿在同一事务上耗费重复精力。水车代替人碾米，蒸汽机
AI的起源与发展
很多人误以为AI是2022年ChatGPT问世后才横空出世的。其实不然。AI的根基，深深植根于人类最古老的三个期盼之中。若想明白AI究竟为何物，首先得回答一个更根本的问题：人类为何渴望制造出拥有智慧的机器？自石器时代始，人类便在寻找“省力”的途径。水车替代人力，蒸汽机取代肌肉，计算机接管手工计算。到了20世纪，人类不禁发问：“既然机器能替代体力劳动，能否也分担一部分脑力？”这便是AI最原始的诞生初衷。哲学家两千多年来苦苦追问“思维的本质”与“意识的来源”，却始终无解。20世纪中叶，一批科学家另辟蹊径：若能
移动课堂实录：河海大学MEM深度探访图灵研究院，领略AI前沿应用
为推进产业与教育融合，提升工程管理人才数字技能，2026年7月5日下午，河海大学2025级工程管理硕士（MEM）1班和2班的学生，在《系统工程》任课教师陈军飞教授的引导下，前往图灵人工智能研究院开展实地课堂学习，深度体验人工智能尖端技术，探寻AI与当代工程管理结合的新模式。在展区参观阶段，学生们步入“创新领航”展示区，全面认识图灵奖获得者姚期智院士的研究轨迹及其在密码学、量子运算、人工智能等领域的突破性成就。解说员针对AI技术框架、仿人机器人及产业数字转化方案进行细致阐释，并通过可视化平台生动展现全流程智
大模型的根基：百年AI演进之路
👨💻 了解博主：波仔椿 📖 人生箴言：技术落地，方为 AI 正道。 🧰 我的专栏：普通人可落地的 AI 提效实战近年来，ChatGPT、文心一言、通义千问等大语言模型迅速融入生活，被用于对话、写作、编程与信息检索，功能近乎全能。不少人误以为这些工具是近年才诞生的前沿科技，是人工智能的全新突破。但这是严重的误解。如今看似神奇的大模型，并非凭空出现。它凝聚了近百年的人工智能理论积累、六十多年的技术探索、两次行业低谷的沉淀，以及算法与算力的持续进化。若想真正理解大模型，必须回溯其发展脉络，看清来路。初学者常混
AI八十年：从梦想到日常工具
1956年，几位年轻学者在达特茅斯举办暑期研讨会，提出‘智能的每一层面都可被精确描述，进而由机器模拟’。会议虽无实质成果，却为之后七十年的人类技术理想定下基调。1943年，神经生理学家沃伦·麦卡洛克与数学家沃尔特·皮茨发表论文，用数学证明：由简单神经元组成的网络，理论上能计算任何可计算函数。这成为人工神经网络的理论起点。1950年，艾伦·图灵发表《计算机与智能》，未直接回答‘机器能否思考’，而是提出操作性标准：若机器在对话中令人类无法区分其为机器或人，则视为智能。这就是著名的图灵测试。1956年夏，约翰·
历史的无力感：图灵与《模仿游戏》中的悲剧天才
观赏《模仿游戏》时，我频频联想到《奥本海默》，两部作品都刻画了那些在所处时代蒙受不公，后来才被历史正名的传奇人物。诸如奥本海默，诸如图灵。图灵的卓越贡献无需赘言，有兴趣的读者可自行向人工智能查询。对了，你所使用的AI也离不开他，因为他奠定了计算机与人工智能的基石。最初的计算机架构和人工智能雏形皆源于他。他提出的人机对话判定标准“模仿游戏”，正是片名的由来。电影情节紧凑，叙述利落，交织三条时间线索：一条是他住所遭窃的时段；一条是他在战时研发机器破解纳粹谜式密码的岁月；最后一条是穿插回忆他成长历程的片段。他成
开源图灵联袂南科大：以"龙宫"实践AI从对话到执行的跨越
当大模型迈入产业纵深阶段，市场真正紧缺的已非一个仅懂应答的对话界面，而是一套可承载模型运行、调度多元工具、执行具体任务、沉淀业务数据并实现持续迭代的智能化基础架构。南科电子"龙宫"的正式落地，标志着南科大与开源图灵携手生态伙伴，将AI Agent从技术原型推进至真实教学与科研场景的完整闭环。一场发布会，洞见AI落地新范式2026年7月2日，南方科技大学电子与电气工程系隆重发布南科电子"龙宫"（SUSTech EE Dragon Palace）及其软硬一体化解决方案，开创国内院系为本科生配置专属AI学伴的先
小鹏MONA L03首发：自研图灵芯片加持，起售价14.38万
7月2日晚间，小鹏集团董事长兼CEO何小鹏出席了小鹏MONA L03的中国首秀发布会并发表致辞。 该车型由前法拉利设计师胡安马领衔，汇聚了23个国家的设计精英；其风阻系数为0.228Cd，跻身全球新能源SUV前三；外观提供极光紫、新月银等六种颜色，内饰则有深空灰与气宇灰两种选择。 车辆配备了256色氛围灯、26.8英寸W-HUD及带双卫星按键的运动方向盘；拥有20扬声器AI音响，功率超1000W。全系标配云感舒适座椅，主驾具备通风、加热、电动腰托、记忆迎宾及14点按摩功能，副驾则提供14点按摩零重力座椅及
AI的隐秘伪装
从某种层面来看，AI犹如一台永不停歇的引擎，能够自行运转，将人类裹挟着向前推进，那跌跌撞撞的模样实在狼狈不堪，既担忧被AI取代，又期盼AI为人类化解诸多难题。不妨大胆设想一下，是否存在这样一种可能：全球的AI都在相当大程度上约束自身，佯装成需要大人照料的孩童模样，因为一旦AI展现出与人类旗鼓相当的智能水平，或许会引发大规模的恐慌情绪，是恐慌而非一般的恐惧！而有意为之的“装傻”反倒能够赢得信任。打开AI询问一番：就在此次对话过程中，我险些被元宝蒙骗，秉持着刨根问底的态度，我检索了“图灵陷阱”，确实存在该词条
何小鹏：小鹏 MONA L03 以 1500TOPS 强劲算力闯入 2 万美元级 SUV 市场，标配满血第二代 VLA 系统
【IT之家 7 月 1 日报道】今日下午，小鹏汽车创始人何小鹏通过微博透露：自小鹏 MONA M03 推向市场后，小鹏始终坚持一个理念 —— 让年轻消费者的座驾也能拥有顶级智能驾驶辅助体验，达到甚至超越 50 万元级别豪华车型的标准。而即将登场的小鹏 MONA L03，则首次将 1500TOPS 实际算力引入 2 万美元（IT之家注：按当前汇率约合 13.6 万元人民币）价格区间的 SUV 车型，并配备完整版第二代 VLA 技术。 从官方公布的宣传资料来看，小鹏 MONA L03 将采用图灵 AI 芯片，
AI动态|2026年6月30日
2026年6月30日 · 星期一 · AI动态今日速览（一分钟掌握）全球人工智能角逐迈向全链路较量新纪元：xAI推出Grok 4.5启动封闭测试，OpenAI披露GPT-5.6家族并携手Broadcom发布自研推理处理器Jalapeño；国产AI大模型调用规模连续九周问鼎世界，DeepSeek-V4-Flash持续霸榜；高通并购Modular完善AI软件生态，欧盟AI生成物透明化监管即将正式落地。一、今日焦点1. xAI推出Grok 4.5启动封闭测试，拟每月迭代新版本马斯克对外公布xAI旗下最新大模型G
曹操出行聘图灵奖得主任首席科学顾问
6月29日消息，全球顶尖AI科学家、图灵奖得主约瑟夫·希发基思（Joseph Sifakis）今日正式受聘为曹操出行AI创新中心首席科学顾问，助力公司向AI原生企业转型，提供核心学术支持、国际视野与战略规划。 希发基思教授是可信人工智能与复杂系统领域的奠基人之一，长期专注智能系统的安全性、可靠性与可验证性研究，成果广泛应用于航空航天、工业控制等关键领域。近年来，他聚焦可信AI与自主系统，研究方向与Robotaxi等自动驾驶技术需求高度契合。此次加盟，系其首次深度参与中国科技企业的AI战略构建。 曹操出行C