黄安年的博客分享 http://blog.sciencenet.cn/u/黄安年 我的博客宗旨:学术为公、资源共享、实事求是、与时俱进。

博文

关注DeepSeek(杭州深度求索人工智能基础技术研究有限公司)

已有 1114 次阅读 2025-1-28 15:16 |个人分类:学术问题研究(2017--)|系统分类:科研笔记

关注DeepSeek杭州深度求索人工智能基础技术研究有限公司

 

黄安年文 黄安年的博客/2025128日发布(第35892篇)

人工智能基础技术研究全球领域公司也属刚刚起步阶段,前景可期道路艰辛,全球顶级人才和公司你追我赶乃正常现象,任何封锁限制具有两重效应。近日下列报道值得关注。华人无论在中国或在美国等其他国家从事人工智能记述开发和研究的作用值得赞颂。

 

***************************

DeepSeek一夜干掉英伟达4.3万亿市值:大跌17%创美股单日蒸发最高记录

鞭牛士2025-01-28 05:23

鞭牛士报道,128日消息,据外电报道,受中国人工智能公司DeepSeek的意外进展影响,美国科技行业的无敌光环受到威胁, 美国股市周一大幅下跌。

成立一年的初创公司DeepSeek上周展示了一项令人惊叹的功能:它展示了一个名为 R1 的类似 ChatGPT 的人工智能模型,该模型具有所有熟悉的功能,但运行成本仅为 OpenAI、谷歌或 Meta 的热门人工智能模型的一小部分。

该公司表示,其基础模型的计算能力仅花费了 560 万美元,而美国公司在人工智能技术上花费了数亿或数十亿美元。

这一结果导致市场对人工智能算力方面是否存在巨大市场泡沫产生了怀疑,芯片股纷纷大跌。

其中,人工智能芯片领先供应商英伟达大跌近17%,单日市值蒸发5950亿美元,接近6000亿美元,相当于人民币4.3万亿,创美股单日跌幅最高记录。

英伟达对此表示,称DeepSeek R1 模型是一项出色的人工智能进步,尽管这家中国初创公司的崛起导致这家芯片制造商的股价在周一暴跌 17%

Nvidia 发言人周一向 CNBC 表示:DeepSeek 是一项出色的 AI 进步,也是测试时间扩展的完美范例。DeepSeek 的工作展示了如何使用该技术创建新模型,利用广泛使用的模型和完全符合出口管制的计算。

Nvidia 的声明表明,它认为 DeepSeek 的突破将为这家美国芯片制造商的图形处理单元 (GPU) 创造更多的工作。

DeepSeek移动应用程序在中国区域美国区的苹果免费 iPhone 应用程序排名中名列第一,人们对 DeepSeek 在人工智能领域的快速进步的兴趣导致美国科技股周一暴跌。

Meta 上周表示,今年将在人工智能开发上投入高达 650 亿美元。

OpenAI 首席执行官 Sam Altman 去年表示,人工智能行业需要数万亿美元的投资来支持开发所需的芯片,这些芯片是运行该行业复杂模型的耗电数据中心所必需的。

马克·安德森 (Marc Andreessen) 是唐纳德·特朗普 (Donald Trump) 总统的支持者,也是全球领先的科技投资者之一,他在X 上的一篇文章中称 DeepSeek 是我见过的最令人惊叹和最令人印象深刻的突破之一。

考虑到美国多年来一直以国家安全问题为由限制向中国供应高功率人工智能芯片,这家名不见经传的人工智能初创公司取得的惊人成就就更加令人震惊了。

这意味着 DeepSeek 能够在功率不足的人工智能芯片上实现其低成本模型。

周一美股收盘后,美国科技股尤其是芯片股遭受重创。

除了英伟达下跌17%,博通下跌17%,市值跌去1800亿美元,相当于人民币1.3万亿,市值跌破万亿美元。

台积电下跌13%,市值跌去1500亿美元,相当于人民币1.1万亿元,市值跌破万亿美元。

这拖累了整体股市,因为科技股占据了市场很大一部分份额——Truist 分析师 Keith Lerner 表示,科技股约占标准普尔 500 指数的 45%

「归根结底,美国表现优异是由科技和美国公司在人工智能领域的领先地位推动的。」勒纳说。「DeepSeek 模型的推出让投资者开始质疑美国公司的领先地位,以及美国公司在人工智能领域投入了多少资金,以及这些投入是否会带来利润(或超支)。

本周将有一系列科技公司公布财报,因此他们对 DeepSeek 的惊人反应可能会导致未来几天和几周的市场动荡。与此同时,投资者正在密切关注中国人工智能公司。

盛宝银行首席投资策略师 Charu Chanana 表示:由于地缘政治担忧和全球需求减弱,包括 DeepSeek 等新进入者在内的中国科技公司股价大幅折价。DeepSeek 的崛起可能会重新激发投资者对被低估的中国人工智能公司的兴趣,从而提供另一种增长故事。

这一消息也引发了华尔街对非科技公司投资的巨大变化。

近年来,由于人工智能数据中心需要大量电力,能源公司的股价大幅上涨。但周一,它们全都暴跌。Constellation Energy ( CEG ) 是一家计划重启三哩岛核电站以用于人工智能的公司,该公司周一下跌 21%Vistra ( VST ) 等竞争对手下跌 28%GE Vernova ( GEV ) 下跌 22%

比特币和其他加密货币也大幅下跌。

尽管一项成就令人震惊,但它可能不足以抵消美国多年来在人工智能领域的领先地位。而且,大量客户转向中国初创公司的可能性也不大。因此,市场抛售可能有点过度——或者投资者可能正在寻找抛售的借口。

Third Seven Capital 市场策略师迈克尔·布洛克 (Michael Block) 表示:时间将证明 DeepSeek 的威胁是否真实存在——竞争在于哪种技术有效,以及西方大公司将如何应对和发展。特朗普 2.0 时代开始时,市场过于自满,可能一直在寻找撤退的借口——而他们在这里找到了一个很好的借口。

业界也相信该公司所说的成本非常低。没有人真正质疑这一点,但市场恐慌取决于这家相对不知名的公司是否诚实。

尽管成本节省成果可能非常显著,但 R1 模型是 ChatGPT 的竞争对手,它是一种以消费者为中心的大型语言模型。它尚未证明自己能够处理一些目前仍需要大量基础设施投资的行业所需的雄心勃勃的 AI 功能。

人工智能市场研究公司 Reflexivity 总裁朱塞佩·塞特 (Giuseppe Sette) 表示:凭借丰富的人才和资本基础,美国仍然是最有希望的主场,我们预计将在这里见证首个自我改进的人工智能的诞生。

https://baijiahao.baidu.com/s?id=1822438748016164082

梁文锋,男, [3]1985年出生于广东省湛江市,浙江大学毕业,拥有信息与电子工程学系本科和硕士学位。杭州幻方科技有限公司、DeepSeek创始人。 [1-2]

2008年起,梁文锋开始带领团队使用机器学习等技术探索全自动量化交易2015年,幻方量化正式成立。2019年,其资金管理规模突破百亿元;同年,梁文锋在当年的金牛奖颁奖仪式上发表主题演讲《一名程序员眼里中国量化投资的未来》。2020年开始,幻方的AI超级计算机萤火一号正式投入运作。2021年,幻方投入十亿建设萤火二号20237月,幻方量化宣布成立大模型公司DeepSeek,正式进军通用人工智能领域。20245月,DeepSeek发布了DeepSeekV2;同年1227日,DeepSeek-V3面世。2025120日, DeepSeek正式发布DeepSeek-R1模型;

https://baike.baidu.com/item/%E6%A2%81%E6%96%87%E9%94%8B/65336579?fr=api_baidu_opex_festival

DeepSeek推翻两座大山

字母榜2025-01-27 19:52北京

摘要

帮你速读文章内容

https://pics7.baidu.com/feed/2f738bd4b31c8701142dbb27f3b1d0200508ffb2.jpeg@f_auto?token=a9cfbe9112d93c09d27f418b3a05082f

DeepSeek的压力,终于还是传递到了黄仁勋身上。

北京时间127日晚,英伟达美股股价盘前暴跌近11%,按目前市值34928亿美元计算,英伟达市值恐将缩水超3500亿美元。

DeepSeek所掀起的低成本大模型训练策略,正在让资本市场怀疑,即当用相对较少的算力也能实现不输于OpenAI的模型性能表现时,英伟达所代表的高端算力芯片是否正迎来新的泡沫?

这股担忧情绪正进一步助推着DeepSeek的热度攀升。趁着DeepSeek R1新模型发布档口,短短一周时间,到127日,DeepSeek应用就拿下了美区App Store和中国区App Store免费榜的双料第一。

值得一提的是,这是首次有AI助手类产品超越OpenAIChatGPT,且登顶美区App Store

爆火的用户体验场面,直接导致DeepSeek在两天之内接连出现服务宕机现象。继126日出现短时闪崩后,127日,DeepSeek再次短暂出现网页/API不可用的服务提示。官方回应称,其可能和服务维护、请求限制等因素有关。

新模型DeepSeek R1,无疑是引发这场围绕DeepSeek的全球用户大讨论的直接导火索。120日,DeepSeek正式发布了性能比肩OpenAI o1完整版的R1

在数据越多、效果越好的Scaling Law(模型规模定律)触达瓶颈之下,去年9月份,OpenAI对外发布了新推理模型o1,后者采用了RL(强化学习)的新训练方式,被行业视为是大模型领域的一次范式转移

但直到DeepSeek R1发布之前,国内一众大模型厂商均尚未推出能够对标OpenAI o1的模型。DeepSeek成了第一个攻破OpenAI技术黑匣子的玩家。

更重要的是,相比OpenAI在模型上的闭源,以及o1模型付费使用限制,DeepSeek R1不仅开源,而且还免费供全球用户无限调用。

R1的出现,除了打破旗舰开源模型只能有科技大厂来推动的行业传统共识之外,还打破了业内在去年形成的另一条共识,即通用大模型,正越来越成为一场大厂间的资本比拼游戏。DeepSeek用不到OpenAI十分之一的资源,就做出了性能堪比o1R1

DeepSeek携一众用户带来的冲击,已经让一些大厂坐不住了。

首当其冲的是Meta。一贯被行业视为大模型开源之王Meta,内部被曝出开始担心起还未发布的Llama 4,在性能上可能无法赶上DeepSeek R1

https://pics5.baidu.com/feed/810a19d8bc3eb135e79c35f573d0e6dcfc1f4407.jpeg@f_auto?token=a9f97b5d95fcd5fa49a07a2686189586

被拿来全面对标的OpenAI,也开始感受到压力。OpenAI CEO奥特曼不仅通过发布首个智能体Operator抢热度,还开始对外剧透起即将上线的o3-mini新消息。

可以预见的是,DeepSeek掀起的行业地震,波及的将不只是国外公司,国内大厂也难逃例外。

A

作为一款开源模型,DeepSeek R1在数学、代码、自然语言推理等任务上的性能,号称可以比肩OpenAI o1模型正式版。

AIME 2024数学基准测试中,DeepSeek R1得分率为79.8%OpenAI o1的得分率为79.2%;在MATH-500基准测试中,DeepSeek R1得分率为97.3%OpenAI o1的得分率为96.4%

https://pics6.baidu.com/feed/b3119313b07eca8087f06f0345edd9d2a34483bf.jpeg@f_auto?token=ce3836894a773e32492474d2f2ef27aa

同为推理模型,DeepSeek R1不同于OpenAI o1的技术关键点,在于其创新的训练方法,如在数据训练环节使用的R1-Zero路线,直接将强化学习(RL)应用于基础模型,而无需依赖监督微调(SFT)和已标注数据。

此前,OpenAI的数据训练非常依赖人工干预,旗下数据团队甚至被建设成为不同水平的层级,数据量大、标注要求简单明确的浅层数据,交给肯尼亚等廉价外包劳工,高等级的数据则交给更高素质标记人员,不少都是训练有素的高校博士。

DeepSeek R1的直接强化学习路线,就像让一个天才儿童在没有任何范例和指导的情况下,纯粹通过不断尝试和获得反馈来学习解题。

Perplexity公司CEO阿拉文·斯里尼瓦斯评价道:需求是发明之母。因为DeepSeek必须找到解决办法,最终它们创造出了更高效的技术。

除此之外,在获取高质量数据方面,DeepSeek也有所创新。

根据DeepSeek官方技术文档,R1模型使用数据蒸馏技术(Distillation)生成的高质量数据,提升了训练效率。数据蒸馏指的是通过一系列算法和策略,将原始的、复杂的数据进行去噪、降维、提炼等操作,从而得到更为精炼、有用的数据。

这也是DeepSeek能够凭借更小参数量,就实现比肩OpenAI o1模型性能的一大关键。人工智能专家丁磊博士告诉字母榜(IDwujicaijing),模型参数量大小与最终模型呈现的效果之间,两者投入产出并不成正比,而是非线性的……数据多只是一个定性,更重要的是考验团队数据清洗的能力,否则随着数据增多,数据干扰也将随之变大。

更重要的是,DeepSeek是在用不到十分之一的资源基础上,取得的上述成绩。

去年12月底发布的DeepSeek-V3开源基础模型,性能对标GPT-4o,但官方介绍的训练成本只有2048块英伟达H800,总花费约557.6万美元。

作为对比,GPT-4o模型的训练成本约为1亿美元,占用英伟达GPU量级在万块以上,且是比H800性能更强的H100

当时,前OpenAI联创、特斯拉自动驾驶负责人安德烈·卡帕西就发文表示,DeepSeek-V3级别的能力,通常需要接近16000GPU的集群。

目前,DeepSeek官方尚未公布训练推理模型R1的完整成本,但官方公布了其API定价,R1每百万输入tokens1-4元人民币,每百万输出tokens16元人民币。作为对比,OpenAI o1的运行成本约为前者的30倍。

这样的表现也引发Scale AI创始人亚历山大·王(Alexandr Wang)评价道,中国人工智能公司DeepSeekAI大模型性能大致与美国最好的模型相当。过去十年来,美国可能一直在人工智能竞赛中领先于中国,但DeepSeekAI大模型发布可能会改变一切

a16z合伙人、AI大模型Mistral董事会成员 Anjney Midha更是发文说道,从斯坦福到麻省理工,DeepSeek R1几乎一夜之间就成了美国顶尖大学研究人员的首选模型。

包括斯坦福大学计算机科学系客座教授吴恩达、微软董事长兼CEO萨提亚·纳德拉等大佬在内,也都开始关注起这款来自中国的新模型。

事实上,这并非DeepSeek第一次出圈。在宣布组建团队自研大模型以来,DeepSeek曾两度引发热议,只不过,之前更多局限在国内。

20234月,千亿量化私募巨头幻方量化发布公告,称将集中资源和力量,投身人工智能技术,成立新的独立研究组织,探索AGI(通用人工智能)。

一个月后的20235月,该组织被命名为深度求索,并发布了首款模型DeepSeek V1。当时,《财经十一人》报道称,国内拥有超过1万枚GPU的企业不超过5家。而DeepSeek就是其中之一,并由此开始得到外界关注。

及至20245月,DeepSeek再次借助大模型价格战一跃成名。当时,DeepSeek发布了DeepSeek V2开源模型,并在行业内率先降价,将推理成本降到每百万token1块钱,约等于GPT-4 Turbo的七十分之一。

随后,字节、腾讯、百度、阿里等大厂纷纷降价跟进。中国大模型价格战由此揭幕。

B

DeepSeek R1的出现,进一步向外界证明着,在大模型,尤其是通用大模型方面,创业公司依然有机会。

1月初,零一万物创始人李开复对外正式表态,自己将退出对AGI的追寻,未来公司主攻中小参数的行业模型。从商业角度考虑,我们认为只有大公司能继续做超大模型。李开复说道。

投资人们比李开复更激进。从2023年开始,作为金沙江创投主管合伙人的朱啸虎,便觉得大模型在摧毁创业,因为模型、算力和数据等三大支柱都向大厂集中,看不到创业公司的机会,且直接在大模型上做应用护城河太低,多次提醒创业者不要迷信通用大模型。

远望资本程浩更是直接认为中国版的ChatGPT,只会在5家公司里产生:BAT+字节+华为。在程浩看来,创业者只有在具有先发优势的情况下,才有可能跑赢大厂。

正是因为当初谷歌等国外大厂并不看好OpenAI的大语言模型路线,才让ChatGPT借助先发势能跑了出来。但是,当下研发大模型已经成为中国科技大厂的共识,甚至百度、阿里推出产品的动作,比创业公司还快。

但在接受暗涌采访中,DeepSeek创始人梁文锋在回应与大厂竞争中曾说道,大厂肯定有优势,但如果不能很快应用,大厂也不一定能持续坚持,因为它更需要看到结果。头部的创业公司也有技术做得很扎实的,但和老的一波AI创业公司一样,都要面对商业化难题。

背靠千亿量化基金的DeepSeek,在免去资金的后顾之忧外,选择了一条颇显理想主义的路径,即只做模型研究,不考虑商业变现,且大胆启动年轻人。

DeepSeek150左右团队中,大多是一帮Top高校的应届毕业生、没毕业的博四、博五实习生,以及一些毕业才几年的年轻人。

这是梁文锋有意选择的结果,也是DeepSeek能够抢在大厂前面推出R1模型的秘诀之一,如果追求短期目标,找现成有经验的人是对的。但如果看长远,经验就没那么重要,基础能力、创造性、热爱等更重要。梁文锋解释道。

这也使得DeepSeek成了中国大模型创业公司中,唯一一家只做基础模型、暂不考虑商业化的公司,还要加上一条,即有能力继续开源旗舰模型的公司。

截至目前,DeepSeek R1已经成为开源社区Hugging Face上下载量最高的大模型之一,下载量超过10万次。

https://pics6.baidu.com/feed/bf096b63f6246b609bd4096f3e365443500fa235.jpeg@f_auto?token=06c10d28ae87cef14c5e0877131effce

此前,国内以百度创始人李彦宏为代表的一派,坚决认为开源路线打不过闭源路线,且缺乏商业化支撑的开源模型,会在往后的竞争中差距越拉越大。

但起码从目前来看,DeepSeek R1的出现,证明靠开源路线依然能够追上大模型头部玩家的脚步,且创业公司依然有能力推动开源生态发展。

Meta AI首席科学家杨立昆(Yann LeCun)在评价中就提到,给那些看到DeepSeek的表现后,觉得中国在AI方面正在超越美国的人,你们的解读是错的。正确的解读应该是,开源模型正在超越专有模型

在去年DeepSeek v3发布后,梁文锋就曾对外表示,公司未来不会像OpenAI一样选择从开源走向闭源,我们认为先有一个强大的技术生态更重要。

毕竟,OpenAI的经验起码说明了,在颠覆性的技术面前,闭源难以形成足够的护城河,更无法阻止被别人赶超。所以我们把价值沉淀在团队上,我们的同事在这个过程中得到成长,积累很多know-how,形成可以创新的组织和文化,就是我们的护城河。

2020年发布GPT-3时,OpenAI曾详细公开了模型训练的所有技术细节。中国人民大学高瓴人工智能学院执行院长文继荣认为,国内很多大模型其实都有GPT-3的影子。

但随着OpenAIGPT-4上一改开源策略,逐渐走向封闭,一些国产大模型就此失去了可供复制的追赶路径。

如今,DeepSeek携开源R1的到来,无疑将给国内外大模型玩家在对标o1的推理模型研发方面,创建起一条新的借鉴思路。

C

DeepSeek在大模型领域掀起的这场蝴蝶效应,已经开始影响到部分大厂。

Meta员工在硅谷匿名八卦分享平台Blind上发布消息称,Meta的生成式AI部门正因DeepSeek处于恐慌中,甚至爆料称尚未发布的新一代开源模型Llama 4,在基准测试中已经落后于DeepSeek

在外媒的进一步报道中,Meta生成式AI团队和基础设施团队,正在组建4个作战小分队来像素级剖析DeepSeek,有的试图搞清楚DeepSeek是如何降低训练和运行成本的,有的负责研究DeepSeek可能使用了哪些数据来训练模型,有的则考虑基于DeepSeek模型的属性重组Meta模型的新技术。

https://pics3.baidu.com/feed/6159252dd42a28340826f73f8e7b87e514cebf64.jpeg@f_auto?token=fc6e3f7c2c7e246b6ed1f48935b4dbe4

图源:AI制作

与此同时,为了鼓舞士气,作为Meta创始人的扎克伯格,更是放出2025年继续扩大AI投资的新消息,称2025年围绕AI的整体支出将达到600亿-650亿美元,相比去年的380亿-400亿美元,增长了超过70%,从而构建起一个拥有130万块GPU的超级计算机集群。

除了跟Meta抢开源之王的名头外,DeepSeek正在从OpenAI手里抢走客户。

在比OpenAI便宜30倍的API价格诱惑力之下,一些初创公司正在改换门庭。企业级AI代理开发商SuperFocus的联合创始人Steve Hsu认为,DeepSeek的性能与为SuperFocus大部分生成式AI功能提供支持的OpenAI旗舰模型GPT-4相似甚至更好。“SuperFocus可能会在未来几周转向DeepSeek,因为DeepSeek可以免费下载、在自家服务器上存储和运行,并将增加销售产品的利润率。

成为更多公司的模型底座,这也是梁文锋规划中DeepSeek最想占据的定位。在梁文锋看来,DeepSeek未来可以只负责基础模型和前沿的创新,然后其他公司在DeepSeek的基础上构建To BTo C的业务。如果能形成完整的产业上下游,我们就没必要自己做应用。梁文锋说道。

国内,对DeepSeek的研究也在同步进行。有报道称,字节跳动、阿里通义以及智谱、Kimi等团队,都在积极研究DeepSeek,字节跳动甚至可能在考虑与DeepSeek展开研究合作。

在这些公司之前,雷军更是先人一步挖起了DeepSeek的墙角。去年12月,第一财经爆料称,雷军疑似开出千万年薪亲自挖来“95后天才少女罗福莉,后者是DeepSeek-V2开源模型的关键开发者。未来,罗福莉或将供职于小米AI实验室,领导小米大模型团队。

挖人之外,国内更激烈的竞争或将同样围绕API展开,去年国内有一批创业公司和中小企业,因为OpenAI断供转向了国内大模型公司,现在DeepSeek很有可能成为收复OpenAI失地的那个野蛮人。恒业资本创始人合伙人江一预测道。

压力传导到了这些国内大模型公司身上。如果它们不能快速将模型效果跟进到R1级别,客户就难免用脚投票。

https://baijiahao.baidu.com/s?id=1822402800030205823

 

DeepSeek,全称杭州深度求索人工智能基础技术研究有限公司,成立于2023717日,是一家创新型科技公司,专注于开发先进的大语言模型(LLM)和相关技术。 [4]注册地位于浙江省杭州市拱墅区环城北路169号汇金国际大厦西11201室,法定代表人为裴湉。 [7]

DeepSeek的经营范围包括技术服务、技术开发;软件开发等。 [7]202415日,发布DeepSeek LLM,这是深度求索的第一个大模型。 [10]2024125日,发布DeepSeek-Coder [10]202425日,发布DeepSeekMath [10]2024311日,发布DeepSeek-VL [10]202457日,发布DeepSeek-V2 [10]2024617日,发布DeepSeek-Coder-V2 [10]202495日,DeepSeek 官方更新 API 支持文档,宣布合并 DeepSeek Coder V2 DeepSeek V2 Chat 两个模型,升级推出全新的 DeepSeek V2.5 新模型。 [8]20241213日,发布用于高级多模态理解的专家混合视觉语言模型——DeepSeek-VL2 [10]20241226日晚,AI公司深度求索(DeepSeek)正式上线全新系列模型DeepSeek-V3首个版本并同步开源。 [1-2]1230日,中信证券研报指出,DeepSeek-V3的正式发版引起AI业内广泛高度关注,其在保证了模型能力的前提下,训练效率和推理速度大幅提升。

中信证券研报评价DeepSeek-V3“DeepSeek新一代模型的发布意味着AI大模型的应用将逐步走向普惠,助力AI应用广泛落地;同时训练效率大幅提升,亦将助力推理算力需求高增。我们持续看好AI产业链的加速落地机遇,建议重点关注AI应用、AI InfraAI算力三大主线。

https://baike.baidu.com/item/DeepSeek/65258669



https://blog.sciencenet.cn/blog-415-1470764.html

上一篇:2002年5月1--15日记事本有关中学历史教材改革问题的记叙
下一篇:和上海92岁高龄吕启东兄通电话
收藏 IP: 1.89.181.*| 热度|

0

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

1/0 | 閹槒顓�:0 | 妫f牠銆� | 娑撳﹣绔存い锟� | 鐠哄疇娴�

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2025-2-1 04:33

Powered by ScienceNet.cn

Copyright © 2007-2025 中国科学报社

返回顶部