5600 亿参数震撼开源!美团 LongCat 登顶:数学证明领域迎来新“天花板”
在大模型向垂直专业领域进军的征途中,美团 刚刚交出了一份令学术界与工业界瞩目的答卷。3月21日,美团 正式开源了名为 LongCat-Flash-Prover 的超大规模数学证明模型。这款拥有 5677亿参数 的巨兽,采用了先进的 MoE(混合专家模型)架构,专门针对极其复杂的数学形式化证明问题进行...
在大模型向垂直专业领域进军的征途中,美团 刚刚交出了一份令学术界与工业界瞩目的答卷。3月21日,美团 正式开源了名为 LongCat-Flash-Prover 的超大规模数学证明模型。这款拥有 5677亿参数 的巨兽,采用了先进的 MoE(混合专家模型)架构,专门针对极其复杂的数学形式化证明问题进行...
在 AI 编程工具(OpenClaw/Coding)用户群体中,如何在高频任务与算力成本之间取得平衡一直是核心痛点。今日,大模型领军企业阶跃星辰正式发布了专为开发者设计的月度订阅方案 —— Step Plan。这一被戏称为“养虾套餐”的新方案,旨在为重度依赖 AI 编程和 Agent 任务的用户提供...
在2026年中国发展高层论坛年会上,小米集团雷军明确表示,备受关注的电脑版AI智能体“龙虾”(MiClaw)已列入开发计划。此前,小米已于3月6日开启手机版MiClaw的小范围封测,并于3月19日的春季新品发布会上释放了跨端协作的信号。随着小米自研大模型MiMo-V2-Pro于上周正式实现全平台上线...
曾经坚持“无广告”体验的 OpenAI 终于向商业化压力妥协。本周日,OpenAI 发言人正式确认,公司计划在未来几周内开始向美国地区的 ChatGPT 免费版及 Go 版用户展示广告。这一举动标志着全球最受欢迎的 AI 聊天应用正式开启了大规模流量变现之路。据悉,广告技术巨头 Criteo 已被选...
腾讯今日推出“微信ClawBot”插件,正式打通个人AI助手“OpenClaw”(龙虾)与微信的私密连接通道。该举措标志着腾讯正加速其模型生态与主流社交应用的无缝整合,为用户在移动端高频场景调用个人AI助手提供了便捷入口。目前,该插件正逐步向用户放量。通过该插件,用户仅需两个步骤即可完成连接:首先在...
在 AI 领域,马斯克 的野心正在从“聊天框”延伸至每一台 PC 的深度操作。3月21日,马斯克 在 X 平台正式确认,备受瞩目的 Grok Computer 智能体即将上线。这一动作被外界解读为马斯克旗下 AI 平台 Grok 迈向系统级交互的关键一步,也是其此前透露的“巨硬(Macrohard)...
在全球大模型竞速赛中,国产力量正展现出惊人的爆发力。根据最新行业数据显示,国产大模型 MiniMax M2.5 已连续五周霸榜全球大模型调用量冠军。这一成绩不仅刷新了国产 AI 在国际市场的活跃度纪录,更标志着以 MiniMax 为代表的中国大模型正在从“追随者”向“定义者”转型。MiniMax 研...
在全球科技巨头持续裁员的背景下,OpenAI正逆势开启大规模扩张。据《金融时报》报道,该公司计划在2026年底前将其员工总数由目前的4500人扩充至8000人。此次招聘重点覆盖产品开发、工程研发及销售部门,并特别增设“技术大使”(Technical Ambassadors)专家岗位,旨在通过现场指导...
3月23日,千问上线打车能力,可一句话完成选车型、添加途经点、预约时间等操作,还支持“要空气清新的车,价格不超过30元”、“驾驶平稳”、“服务态度好”等个性化需求。即便是复杂需求,用户只需直接表达,千问都能理解意图并完成车辆匹配。例如,“我们一家人想去什刹海看夕阳,打车去,6个人”,系统可自动判断人...
在通用大模型加速落地的下半场,互联网巨头的研发组织架构正迎来一场前所未有的“去实验室化”变革。3月20日,腾讯内部的一则调整通知引发了行业震动:成立近十年的 腾讯 AI Lab 正式被撤销,其研究能力将被整体并入大模型体系。这一变动意味着,曾经作为集团级基础研究机构的 AI Lab,将告别“独立探索...
在 AI 行业最具标杆意义的版权纠纷案中,关于“分蛋糕”的争论再次引发关注。据最新法庭文件显示,针对人工智能巨头 Anthropic 此前达成的 15 亿美元版权和解案,原告律师团已主动将其申请的律师费用从 3 亿美元大幅下调至 1.875 亿美元。这一动作并非律所“慷慨解囊”,而是迫于法院和被告方...
埃隆·马斯克近日在德克萨斯州奥斯汀举行的一场活动中,正式披露了旗下SpaceX与特斯拉在半导体制造领域的深度合作蓝图。据彭博社报道,马斯克计划在特斯拉奥斯汀总部及“超级工厂”附近兴建一座名为“Terafab”的专用芯片制造中心。此举旨在通过垂直整合供应链,彻底解决现有半导体产能无法满足其在人工智能与...
本周,拥有高估值的美国AI编程初创公司Cursor正式推出新一代模型Composer2,官方宣称其具备“前沿级编码智能”。然而,该模型发布后不久即陷入舆论风暴。社交平台X用户Fynn通过代码取证指出,Composer2的底层疑似为Moonshot AI(月之暗面)近期发布的开源模型Kimi k2.5...
据TechCrunch获悉,尽管SEC负责此案的工作人员去年建议采取执法行动,但美国证券交易委员会 (SEC) 已结束了对电动汽车初创公司法拉第未来 (Faraday Future) 的调查。 四位熟悉调查情况的消息人士(不愿透露姓名)告诉TechCrunch,美国证券交易委员会已于上周向该公司和...
Nvidia的GTC会议内容应有尽有:万亿美元的销售预测、可以量化视频游戏的图形技术、每个公司都需要OpenClaw战略的宏伟宣言,甚至还有迪士尼《冰雪奇缘》中深受喜爱的雪人奥拉夫的机器人版本。 在最新一期的TechCrunch股票播客中,TechCrunch的Kirsten Korosec、Se...
人工智能编码公司Cursor本周推出了一款名为Composer 2的新模型,宣传该模型提供“前沿级编码智能”。 然而,一位名为Fynnsoon的X用户发帖称,Composer 2 “只是Kimi 2.5”,加上了额外的强化学习——Kimi 2.5是Moonshot AI最近发布的开源模型,Moon...
埃隆·马斯克 (Elon Musk) 最近概述了他的公司Tesla和SpaceX之间的芯片制造合作雄心勃勃的计划。 彭博社报道称,马斯克于周六晚上在德克萨斯州奥斯汀市中心的一次活动中分享了他的计划,并附有一张照片,暗示马斯克所谓的“Terafab”设施将建在Tesla奥斯汀总部和“超级工厂”附近。...
欢迎回到TechCrunch Mobility,这是您获取有关未来交通的新闻和见解的中心枢纽。要将其发送到您的收件箱,请在此处免费注册 - 只需点击TechCrunch Mobility! 如果您没有注意到,Uber突然无处不在,至少在自动驾驶汽车方面是如此。该公司早在2020年就出售了内部自动驾...
AmazonCEO安迪·贾西 (Andy Jassy) 宣布AWS与OpenAI达成突破性的500亿美元投资协议后不久,Amazon邀请我私人参观该交易核心的芯片开发实验室,费用(大部分*)是由其自费。 行业专家正在关注亚马逊在该工厂生产的Trainium芯片,看其对低成本人工智能推理的影响,并有...
本周,一个在硅谷引起轰动的话题再次成为人们关注的焦点:人工智能代币作为补偿。 这个想法很简单——公司不会只给工程师工资、股权和奖金,而是会给他们一份AI代币预算,即为Claude、ChatGPT和Gemini等工具提供动力的计算单元。用它们来运行代理、自动化任务、编写代码。其主张是,获得更多计算能...