【菜科解读】

7月7日，国际深空探测学会成立大会在安徽合肥举行。

这是中国首个深空探测领域国际科技组织。

新华社记者 周牧 摄

新华社合肥7月7日电（记者何曦悦、吴慧珺）中国首个深空探测领域国际科技组织——国际深空探测学会7日在安徽合肥成立。

该学会的成立对中国航天国际交流与合作具有重要意义，是全球航天界协同创新的重要标志。

国际深空探测学会由中国政府批准，中国科技界发起，全球科研机构和科学家共同参与，有助于汇聚全球力量推动外空领域的科技进步。

“诚挚邀请全球航天界、科技界的科学家、工程师们积极加入学会，共同为人类探索宇宙奥秘作出积极贡献。

”中国探月工程总设计师、中国工程院院士吴伟仁说。

意大利国家核物理研究院-弗拉斯卡蒂国家实验室研究员西蒙尼·德拉涅洛表示，前往月球、火星甚至更远的深空探测非常困难，也极其昂贵，对各国来说都是巨大挑战，合作和资源共享有利于实现双赢。

国际深空探测学会由深空探测实验室、中国国家航天局探月与航天工程中心、中国宇航学会、中国空间科学学会及法国行星探测地平线2061五家单位联合倡议，由20位中国国内院士与31名国外科学家共同发起申请，历经两年多筹备，于今年4月经中国国务院批准，成为在民政部注册具备独立法人资格的非营利性国际科技组织。

近年来，中国致力于为国际深空探测合作提供广阔舞台，造福全人类。

2017年，中国国家航天局就向国际社会正式发起国际月球科研站合作倡议，目前已有17个国家（国际组织）和60余个国际机构与中国有关方面签署了国际合作文件。

中国还详细公布了月球样品研究的申请流程和开展月球样品国际合作的具体信息，欢迎各国科研人士按照有关流程提出申请，共享惠益。

吴伟仁介绍，未来，学会将围绕月球探测、行星际探测、小行星防御等领域，研究国际深空探测发展态势。

据悉，学会将通过举办高水平国际学术活动、推动全球航天科技人才培养等方式，搭建广泛的合作交流平台，有力推动外层空间和平利用与可持续发展。

昆仑山的万年岩画，上面赫然画着史前飞机，史前文明真存在？

人类真是一种奇妙的生物，我们拥有独一无二的思想，能够将这些思想付诸实践，并最终实现看似遥不可及的梦想。

历史上，有伟人曾慷慨激昂地提出上九天揽月，下五洋捉鳖的豪言壮语，而今天，这些看似不可能的愿望，竟已化为现实，触手可及。

自古以来，飞翔一直是人类心中的幻想。

可以想象，古人绝对无法想象，他们的后代竟能轻而易举地翱翔于蔚蓝的天空之上。

庄子在《逍遥游》中就表达过对天空的疑惑与向往，他甚至描绘了能够扶摇直上的大鸟。

我国古代的神话故事，也充满了与天空相关的想象，比如女娲补天、嫦娥奔月等。

而四大名著之一的《红楼梦》中，贾宝玉的前身据说就是女娲补天所剩的石头。

由此可见，天空对古人有着无比的吸引力。

他们渴望一窥天上的奥秘，想要看看那遥不可及的神仙是否真的存在。

现代飞机的概念最初来源于莱特兄弟，他们通过无数次试验和改进，才让飞行技术不断完善。

如今，人们可以乘坐飞机去往世界的任何角落，大幅缩短出行时间，也让人与人之间的距离变得近在咫尺。

然而，在昆仑山的某个隐秘山洞里，考古学家竟意外发现了史前飞机的踪迹。

这不禁让人怀疑，史前文明是否真的存在？ 昆仑山历来被称作万山之祖，无数神话故事与它息息相关，许多神仙也传说在此羽化成仙。

它独特的地理位置，加上神话传说的加持，使昆仑山笼罩着浓厚的神秘色彩，吸引无数人渴望亲眼一见它的真容。

作为西部山区的主干山脉，昆仑山本应具备极高的考古价值，但早年间鲜有专家涉足。

原因一方面是条件艰苦，另一方面则是它本身的神秘感令人生畏。

直到上世纪九十年代，国家才派遣考古队伍对昆仑山进行系统勘测，这次探险的成果令所有人震惊不已。

考古专家在山中发现了大量被遗弃的工具、箭头和项链，这些遗物都是上万年前古人类遗留下来的痕迹。

昆仑山一带似乎早在几万年前就有人类生活，并且分布范围之广令人惊叹。

随后，专家们在山洞中发现了年代久远的岩画，大多数描绘的是骏马、鹿群、羊群等小动物。

乍一看似乎普通，但让人震惊的是，其中竟出现了一幅现代飞机的图案。

这幅飞机与莱特兄弟的设计惊人相似，让人不禁怀疑：远古时期的人们，是否已在脑海中孕育出飞机的概念？ 许多人认为，华夏民族的起源与昆仑山密切相关，就连赫赫有名的黄帝，也被传说是从昆仑山走出的伟人。

此外，诸如西王母这样的神话人物，也据说曾在昆仑山修炼成仙。

《山海经》《西游记》中均有关于西王母的记载，虽属于文学创作，但足见昆仑山在人们心中的神秘与重要。

从昆仑山发现的遗迹来看，数千年前确有古人类在此繁衍生息。

然而岩画中所谓的飞机，也许只是偶然现象，也可能是其他动物图案经过岁月侵蚀而形成的错觉。

无论如何，古人的智慧仍让人深深叹服。

关于昆仑山的传说众多，它的神秘不仅令人向往，也让人感到些许恐惧。

文学作品中，昆仑山常被描绘为神秘而诡异的背景，塑造了许多令人毛骨悚然的故事。

昆仑山地狱门便是其中一个令人忌惮的存在。

长期在此放牧的牧民，从未靠近此地，即便羊群饥饿，他们也绝不会让羊群进入地狱门。

传闻中，这里曾发生过诸多离奇事件，令人心生畏惧。

经过专家研究，发现地狱门的磁场异常，才解释了那些不可思议的现象。

简单的科学解释未能完全消解人们的恐惧，而昆仑山中还存在许多暗河，如果不熟悉地形贸然进入，极有可能陷入险境。

正是这种神秘与未知，让昆仑山既令人敬畏，也让人心怀敬意。

若有人计划前往探险或游玩，务必事先了解地形，以免遭遇危险。

DeepSeek-V4上线：使用华为芯片训练，性能比Gemini差3-6个月，价格优势明显

出品｜搜狐科技 作者｜郑松毅、常博硕 编辑｜杨锦 DeepSeek V4，来了！ OpenAI GPT 5.5 前脚刚发布，DeepSeek就亮出了“真家伙”。

就在刚刚，DeepSeek-V4的预览版本正式上线并同步开源。

据官方介绍，DeepSeek-V4拥有百万字超长上下文，在 Agent 能力、世界知识和推理性能上均实现国内与开源领域的领先。

模型按大小分为两个版本： 更具产业里程碑意义的是，DeepSeek-V4 从模型设计之初就深度适配国产算力，在华为昇腾芯片生态实测跑通，成为全球首个在国产算力底座上完成训练与推理的万亿参数级模型，打破对海外芯片与框架的长期依赖。

性能比肩顶级闭源模型，价格比Claude便宜21倍 官方实测数据显示，DeepSeek-V4-Pro性能比肩顶级闭源模型。

Agent（智能体）能力方面，相比前代模型，DeepSeek-V4-Pro的能力显著增强。

在 Agentic Coding 评测中，V4-Pro 已达到当前开源模型最佳水平，并在其他 Agent 相关评测中同样表现优异。

DeepSeek介绍，目前 DeepSeek-V4 已成为公司内部员工使用的 Agentic Coding 模型，据评测反馈使用体验优于 Sonnet 4.5，交付质量接近 Opus 4.6 非思考模式，但仍与Opus 4.6 思考模式存在一定差距。

DeepSeek给出的结论相对克制。

在知识与推理任务上，其性能已经超过主流开源模型，并接近Gemini等闭源系统，但仍存在约3到6个月差距。

在 agent和代码任务上，其表现接近甚至部分超过Claude Sonnet。

此外，在数学、STEM、竞赛型代码的测评中，DeepSeek-V4-Pro超越当前所有已公开评测的开源模型（包括月之暗面的K2.6 Thinking、智谱GLM-5.1 Thinking等），取得了比肩世界顶级闭源模型的优异成绩。

相较之下，DeepSeek-V4-Flash主打性价比，能够提供更加快捷、经济的 API 服务。

在 Agent 测评中，DeepSeek-V4-Flash 在简单任务上与 DeepSeek-V4-Pro 旗鼓相当，但在高难度任务上仍有差距。

据悉，V4-Pro 与 V4-Flash 最大上下文长度为 1M，均同时支持非思考模式与思考模式，其中思考模式支持 reasoning_effort 参数设置思考强度（high/max）。

对于复杂的 Agent 场景建议使用思考模式，并设置强度为 max。

使用价格如下： DeepSeek表示，“受限于高端算力，目前Pro的服务吞吐十分有限，预计下半年昇腾950超节点批量上市后，Pro的价格会大幅下调。

” 再看看国际友商价格对比，可见DeepSeek的实惠： 混合架构解决工程落地痛点，全面适配国产算力 大模型处理超长文本的最大痛点，从来不是 “能不能装下”，而是跑不动、记不住、算不起。

随着传统注意力机制呈平方级复杂度攀升，百万Token场景下显存与算力直接 “爆炸”，几乎无法工程落地。

DeepSeek-V4 的发布，标志着大模型正式走出 “参数竞赛”，进入效率优先下一代赛道。

从一口气审计全量代码库、一次性解析千页合同，到全程记住长时间会议、串联多轮复杂智能体任务，V4让AI 真正具备“完整理解、长期记忆、深度推理”的能力，同时把使用成本大幅下拉。

这一切得益于DeepSeek业内首创“CSA （压缩稀疏注意力） + HCA （重度压缩注意力）”的混合架构。

用一套“分级压缩 + 分级检索”思路，把效率拉到极致。

这一新方法显著减少了计算复杂度，提升了长上下文处理的效率。

具体来看，CSA像给长文本做重点精读。

先把每 4 个Token压缩成一个信息块，再用稀疏检索只挑最相关的内容，既保留中段细节，又大幅削减计算量，兼顾精准与效率。

HCA像给长文本做大纲速读，把海量信息浓缩成框架级块，专门负责全局逻辑。

官方数据显示：1M Token场景下，V4-Pro 仅需 V3.2 的 27% 推理算力、10% KV 缓存；

Flash 版更是低至 10% 算力、7% 缓存。

除了混合注意力，V4 还带来三项关键技术革新，构成完整效率革命： mHC 流形约束超连接：升级传统残差连接，把信号传播约束在稳定流形上，深层不衰减、训练不炸数值。

Muon 优化器：替代传统 AdamW，收敛更快、训练更稳，完美适配 MoE 大模型与低精度训练，解决大批次长上下文训练的抖动难题。

全链路工程优化：专家并行细粒度通信重叠、TileLang 内核开发、FP4 量化感知训练、异构 KV 缓存管理，从计算、通信、存储全方位降本提速，推理加速最高近2倍。

最受大家关心的，是V4这次是否成功全面适配国产算力？ 报告指出，DeepSeek-V4在英伟达 GPU 与华为昇腾 NPU 两大硬件平台上，对细粒度 EP 优化方案完成了全面验证。

相较于性能优异的非融合基线方案，该方案在通用推理负载场景下可实现1.50~1.73 倍的加速比。

有业内观点指出，这代表已经完成华为昇腾平台的适配和实测落地。

但目前对外开源的只有英伟达GPU版本，昇腾适配代码未开源，属于闭源适配优化。

值得一提的是，寒武纪在软硬一体生态中，已经完成基于 vLLM 推理框架完成对 285B DeepSeek-V4-flash 和 1.6T DeepSeek-V4-pro 的适配，适配代码已开源到 GitHub 社区。

剩下的，就等DeepSeek-V4的实用表现了。

还有DeepSeek的首轮融资最终花落谁家，也还是个谜题。

“不诱于誉，不恐于诽，率道而行，端然正己。

” DeepSeek官方在文章最后表示，他们将始终秉持长期主义的原则理念，在尝试与思考中踏实前行，努力向实现 AGI 的目标不断靠近。

”