智谱一口气免费开源 6 款模型 最高达到 200 tokens / 秒
智谱发布新一代开源模型 GLM-4-32B-0414 系列,包含基座、推理、沉思模型权重,遵循 MIT License,可通过「z.ai」访问体验。其中,推理模型 GLM-z1-Air/AirX-0414 速度可达 200 tokens / 秒,为目前国内最快商业模型,价格仅为 DeepSeek-R1 的 1/30。
小米 YU7 将缺席上海车展:被爆推迟 1 个月上市
2025 上海车展即将开幕,小米汽车将展出 SU7 全系产品,但 YU7 确认缺席。YU7 作为小米第二款车型原计划 2025 年中上市,可能因某头部新势力车型推迟一个月上市。此前,小米 SU7 曾发生严重事故引发关注,或对 YU7 延期有一定影响。小米本月或将发布更多关于 YU7 的消息。
网易云音乐回应「男人是一切问题的根源」争议言论:纯属伪造
近日,网上流传一张网易云音乐微博截图。截图显示,网易云音乐发文称「男人是一切问题的根源」,并推崇消灭男性等争议性话题。4 月 15 日,网易云音乐官博发布严正声明。声明称,近日,网上出现恶劣的造谣内容,恶意将网易云音乐账号截图与网络上伪造的不当内容 P 图拼接。相关图片纯属伪造,并已严重影响网易云音乐品牌声誉。对于恶意制造传播谣言者,网易云音乐已固定证据,并保留进行法律追究的权利。
AI 辅助破解 50 年未解数学难题,南大校友用 OpenAI 模型完成非平凡数学证明
AI 辅助科学家解决了 50 年未解的数学难题,完成了首个非平凡研究数学证明。研究涉及一维 J_1-J_2 q 态 Potts 模型,通过引入最大对称子空间方法实现精确求解。其中 q=3 的情况由 OpenAI 的 o3-mini-high 模型提供关键支持。这一突破为物理领域中的复杂问题提供了新见解,并展示了 AI 在科学研究中的巨大潜力。
腾讯砸 100 亿支持基础科研:每人每年 500 万元 今天申报
腾讯发起的「新基石研究员项目」致力于支持科学家进行原始创新和自由探索,已资助两期共 104 位杰出科学家。第三期开始申报,计划资助不超过 35 人,涵盖数学与物质科学、生物与医学科学两大领域。入选者将获连续 5 年资助,实验类每年不超 500 万元,理论类每年不超 300 万元,期满可申请续期。
阿里巴巴否认竞购星巴克中国股权
15 日,针对「正积极参与星巴克中国股权竞购」的消息,阿里巴巴相关人士表示,这是「假消息」。
杭州:支持头部企业多路线攻关大模型前沿技术
杭州计划支持头部企业进行大模型前沿技术的多路线攻关,重点推动模型研发企业在基础性、试错性和颠覆性研究方面取得进展,通过建立要素供给和试错成本分担机制,加速技术从「跟跑」到「竞跑」的转变,形成全球技术领先优势。
杭州:拟引导产业基金群撬动社会资本 投向人工智能的产业基金规模超 1000 亿元
杭州计划通过引导产业基金群撬动超 1000 亿元社会资本投向人工智能领域,组建润苗直投基金支持本地硬科技初创企业,完善投资机制,探索投补联动和投贷联动方式,并建立容错免责机制。同时,将人工智能重点企业纳入上市培育名单,支持企业上市融资及债券发行。
美国政府冻结哈佛大学超 20 亿美元联邦资金
美国政府宣布暂停向哈佛大学提供 22 亿美元拨款和 6000 万美元合同,特朗普的反犹太主义特别工作组批评哈佛大学存在权利心态。此前,哈佛校长加伯谴责特朗普政府的要求超出联邦权限。
上海乐高乐园 7 月开园
上海金山乐高乐园计划于今年 6 月试运行,7 月正式开园,建成后将有八大主题区、超 75 个互动设施和 2889 个乐高模型,提供综合旅游体验。
快手宣布:可灵 AI 全系模型进入 2.0 时代
可灵 AI 发布「灵感成真」2.0 模型,升级基座模型,推出可灵 2.0 视频生成模型和可图 2.0 图像生成模型,两者分别在动态质量、语义响应、画面美学及指令遵循、电影质感、艺术风格表现上取得显著提升。
