
数学自动形式化迎来重大突破:OpenBMB开源MathForm,8B模型凭实力逆袭大厂
在现代数学与人工智能的交叉领域中,如何让机器准确“读懂”并通过形式化验证数学定理,一直是攻克通用人工智能(AGI)的核心挑战之一。OpenBMB团队近日正式开源了全新的数学自动形式化开源框架、数据集与模型——MathForm。 长期以来,数学形式化(例如基于 Lean4语言)不仅...
最近有哪些产品和公司在密集发生“模型发布”
想看最近哪些产品、模型和公司在集中出现“模型发布”相关动作,这一页会更省时间。
相比泛资讯流,这里更适合直接跟踪这类事件本身的最新变化。
模型发布资讯
5,076
正文图片
15,199

在现代数学与人工智能的交叉领域中,如何让机器准确“读懂”并通过形式化验证数学定理,一直是攻克通用人工智能(AGI)的核心挑战之一。OpenBMB团队近日正式开源了全新的数学自动形式化开源框架、数据集与模型——MathForm。 长期以来,数学形式化(例如基于 Lean4语言)不仅...

8月24日,视频生成模型Wan3.0正式上线。模型在生成时长、万能创作、全能参考、真实世界还原四大维度全面升级,单次最高可生成30秒原生视频,同时首次支持doc、xls、ppt、pdf、md等文档格式输入,致力于精准还原真实物理世界,降低高质量视频创作门槛。 自8月6日开启公测以...

8月25日,字节跳动旗下豆包正式发布面向企业办公场景的Agent——豆包工作。 “豆包工作”定位为面向生产力场景的企业级Agent产品。据官方介绍,豆包工作能围绕用户目标自主拆解任务、调用工具、持续推进复杂工作流程。目前,豆包工作电脑版已可通过官网下载,用户也可在最新豆包电脑版中...

品玩8月24日讯,达摩院今天宣布,发布医疗影像AI模型DAMO LiON,作为"AI安全员"协助医生阅片,重点提升原发性肝癌及易被忽视的肝转移病灶检出率。实验显示,该模型识别恶性肿瘤的准确率高于放射科医生;在AI协助下,医生阅片用时减少27%,恶性肿瘤敏感性提高11.5%,初级医...

【TechWeb】8月20日消息,据火山引擎官方及特斯拉车主反馈证实,自2026年7月31日起,特斯拉已开始通过 2026.14.13版本车机软件,向中国车主分批次推送豆包大模型服务。此举标志着特斯拉成为首家在车机系统中深度集成字节跳动旗下火山引擎AI大模型的国际汽车制造商。 据...

本文来自微信公众号: AI前线 ,作者:四月 过去60天,全球主流AI部署平台Vercel AI Gateway的调用数据揭示出一个重要拐点:开源模型的Token调用份额从28%暴涨至62%,历史上首次反超闭源模型,成为当下模型市场的主流。 更关键的信号是,这轮反超恰逢闭源模型密...

阿里巴巴于8月24日正式推出全新的视频生成大模型Wan3.0。此次升级标志着阿里在视频生成领域迎来一次全方位的跨越,模型在生成时长、万能创作、全能参考以及真实世界还原等核心维度实现了深度突破。 在生成能力上,Wan3.0将单次视频生成时长显著提升至30秒,大幅拓展了单一镜头的叙事...
8 月 23 日,橡鹿机器人正式发布了全球首个基于真实厨房数据训练的多模态烹饪AI基础模型——“CookingMuse厨启”。这一突破性进展标志着烹饪人工智能正在从简单的指令执行,向深度理解和真实场景应用跨越。 与此同时,该公司还同步推出了两款核心硬件产品:3K视觉AI炒菜机器人...

在自研芯片赛道深耕五年多后,小米正式对外发布玄戒芯片家族新一代产品——玄戒O3、玄戒O100、玄戒D100。三款芯片分别瞄准移动终端、大模型加速、智能驾驶三大场景,全部完成回片验证,标志着小米自研芯片正式从手机SoC、基带双线突破,迈向覆盖人、车、家全场景的AI算力布局。 小米重...
在人工智能大模型全面普及的背景下,终端厂商在硬件底座上的较量正在进入深水区。小米在玄戒芯片技术沟通会上,正式推出了旗下首款大模型专用AI加速芯片——玄戒O100,标志着其在核心算力芯片自研道路上迈出了关键一步。 突破性工艺与强悍带宽 在底层硬件架构与制造工艺上,玄戒O100 采用...

OpenAI正式推出ChatGPT自定义贴纸功能,用户可将照片、创意想法或趣味内容生成个性化贴纸,并直接导出至iMessage和WhatsApp等聊天应用。该功能支持生成透明背景贴纸,并允许用户创建完整贴纸包。 据介绍,用户可以从图库上传一张或多张图片,让ChatGPT将图片转换...

本文来自微信公众号: ZAI科技 ,作者:Zeztz,原文标题:《OpenAI 与 DeepSeek 同时开放 Harness,开源正在变成一场生态战争》 ZAI观察 本文看点:当开源威胁利益,它叫“Full AI Communism”;当开源能够扩大生意,它就叫生态。开源没有拆...

每经记者|宋欣悦 每经编辑|兰素英 《每日经济新闻》根据OpenRouter最新数据测算,上周(8月17日至8月23日)全球AI大模型总调用量为93.3万亿Token,环比增长23.9%。 其中,上榜的AI大模型中,中国AI大模型周调用量达40.48万亿Token,环比增9.88...

近日,字节跳动正式推出面向生产力场景的全新AI Agent产品——豆包工作,依托自主任务规划、跨工具调用、虚拟桌面操控等核心能力,结合飞书企业生态深度整合,面向各类办公场景提供端到端智能工作解决方案,推动AI办公从内容辅助生成迈向全流程自主执行。 作为一款新一代智能办公Agent...

OpenAI 近日正式为旗下人工智能助手 ChatGPT 推出了全新的自定义贴纸功能,进一步拓展了 AI 在大众社交内容创作领域的应用边界。 在核心功能方面,用户可以通过多种直观的方式来创作个性化贴纸。无论是直接上传照片、输入文字提示词,还是巧妙迁移不同的视觉艺术风格,ChatG...

去年发布玄戒 O1 时,小米要证明的是:它究竟能不能做出一颗真正意义上的旗舰手机 SoC。 到了今天这个时间节点,玄戒 O1 踏实的完成了从零到一,也用三款终端和超过百万颗的出货量走过了第一轮市场验证。摆在新一代玄戒芯片面前的,是小米能不能把自研芯片变成一项能够持续迭代的能力,并...

文 | 半导体产业纵横 "我在此郑重承诺,从现在开始,安世中国将以崭新、高性价比的12英寸晶圆产品,稳定可控的供应链,回馈客户的支持。"今天,安世中国CEO张秋明在新品全球发布会上作出这项承诺,并给出产品路线图:第三季度发布超过900个基于12英寸晶圆平台的产品,第四季度再发布超...

2026 年 8 月 24 日,小米于北京召开了玄戒芯片技术沟通会,正式发布三款玄戒芯片:当代 AI 旗舰 SoC 玄戒O3、1.22TB/s 高带宽 AI 加速芯片玄戒O100,以及智驾高算力 AI 芯片玄戒D100。此次的三芯齐发,是小米在芯片业务上的重要扩充,标志着玄戒已突...