中国AI实验室已基本与美国顶尖水平旗鼓相当。其中， DeepSeek 凭借其模型智能水平跃升至全球第二，表现尤为亮眼；此外，一个由超过10家核心参与者组成的深厚生态系统也为其发展提供了强大支撑 ...

智东西5月30日消息，今日，知名独立AI基准测试和分析机构Artificial ...

陶哲轩表示，大约 20 年前，他写了一本名为《Analysis I》的实分析教材，旨在补充市面上众多优秀的实分析教材。该书侧重于基础问题，例如自然数、整数、有理数和实数的构造，并提供足够的集合论和逻辑知识，使学生能够进行高度严谨的证明。

近日，AI领域传来了一则令人瞩目的消息，知名独立基准测试机构Artificial ...

在数学界，陶哲轩的名字如雷贯耳，他不仅是著名的数学家，还是一位不知疲倦的教育者。最近，他再次引起了广泛关注，宣布为自己20年前撰写的经典实分析教材《Analysis I》创建了一个配套项目，采用了Lean这一现代化的数学工具。让我们深入探讨这位杰出数学家的新举措，以及它对教育和数学研究的潜在影响。 一、陶哲轩与《Analysis I》的回顾 陶哲轩于2003年首次出版的《Analysis I》教材 ...

模型与API独立分析公司Artificial Analysis @ArtificialAnlys 对DeepSeek R1-0528结论如下：DeepSeek R1 一举超越 xAI、Meta 和 Anthropic，与谷歌并列成为全球第二大人工智能实验室，并成为开源权重领域无可争议的领导者。DeepSeek R1 0528版本在Artificial Analysis智能指数中的得分从60分跃升至 ...

为解决全球严重牙周炎（Severe periodontitis）疾病负担评估不足及健康不平等问题，华中科技大学同济医学院附属同济医院等机构研究人员基于全球疾病负担研究（GBD 2021）数据，采用前沿分析（Frontier analysis）、分解分析（Decomposition ...

研究团队对12个从头组装的和5个先前发表的海岛棉基因组开展泛基因组研究。泛基因组的尺寸大小排列组合数据显示，14个基因组就包含99%以上的基因家族，且基因家族数量增长曲线几乎趋于平稳。这表明这17个海岛棉材料不仅具有代表性，而且在总体上较为完整。

格隆汇5月14日｜近日，全球知名AI基准测试机构Artificial Analysis发布了最新的全球视频生成大模型榜单，快手可灵2.0模型以1124分的Arena ELO基准测试评分位居图生视频(Image to Video)赛道榜首，超越了此前一直领跑的可灵1.6(Pro)模型，这也是快手可灵模型连续第三个月登顶该榜单。 4月15日，可灵AI在北京举行发布会，正式推出可灵2.0(大师版)，在动 ...