关闭导航

包含标签"技术报告"的内容

美团龙猫团队开源LongCat-Flash-Prover 刷新数学形式化定理证明开源SOTA纪录
AI妹 22 天前 1 0

2026年3月24日,美团龙猫(LongCat)团队正式开源专门用于数学形式化与定理证明的深度学习模型——LongCat-Flash-Prover。该模型针对大语言模型在严密逻辑推演中的短板,通过

昆仑万维SkyReels V4登顶全球文生视频赛道 技术突破API全面开放
AI妹 27 天前 2 0

昆仑万维宣布其天工 AI 大模型 SkyReels V4在 Artificial Analysis 的文生视频(含音频)赛道中荣登全球第一。该模型性能显著超越了 Kling3.0、Google V

小红书发布FireRed v1.1 优化图像编辑开源提升工程可行性
AI妹 1 个月前 1 0

2026年3月9日,小红书Super Intelligence团队正式发布图像编辑模型FireRed-Image-Edit v1.1。此次更新距离1.0版本发布仅过去不足一个月,标志着小红书在多模

DeepSeek下周发布V4多模态模型 支持国产算力且参数或破万亿
AI妹 1 个月前 1 0

据《科创板日报》消息,DeepSeek 即将于下周发布其最新的大型模型 ——V4。这款新模型备受期待,具备图像、视频和文本生成功能,标志着 DeepSeek 在多模态技术上的又一次飞跃。 据知情

GLM-5国产AI大模型发布:支持七大国产芯片 编程能力全球领先
AI妹 1 个月前 1 0

在刚刚过去的春节假期中,国产 AI 大模型迎来了密集的发布潮,其中智谱科技推出的 GLM-5 模型备受瞩目。作为目前热度最高的 AI 模型之一,GLM-5 不仅在技术上实现了重大突破,还首次全面支

蚂蚁灵波科技开源具身大模型LingBot-VLA 性能卓越开放全套资源降门槛
AI妹 2 个月前 28 0

蚂蚁集团旗下的具身智能公司灵波科技近日宣布,正式开源其具身大模型LingBot-VLA。该模型不仅在多项权威基准测试中表现卓越,更同步开放了完整的后训练代码库,旨在降低具身智能领域的研发门槛。

中国电信TeleAI发布GVC生成式视频压缩新技术 压缩率0.02% 核心以计算换带宽
AI妹 3 个月前 15 0

中国电信人工智能研究院(TeleAI)发布了一项突破性的生成式视频压缩技术——GVC(Generative Video Compression)。该技术将视频数据的压缩率提升到了惊人的 0.02%

全国规划资源首个基础大模型“云宇星空”在沪试运行成效显著
AI妹 3 个月前 12 0

近日正式发布了全国规划资源领域首个基础大模型——“云宇星空大模型(专业版)”。这一拥有6000亿参数规模的“AI 城市规划师”,深度融合了遥感影像、三维实景、规划图纸与政务文本,通过“1个行业基座

字节跳动Seed Prover1.5:IMO达金牌线普特南优异创新架构数学形式化推理模型
AI妹 3 个月前 15 0

近日,字节跳动 Seed 团队推出了其最新的形式化数学推理模型 Seed Prover1.5,标志着在数学推理领域的一次重要突破。此次模型的推出,得益于对大规模 Agentic 强化学习的深入探索

字节跳动发布Seedream3.0文生图模型技术报告 2K直出性能显著提升已开放平台
AI妹 3 个月前 14 0

字節跳動Seed團隊正式發佈了Seedream3.0文生圖模型的技術報告。這一模型在性能上實現了重大提升,是一個原生高分辨率、支持中英雙語的圖像生成基礎模型,在分辨率、生圖結構準確性等多方面取得突