国思软件 - 新闻资讯

陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限

视频新人博主陶哲轩又更新了！这次是“喂饭级”AI 教程—— 手把手演示如何只用 GitHub Copilot 证明函数极限问题。（这更新频率确实o(￣▽￣)ｄ）据陶哲轩介绍，他此前主要将 GitHub Copilot 用于一些“花里胡哨”的代码补全，但实际情况是，如果想让它来证明数学定理，往往需

新闻分类：行业新闻浏览：2272 阅读全文

颜水成领衔，给AI分段位！超100款多模态模型，无人达到L5

新智元报道编辑：LRS 理想中的多模态大模型应该是什么样？十所顶尖高校联合发布 General-Level 评估框架和 General-Bench 基准数据集，用五级分类制明确了多模态通才模型的能力标准。当前多模态大语言模型在任务支持、模态覆盖等方面存在不足，且多数通用模型未能超越专家模型，真正的

新闻分类：行业新闻浏览：3117 阅读全文

极氪不到一年拟退市，吉利要下盘大棋

文 | Tech 星球，作者 | 任雪芸 5 月 13 日晚间，极氪发布公告称，董事会已成立由独立董事组成的特别委员会，评估控股股东吉利汽车于 5 月 7 日提出的私有化提案，标志着极氪从美股退市、回归吉利体系的流程正式启动。根据吉利 5 月 7 日港股公告，其目前持有极氪 65.7% 股份，若收

新闻分类：行业新闻浏览：651 阅读全文

零跑：靠实力硬卷，新能源乱世有 “真香”

文 | 海豚投研 $零跑汽车 .HK 于北京时间 5 月 19 日港股盘后发布了 2025 年第一季度财报。此次业绩仍然表现非常不错，已经连续三个季度 beat 市场预期。具体来看： 1. 毛利率在一季度销量淡季还能持续环比提升，达到了历史新高：一般新能源车企由于一季度销量淡季，汽车毛利率很难会呈现

新闻分类：行业新闻浏览：1635 阅读全文

携程：又是增收不增利，优等生也遇到难题了？

文 | 海豚投研北京时间 5 月 20 日早美股盘后，$携程网 .US 公布了 2025 财年 1 季度财报，详细要点如下： 1、整体来看，本季携程整体净收入 138 亿元（剔除营业税），同比增长 16%，和市场预期近乎完全一致。利润上，加回股权激励支出的调整后经营利润为 40.4 亿，同比仅增长

新闻分类：行业新闻浏览：5029 阅读全文

冲击高端，OPPO必须拿下三场战役

文 | 市值榜，作者 | 唐晨，编辑 | 何玥阳 5 月 15 日，OPPO 开了一场新品发布会，不出意外，新机型 OPPO Reno 14，仍然是主打影像，还模拟出了最近很火的”撕拉片“显影动画效果。对于影像，OPPO 是很有自信的。在去年 OPPO 举办 Find X8 系列及旗舰生态新品发

新闻分类：行业新闻浏览：3944 阅读全文

零跑汽车董事长朱江明辟谣去世传闻

日前，一段关于零跑汽车创始人、董事长朱江明去世的谣言在网络流传。5 月 20 日，朱江明发出一段辟谣视频，称“造谣很容易，辟谣却很难”。他还在视频中表示：“昨天我们发布的 2025 年一季度财报，取得了超预期的成绩。我还很意外地收到了很多朋友的问候。说实话，看到这个谣言的时候，我挺无奈。作为创业者，

新闻分类：行业新闻浏览：2079 阅读全文

理想 MEGA Home 汽车正式下线，5 月 23 日陆续开启全国交付

5 月 20 日消息，理想 MEGA 家族新成员 —— 理想 MEGA Home 家庭特别版汽车今日在理想汽车北京绿色智能制造基地正式下线，将于 5 月 23 日陆续开启全国交付。据介绍，理想 MEGA Home 二排配备两把零重力旋转座椅，支持 45 度便捷上下车、90 度露营模式、180 度对

新闻分类：行业新闻浏览：2844 阅读全文

英伟达推出新技术加速AI芯片连接，期望构建互联互通生态

5 月 19 日，在台湾举办的 Computex 2025 上，英伟达推出新技术“NVLink Fusion”，允许非英伟达 CPU 和 GPU，同英伟达产品以及高速 GPU 互连技术 NVLink 结合使用，加速 AI 芯片连接。新技术的推出旨在保持英伟达在人工智能开发和计算领域的中心地位。有分析

新闻分类：行业新闻浏览：2817 阅读全文