陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限
视频新人博主陶哲轩又更新了！这次是“喂饭级”AI 教程—— 手把手演示如何只用 GitHub Copilot 证明函数极限问题。 （这更新频率确实o(￣▽￣)ｄ） 据陶哲轩介绍，他此前主要将 GitHub Copilot 用于一些“花里胡哨”的代码补全，但实际情况是，如果想让它来证明数学定理，往往需
手绘草图一键变3D游戏形象！腾讯出手AI游戏视觉设计
西风发自凹非寺 量子位 | 公众号 QbitAI 手绘草图一键变身专业游戏形象： 随后还能生成符合游戏标准A/T pose 的角色多视图360°角色旋转演示视频 AI 用于游戏美术设计，专业玩家腾讯出手了！ 刚刚，腾讯混元发布游戏视觉生成平台，即一站式 AIGC 游戏内容生产引擎，同时推出面向工业级
LLM又曝致命缺陷：根本不会看时钟！博士惊呆，准确率不及50%
新智元报道 编辑：KingHZ AI 能写论文、画图、考高分，但连「看表读时间」「今天是星期几」都错得离谱？最新研究揭示了背后惊人的认知缺陷，提醒我们：AI 很强大，但精确推理还离不开人类。 有些任务对人类来说轻而易举，但 AI 频频出错。 比如，单词「strawberry」中有几个字母「r」一度难
颜水成领衔，给AI分段位！超100款多模态模型，无人达到L5
新智元报道 编辑：LRS 理想中的多模态大模型应该是什么样？十所顶尖高校联合发布 General-Level 评估框架和 General-Bench 基准数据集，用五级分类制明确了多模态通才模型的能力标准。当前多模态大语言模型在任务支持、模态覆盖等方面存在不足，且多数通用模型未能超越专家模型，真正的
震撼全网，AlphaEvolve矩阵乘法突破被证明为真！开发者用代码证实
新智元报道 编辑：Aeneas 定慧 太震撼了，有开发者代码实证后发现，谷歌 AlphaEvolve 的矩阵乘法突破，被证明为真！Claude 辅助下，他成功证明，它果然仅用了 48 次乘法，就正确完成了4×4 矩阵的乘法运算。接下来，可以坐等 AlphaEvolve 更「奇点」的发现了。 就在刚刚
基本物理任务，全球顶级AI均失败！普通零件加工，o3不如老师傅
新智元报道 编辑：KingHZ 在基本物理任务上，前沿 AI 模型仍会失败！ML 研究院的测试案例显示白领将被 Ai 替代，而制造业等蓝领工作不受影响。未来已来，只是分布得不均匀。 基于 AI 研究、机器人以及实际制造等过往经验，Adam Karvonen 在零件制造任务上，测评了顶尖模型的表现。
多模态检索大升级！智源三大SOTA模型，代码、图文理解能力拉满
新智元报道 编辑：Aeneas 犀牛 就在刚刚，智源研究员联合多所高校开放三款向量模型，以大优势登顶多项测试基准。其中，BGE-Code-v1 直接击穿代码检索天花板，百万行级代码库再也不用怕了！ 检索增强技术在代码及多模态场景中的发挥着重要作用，而向量模型是检索增强体系中的重要组成部分。 针对这一
CoT推理大溃败？哈佛华人揭秘：LLM一思考，立刻就「失智」
新智元报道 编辑：KingHZ DeepSeek-R1 引爆了 LLM 推理革命，人们几乎形成了共识：推理能力越强，LLM 越好。但多位华人参与的研究揭示：思维链 CoT 分散模型「注意力」，可能是性能崩塌的导火索。 DeepSeek-R1 火了，推理模型火了，思维链（Chain-of-Though
斗鱼：一季度创新业务、广告及其他收入3.83亿元，同比增长60.2%
斗鱼发布 2025 年第一季度财报。本季度斗鱼总收入 9.47 亿元，其中创新业务、广告及其他收入 3.83 亿元，同比增长 60.2%；毛利润为 1.14 亿元，同比增长 4.1%，环比增长 62.6%；运营亏损为 2610 万元，同比减少 84.3%；调整后净亏损为 2090 万元，同比缩窄 7
人体肺活量衰减始于 20-25 岁
一项研究首次揭示了肺活量从童年到老年的演变过程。学术界此前认为，人体肺功能在 20 至 25 岁达到顶峰，之后趋于稳定，并于成年后期随着肺部衰老而开始衰退。然而，这一模型是基于并未覆盖全生命周期的研究建立的。相比之下，新研究采用了“加速队列设计”，即将多项队列研究数据整合以覆盖所需年龄范围。 研究显
哪吒汽车轰然倒塌，下一个是谁？
文 | 周天财经，作者 | 晏川 很少有人能预见到哪吒汽车会在短短几年内经历如此戏剧性的命运转折。 凭借亲民价格，哪吒汽车一度成为汽车市场的黑马，2021 年全年销量突破 6.9 万辆，同比增长超过 360%，在造车新势力中一跃成为销量前五强。2022 年似乎更是哪吒扬帆起航的一年，全年交付 15.
极氪不到一年拟退市，吉利要下盘大棋
文 | Tech 星球，作者 | 任雪芸 5 月 13 日晚间，极氪发布公告称，董事会已成立由独立董事组成的特别委员会，评估控股股东吉利汽车于 5 月 7 日提出的私有化提案，标志着极氪从美股退市、回归吉利体系的流程正式启动。 根据吉利 5 月 7 日港股公告，其目前持有极氪 65.7% 股份，若收
零跑：靠实力硬卷，新能源乱世有 “真香”
文 | 海豚投研 $零跑汽车 .HK 于北京时间 5 月 19 日港股盘后发布了 2025 年第一季度财报。此次业绩仍然表现非常不错，已经连续三个季度 beat 市场预期。具体来看： 1. 毛利率在一季度销量淡季还能持续环比提升，达到了历史新高：一般新能源车企由于一季度销量淡季，汽车毛利率很难会呈现
瑞幸打工人，想让黎辉更佛系
文 | 市象，作者 | 景行，编辑 | 文昌龙 “外卖平台都约谈了，这场外卖大战什么时候才能结束啊？”一位咖啡师向「市象」问道。 近段时间，外卖平台上演补贴大战，咖啡价格不断卷出新低。「市象」观察发现，在美团外卖、饿了么（淘宝闪购）、京东外卖的全力补贴下，社交媒体上出现大量的“2 元喝瑞幸”，“2
无人机考证热背后：掏空年轻人钱包，养肥培训机构
文| Tech 星球，作者 | 陈桥辉 从繁华都市的高楼大厦间穿梭进行影视航拍，到广袤农田上空助力农业植保，再到电力线路巡检保障能源输送，无人机早已从曾经的小众科技玩具，逐步渗透进各行各业。与此同时，无人机考证热潮也随之兴起。 Tech 星球发现，就连作为老牌汽车驾考培训平台的“驾考宝典”，也推出了
当AI搜索结果也是 123 上链接，有多大搞头？
文 | 太平洋科技 说到 AI，你脑子里浮现的第一个应用产品是什么？ 如今，万物皆可 AI。或者说，万物皆需 AI。 家里的监控、冰箱、洗衣机，甚至买个咖啡机，似乎只要是个带电的，都能说集成了 AI 技术。甚至于之前在某展会上，还看到了个 AI 面膜。 明明是和之前一样的产品形态，却似乎不加个 AI
小米在越南“杀疯了”
文 | 增长工场，作者 | 武占国，编辑 | 小戎 越南手机市场竞争进入白热化阶段。 根据 Counterpoint 最新报告，今年一季度，越南市场智能手机市场整体出货量同比下降5%，但小米逆势增长9%，凭借 Redmi Note 14 的热销和渠道合作跃居市场份额第二。 与此同时，在越南三星份额下
携程：又是增收不增利，优等生也遇到难题了？
文 | 海豚投研 北京时间 5 月 20 日早美股盘后，$携程网 .US 公布了 2025 财年 1 季度财报，详细要点如下： 1、整体来看，本季携程整体净收入 138 亿元（剔除营业税），同比增长 16%，和市场预期近乎完全一致。利润上，加回股权激励支出的调整后经营利润为 40.4 亿，同比仅增长
外卖价格战，会「伤及」拼好饭吗？
文 | 新识研究所，作者 | 杨启隆，编辑 | 丁力 即时零售引起的外卖混战，能打得过美团拼好饭吗？ 今年二季度，随着美团、京东以及淘宝联手饿了么在外卖市场的激烈角逐与疯狂补贴，价格战愈演愈烈，消费者也在这场混战中感受到了实 实在在的变化。 消费者李汶向我们表示，“现在点外卖真的太有性价比了，先上几
冲击高端，OPPO必须拿下三场战役
文 | 市值榜，作者 | 唐晨，编辑 | 何玥阳 5 月 15 日，OPPO 开了一场新品发布会，不出意外，新机型 OPPO Reno 14，仍然是主打影像，还模拟出了最近很火的”撕拉片“显影动画效果。 对于影像，OPPO 是很有自信的。 在去年 OPPO 举办 Find X8 系列及旗舰生态新品发
绩后暴涨11%！25Q1 AI核心业务狂飙60%！第四范式确实“最具成长性”？
文 | 港股研究社 "AI 落地攻坚战"正在徐徐推进。 日前，中国企业人工智能方案供应的领导者——第四范式（06682.HK）披露了最新季报。 财报显示，第一季度，第四范式总收入为 10.77 亿元，同比增长 30.1%；毛利润 4.44 亿元，同比增长 30.1%，毛利率为 41.2%。收入、利润
外卖大战，成为饿了么的逆袭良机
5 月 15 日晚间，阿里巴巴集团公布 2025 财年第四季度及全年业绩。这是今年外卖大战开启后首份来自阿里的财报，本地生活的表现自然备受关注。 财报数据显示，在截至 2025 年 3 月 31 日止季度，受饿了么和高德订单快速增长驱动，本地生活集团收入 161.34 亿元，相比 2024 年同期的
美团闪购加码“每日神价”，打造即时零售“天天低价”专区
文 | Tech 星球，作者 | 王琳 Tech 星球获悉，近期，美团闪购对其频道内主打生活消耗品“天天低价”的“每日神价”专区，进行了更大范围的放量提级。 “每日神价”专区内的商品，多为用户平日所需的生活消耗品，如酒水饮料、乳品冰品、水果零食、速食泡面、抽纸洗护等。Tech 星球注意到，该专区内水
美的方洪波，士为知己者死
文 |司库财经，作者 | 质子，编辑 | 嘉嘉 “人年纪大了认知会退化，慢慢就会让人讨厌，可那时候自己不知道被讨厌，甚至还以为大家很喜欢，我一定不会让自己拖到那天。” 在 2025 年 Q1 财报分析师会议上，当被问到企业接班人问题时，方洪波给出了自己的答案，自己不会恋权，已经为美的培养了六七个随时
吉利，在憋一个“大招”？
文 | 趣解商业，作者 | 刘亮，编辑 | 趣解商业汽车组 5 月 15 日，吉利汽车（0175.HK）公布了 2025 年第一季度的财务数据。 吉利汽车 Q1 实现营收 725 亿元，同比增长了 25%；归母净利润 56.7 亿元，同比激增 264%；一季度汽车销量更是高达 70.38 万辆，创历
7-Eleven 在东京都地区测试机器人送货
7-Eleven 日本公司宣布，试水从店铺到顾客家中的机器人送货服务。自 5 月 19 日至明年 2 月底在东京都八王子市的南大泽地区实行。机器人通过摄像头识别交通信号灯和行人，实现自主行驶。该公司着眼于少子老龄化导致的人手不足，将讨论把服务推广至其他地区。 顾客可通过智能手机上的送货上门服务“7N
微软开源 NLWeb：“智能体 Web 时代的 HTML”
微软发布了名为 “NLWeb” 的开源项目，旨在简化创建网站的自然语言对话界面，使任何网站都能轻松转变为 AI 驱动的应用程序。 NLWeb 定位为 “智能体 Web 时代的 HTML”，支持自定义模型与数据交互，旨在帮助开发者轻松将网站转化为支持自然语言交互的 AI 应用，可提供 “类似 Chat
Grok3 在 GitHub Models 推出公开预览版
xAI 最新的人工智能模型 Grok3 已正式在 GitHub Models 上推出公开预览版。 Grok3 作为一款功能强大的工具，适用于数据提取、代码编写、文本摘要等任务，广泛服务于金融、医疗、法律和科学等行业。由 xAI 开发的 Grok3 旨在提供卓越的推理和编码性能，具备实时更新的特性，摆
微软要将 VS Code 打造成开源 AI 编辑器
微软计划将 Visual Studio Code (VS Code) 打造为一款开源 AI 编辑器。 作为此计划的一部分，GitHub Copilot Chat 扩展中的代码将以 MIT 许可证开源，并逐步将其相关组件重构到 VS Code 核心中。 微软认为，大型语言模型的进步、AI 交互用户体验
