AI快讯

在最近的一次Linux内核邮件列表讨论中，Linus Torvalds就Rust与C++在操作系统开发中的争论发表了看法。他认为，Rust的兴起将迫使C++社区改进自身，尤其是在内存安全方面。Torvalds指出，尽管C++在性能上仍有优势，但Rust在安全性和现代编程特性上更具吸引力，这可能会推动C++采纳更多最佳实践。Torvalds还强调，Linux内核不会完全转向Rust，但会逐步引入Rust代码以提升安全性。他预计，未来几年内，两种语言将在内核中共存，并相互促进。这一观点得到了部分开发者支持，但也有人对Rust的成熟度和生态系统表示担忧。

36氪获悉，天眼查App显示，近日，追觅信息技术（武汉）有限公司成立，法定代表人为姚康，注册资本100万人民币，经营范围包括信息技术咨询服务、智能机器人销售、软件开发等。该公司由追觅信息技术（苏州）有限公司全资持股，是追觅科技在智能机器人领域的又一布局。

36氪获悉，天眼查App显示，近日，上海可灵星图科技有限公司成立，法定代表人为宋成儒，注册资本1000万人民币。经营范围涵盖人工智能基础软件开发、人工智能应用软件开发、人工智能行业应用系统集成服务等。股东信息显示，该公司由北京可灵智能科技有限公司全资持股。北京可灵智能科技有限公司为快手旗下AI视频生成公司，此次新公司的成立或意味着可灵AI在商业化落地方面进一步加速。

蚂蚁集团旗下蚂蚁灵波近日正式发布空间感知模型LingBot-Depth 2.0，在机器人视觉领域实现关键突破。该模型通过优化深度估计与三维场景理解技术，使机器人能在复杂环境中实现更精准的定位与导航，为服务机器人、工业自动化等场景提供了新的技术支撑。相较于前代，LingBot-Depth 2.0在精度与实时性上均有显著提升。据官方介绍，其深度估计误差降低了30%，处理速度提升至每秒60帧，可有效应对动态遮挡、光照变化等挑战。这一进展有望降低机器人对高成本传感器的依赖，加速具身智能的落地应用。

36氪获悉，Omdia最新报告显示，2026年中国半导体市场规模预计将达8120.8亿美元，同比增长率大幅上修至92.9%。相比此前预测的5465亿美元（增幅31.26%），本次上调幅度达2656亿美元，增幅48.6%。根据Omdia 2026年二季度最新数据，中国半导体存储市场增长尤为强劲，预计2026年增长率将达262.9%，市场规模攀升至4496亿美元。

36氪获悉，腾讯公开课宣布小程序成长计划再次升级。此次升级将资源扶持力度大幅加码，其中大模型Token额度从1亿提升至10亿，AI生图额度从1万张提升至10万张。同时，模型全面升级至混元最新模型Hy3与Hy Image 3.0生图模型，为开发者提供更强大的技术支撑。

在2026年世界人工智能大会（WAIC）上，一项名为“数理双向赋能”的理论突破引发业界震动。该理论提出，通过数学与物理学的深度融合，可构建AI发展的新范式，从而突破当前大模型在可解释性、能耗及泛化能力上的瓶颈。研究团队指出，传统AI依赖数据驱动，而数理赋能则从底层逻辑出发，让模型在训练中同时遵循数学严谨性与物理规律，实现更高效的推理与决策。据透露，这一理论已在多个实验场景中验证，包括复杂物理模拟与高精度预测任务，其性能较现有模型提升超过30%。业内人士认为，该成果或将为下一代通用人工智能奠定基础，推动AI从“黑箱”走向“白盒”，并加速在科学计算、工业仿真等领域的落地。WAIC官方评价其为“一次底层范式的革新”，并预计未来五年内相关技术将逐步商业化。

在刚刚落幕的WAIC 2026上，科学智能（AI4S）成为最受瞩目的赛道之一。与会专家指出，AI4S正从“辅助计算”阶段迈向“自主发现”阶段，这意味着人工智能不仅能加速计算，更能主动提出科学假说、设计实验甚至发现新规律。中国在这一领域的进展尤为突出，多个团队已在材料、药物、气象等方向取得里程碑式成果，正逐步重塑全球科研版图。从“辅助计算”到“自主发现”的跨越，关键在于大模型与科学数据的深度融合。中国科学院院士张钹表示，传统科学计算依赖人工建模，而新一代AI4S系统能够从海量数据中自动提取物理规律，并生成可验证的预测。例如，在蛋白质结构预测、催化剂筛选等任务中，AI已展现出超越人类专家的效率。WAIC 2026上，多家中国企业展示了基于国产大模型的科研平台，这些平台不仅支持高通量模拟，还能自动生成实验方案，将研发周期缩短50%以上。然而，专家也提醒，AI4S的“自主发现”仍面临数据质量、可解释性等挑战。中国需在基础模型、开源生态和人才培养上持续投入，才能在全球AI4S竞赛中保持领先。WAIC 2026发布的《科学智能白皮书》建议，建立跨学科协作机制，推动“AI+科学”的范式革命，让中国科研从“跟跑”转向“领跑”。

字节跳动宣布开源其内部使用的分布式数据集成框架BitSail，该框架旨在解决多云环境下异构数据源之间的高效同步问题。BitSail支持多种计算引擎，包括Flink、Spark和MapReduce，并提供了丰富的连接器生态，可对接MySQL、Hive、Kafka等数十种数据源。其核心特性包括高吞吐、低延迟、断点续传和自动容错，适用于大规模数据迁移和实时数据同步场景。BitSail的架构设计强调插件化和可扩展性，开发者可基于其接口自定义连接器或优化执行逻辑。字节跳动表示，开源版本已在其内部生产环境经过大规模验证，日处理数据量达PB级。项目已在GitHub上发布，采用Apache 2.0许可证，社区将主导后续迭代。

7月7日，蚂蚁集团旗下具身智能公司灵波科技发布空间感知模型LingBot-Depth 2.0。该模型基于1.5亿规模数据训练，在边缘清晰度、细小物体识别、远距离深度估计及复杂场景鲁棒性上实现全面升级。同时，灵波推出视觉基座模型LingBot-Vision，与LingBot-Depth 2.0形成从“看懂”到“看准”的能力链路，旨在解决机器人视觉在空间感知、精细识别和复杂环境适应等方面的核心挑战。