DeepSeek-Prover-V2-671B 新模型开源发布 145 0 感谢IT之家网友 落寞、马凌曙、imlufeng、脑腐、非液化 的线索投递！IT之家 4 月 30 日消息，DeepSeek 今日在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。DeepSeek-Prover-V2-671B 使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度
Krea GoogleGemini 文字生成图像 AI创意平台 Krea整合Gemini文字生图与图像编辑功能：Chat界面迎来实用性飞跃 145 0 近日，人工智能创意平台Krea宣布成功接入Google Gemini的文字生成图像（Text-to-Image）及图像编辑功能，进一步提升了其平台的生成能力和用户交互体验。据悉，这一更新显著增强了Krea Chat界面的实用性，使其从单一的对话工具转变为一个集图像生成与编辑于一体的综合性创作平台。这一进展被视为Krea在AI驱动的创意设计领域迈出的重要一步，引发了业界和用户的广泛关注。Krea此前
飞牛私有云 fnOS 获 v0.8.47 系统更新，笔记本设备支持将内置电池作为 UPS 使用 145 0 感谢IT之家网友 2W、菜鸡叽叽叽、Roccoon、爱合租 的线索投递！IT之家 4 月 17 日消息，飞牛私有云 fnOS 今日官宣获 v0.8.47 版本升级，主要更新内容包括支持将笔记本电池设置为 UPS、容器列表支持快捷访问、完善硬盘 SMART 检测属性名的中文翻译等。IT之家附飞牛私有云 fnOS 此次更新内容如下：UPSUSB UPS 在断电关机时支持同步通知 UPS 设备关机笔
GPT-4.5开发者 美国科学家签证 人才流失 AI领域影响 GPT-4.5功臣遭驱逐，奥特曼盛赞工作出色，美国深陷AI人才危机 145 0 声明:本文来自于微信公众号新智元，授权站长之家转载发布。近日，GPT-4.5核心开发者之一的Kai Chen因绿卡申请被拒，面临被迫离开美国的困境。与此同时，1700多名国际学生和研究人员因签证审查受阻，Nature调查显示75%的美国科学家正考虑逃离。这种人才流失或将影响美国在全球AI领域的领先地位。GPT-4.5的核心研发成员，竟然要被驱逐出美国?!OpenAI著名研究科学家Noam Br
星纪魅族 StarV Air2 智能眼镜海外版新增阿拉伯语翻译功能，4 月底正式发布 145 0 感谢IT之家网友 Autumn_Dream 的线索投递！IT之家 4 月 13 日消息，据星纪魅族官方消息，StarV Air2 海外版新增阿拉伯语翻译功能，将于 4 月底正式发布，该产品已支持 14 种语言实时翻译。IT之家注意到，星纪魅族 StarV Air2 智能眼镜于去年 9 月在国内发布，新品首发价 2799 元起。该产品采用光波导显示方案，整机重量仅 44 克，采用一体式近视镜设计
人工智能 AI新闻 技术突破 行业趋势 ai新闻最新事件哪里看？AIbase全面解析AI行业的前沿动态 145 0 在人工智能技术飞速发展的今天，及时获取最新的AI新闻已成为科技爱好者、行业从业者以及投资者的刚需。AI新闻不仅涵盖了技术突破、产品发布，还涉及行业趋势、政策动态以及社会影响。为了帮助您第一时间掌握这些重要信息，我们推荐访问 AIbase的AI新闻栏目，网址为:https://www.aibase.com/zh/news。为什么选择AIbase的AI新闻?全面覆盖:AIbase的AI新闻栏目汇集
AI画图 GPT-4o 图像理解 逻辑推理 生成很强，推理很弱：GPT-4o的视觉短板 145 0 声明：本文来自微信公众号“大数据文摘”（ID:BigDataDigest），作者:文摘菌，授权站长之家转载发布。如果让AI画一只狗站在“左边”，但事先告诉它“左就是右”，你觉得它能反应过来吗?最近，UCLA的一项新研究用一系列精心设计的实验，揭开了GPT-4o在图像理解和推理上的短板——它画得漂亮，却未必真懂你的意思。论文主线很直接，GPT-4o的画图能力确实惊艳，但真正涉及理解图像、语境推理
ProteinDT 蛋白质设计 多模态框架 对比学习 新多模态框架助力蛋白质设计，AI引领生物科技新潮流 145 0 在生物科技领域，人工智能的应用正快速推动蛋白质的发现与设计。近日，加州大学伯克利分校（UC Berkeley）与加州理工学院(Caltech)的研究团队联合开发了一种名为 ProteinDT 的新型多模态框架，旨在利用文本描述来辅助蛋白质设计。这一创新方法不仅结合了蛋白质的序列和结构信息，还整合了大量以文本形式存在的生物知识，开启了蛋白质设计的新篇章。ProteinDT 的工作流程分为三个主要步骤
消息称特朗普政府考虑调整拜登 AI 芯片出口规则 145 0 特朗普政府正在酝酿对拜登时期出台的一项限制全球获取人工智能（AI）芯片的规则进行调整。知情人士透露，这些计划仍在讨论阶段，可能会有变化。若最终实施，取消当前的分层制度将使美国的芯片在贸易谈判中成为更具优势的筹码。今年1月，美国商务部发布的《人工智能扩散框架》将世界分为三个层次。第一层的17个国家及台湾可以无限制地获得先进的 AI 芯片;第二层的约120个国家则受到获取数量的限制;而第三层的国家，例
Manychat AI聊天机器人 对话自动化 跨渠道消息 Manychat 获得1.4亿美元融资，助力 AI 业务消息平台发展 145 0 在当今这个人工智能（AI）和聊天机器人层出不穷的时代，能够真正为企业和消费者提供有用服务的工具却并不多见。近日，一家在这一领域取得成功的初创公司 Manychat 宣布，完成了1.4亿美元的 B 轮融资，此轮融资由 Summit Partners 领投。Manychat 成立于2015年，致力于为企业提供跨多个消息渠道的对话管理和自动化工具。公司目前在170个国家拥有约150万客户，客户名单包括
网信办整治AI技术滥用 整治AI假冒明星等欺骗网民问题 145 0 中央网信办近日印发通知，决定在全国范围内开展为期三个月的“清朗·整治AI技术滥用”专项行动，旨在规范AI服务和应用，促进行业健康有序发展，同时保障公民合法权益。此次专项行动分为两个阶段进行。第一阶段主要聚焦于强化AI技术的源头治理，清理整治违规AI应用程序，加强AI生成合成技术和内容标识管理，并推动网站平台提升检测鉴伪能力。第二阶段则集中整治利用AI技术制作发布谣言、不实信息、色情低俗内容，假冒他
字节 Seedream 3.0 登场：文生图跑分超 GPT-4o，生成 1080P 图像仅需约 3 秒 145 0 IT之家 4 月 19 日消息，字节跳动最新推出全新文本生成图像模型 Seedream 3.0，其性能在内部和外部评测中均表现出色，超越前代 Seedream 2.0，并与 GPT-4o、Midjourney v6.1 和 Imagen 3 等主流系统一较高下。该模型训练数据量翻倍，新增了经过预处理掩码的瑕疵图像，同时采用分辨率自适应采样和混合分辨率训练等新技术，确保不同尺寸图像的高保真输出。S
Gemini 谷歌AI AI聊天机器人 AI助手市场 谷歌Gemini用户暴涨至3.5亿！但仍被ChatGPT碾压 146 0 最新数据显示，谷歌AI聊天机器人Gemini全球月活跃用户已达3.5亿，展现出惊人的增长势头。这一数据来自谷歌反垄断诉讼中披露的内部文件，揭示了AI助手市场的激烈竞争格局。 爆发式增长轨迹-2024年10月:日活仅900万-2025年3月:日活飙升至3500万- 短短5个月:用户规模增长近4倍市场格局对比尽管增长迅猛，Gemini与行业领头羊仍存在明显差距:- ChatGPT:月活约6亿- Met
DeepSeekAI 自主演原则的批判调优(SPCT) 大型语言模型(LLM) AI奖励模型(RewardModels) 推理性能再飞跃!DeepSeek推创新技术SPCT，让大模型更懂人心 146 0 备受瞩目的中国人工智能研究实验室DeepSeek AI，继其强大的开源语言模型DeepSeek-R1之后，再次在大型语言模型（LLM）领域取得重大突破。近日，DeepSeek AI正式推出一项名为自主演原则的批判调优(Self-Principled Critique Tuning，简称SPCT)的创新技术，旨在构建更通用、更具扩展性的AI奖励模型(Reward Models，简称RMs)。这项技术
字节 Seed 开源 UI-TARS-1.5：基于视觉-语言模型构建的多模态智能体 146 0 IT之家 4 月 18 日消息，IT之家从豆包大模型团队获悉，UI-TARS-1.5 昨日正式发布并开源。这是一款基于视觉-语言模型构建的开源多模态智能体，能够在虚拟世界中高效执行各类任务。有关的链接如下：GitHub：https://github.com/bytedance/UI-TARSWebsite：https://seed-tars.com/Arxiv：https://arxiv.org
o3模型 OpenAI 推理AI ARC-AGI OpenAI o3 模型运行成本飙升：单次任务费用从 3000 美元涨至 30000 美元 146 0 近日，Arc Prize Foundation 对 OpenAI 的 o3“推理” 人工智能模型的运行成本进行了大幅度修订，令人瞩目的是，单次任务的费用从最初的3000美元骤升至30000美元。这一变化让许多人意识到，最先进的 AI 模型在执行特定任务时所需的高昂费用，已成为行业一个不容忽视的挑战。回顾去年12月，OpenAI 推出了 o3模型，并与 ARC-AGI 的开发者紧密合作，展示了这一模
