AI日报
奥特曼分享AI愿景;谷歌开源Gemma 3;北大提出复数大模型iFairy;腾讯发布混元3D世界模型;阶跃星辰推出形式化证明新范式 | 08月16日AI资讯
00 分钟
2025-8-16
2025-8-16
slug
summary
tags
icon
password

奥特曼神秘晚宴讲话曝出!OpenAI的CEO或将是个AI,Chrome我也想买

奥特曼在晚宴上分享了关于AI的宏伟愿景,包括颠覆搜索和社交、投资数万亿建设数据中心以及探索脑机接口。他提到GPT-5的发布与用户关系的变化,并强调AI的潜力和未来的重要性。

谷歌最新「0.27B」Gemma 3开源!身板小却猛如虎,开发者直呼救命稻草

谷歌推出的Gemma 3 270M模型以小巧高效为特点,适合各种AI任务,尤其在指令跟随和文本结构化方面表现突出。该模型在性能和能效上优于同类产品,支持本地部署。

北大提出首个复数大模型,2比特量化,推理仅加法,可手机部署!

北大团队提出了首个复数大模型iFairy,采用2比特超低比特量化算法,将模型权重量化到复数集合{+1, -1, +i, -i},实现了存储压缩至原来的1/8,并通过“无乘法”计算显著降低了推理成本。

混元3D世界模型1.0 lite版本发布,消费级显卡就能跑

腾讯发布的混元3D世界模型1.0 Lite版本允许用户仅需一句话或一张图片生成360度全景3D世界,支持沉浸式漫游,并兼容传统CG管线。通过动态FP8量化和SageAttention量化技术,显存需求降低至17GB以下。

模仿人类推理修正过程,阶跃星辰提出形式化证明新范式 | 开源

阶跃星辰发布了形式化定理证明模型StepFun-Prover-Preview-7B和32B,采用基于环境反馈的强化学习训练,能像人类一样逐步修正证明。模型在miniF2F-test基准测试中表现优异。
上一篇
【紧急加更】谷歌Bard中文版火爆上架,畅享中文对话,一键登录,告别ChatGPT封号困扰!
下一篇
AI资讯-08月15日