DeepSeek-Prover-V2 登场：AI 数学推理新王者，88.9% 通过率设新标杆

IT之家 5 月 1 日消息，深度求索（DeepSeek）昨日（4 月 30 日）在 AI 开源社区 Hugging Face 上，发布名为 DeepSeek-Prover-V2-671B 的新模型，随后在 GitHub 等平台上公布了论文信息。IT之家援引论文介绍，DeepSeek-Prover-V2 是一款专注于形式化数学推理的开源大型语言模型，基于 DeepSeek-V3-0324，通过递

AI热点 2025年05月01日 0 点赞 0 评论 192 浏览

巨人网络《太空杀》引入腾讯AI技术，生成超700万AI玩家

在最近的游戏技术更新中，巨人网络旗下的《太空杀》正式接入了腾讯的混元大模型。这一新功能不仅为游戏注入了活力，还让游戏体验更加丰富。据巨人网络官方公众号透露，自4月28日推出这一功能以来，已经生成超过700万个 AI 玩家，标志着游戏在 AI 原生玩法上的大胆探索。《太空杀》作为一款社交推理类游戏，其核心玩法是让玩家通过推理与交流来找出 “内鬼”。如今，借助腾讯混元大模型，AI 玩家能够以更加智能的

AI热点 2025年04月26日 0 点赞 0 评论 192 浏览

讯飞星火X1全新升级：在AI领域力争与OpenAI对抗

4月21日，科大讯飞正式宣布其最新升级的人工智能模型 —— 讯飞星火 X1，力图在智能推理和多任务处理领域与 OpenAI 的 o1和 DeepSeek R1媲美。这一全国产算力训练的深度推理大模型在各项通用任务中表现突出，涵盖数学、编程、逻辑推理、文本生成、语言理解以及知识问答等多方面。在此次升级中，讯飞星火 X1通过融入更多复杂场景的数据，大幅提升了模型的泛化能力，使其在教育、医疗和司法等重点

AI热点 2025年04月20日 0 点赞 0 评论 192 浏览

Trae v1.3.0版本正式发布:AI驱动编程体验全面升级

ByteDance旗下AI驱动的集成开发环境（IDE）Trae正式发布v1.3.0版本。此次更新带来了统一对话体验、增强的上下文能力、自定义规则支持以及全面升级的Agent功能，同时新增对Model Context Protocol(MCP)的支持，为开发者提供了更智能、更灵活的编程体验。以下基于最新公开信息整理的报道，详细介绍Trae v1.3.0的亮点与变革。统一对话体验:Chat与Build

AI热点 2025年04月21日 0 点赞 0 评论 192 浏览

Vector Institute 发布 AI 模型性能评估报告，助力透明性与可信度

人工智能（AI）模型的发展速度让人眼花缭乱，技术开发者们在不断提升其性能的同时，也引发了用户对于模型表现真实度的疑虑。为了解决这一问题，由杰弗里・辛顿(Geoffrey Hinton)创办的 Vector Institute 为人工智能研究推出了《评估现状研究》。该研究通过互动排行榜对11个顶尖的开放源代码和闭源模型进行了全面评测，涵盖了数学、通用知识、编码、安全性等16个基准。Vector In

AI热点 2025年04月11日 0 点赞 0 评论 192 浏览

OpenAI要Open了，奥特曼开源首个推理模型，ChatGPT一小时暴增百万用户

声明:本文来自微信公众号“新智元”，作者:新智元，编辑:桃子 好困，授权站长之家转载发布。OpenAI终于要Open AI了!一大早，奥特曼郑重官宣，「未来几个月，将开源一款强大的推理模型」。这是自GPT-2以来，OpenAI首个开源的模型。目前，官方已放出模型反馈表，收集社区每位开发者的意见，期待打造出极其出色的开源模型。OpenAI开源模型预估可能会采用MIT、Apache2.0许可证奥特

AI热点 2025年04月01日 0 点赞 0 评论 192 浏览

程序员挑战极限：在古老的 DOS 系统上成功运行 Llama 2 模型

在科技飞速发展的今天，一位勇敢的程序员选择回归经典，尝试在老旧的 DOS 环境中运行 Meta 公司最新发布的大语言模型 Llama2。Yeo Kheng Meng，这位因开发 ChatGPT DOS 客户端而声名鹊起的程序员，花费了一个周末的时间，成功地将这个大型语言模型移植到传统计算环境中，展现了无与伦比的技术创造力。项目的起步得益于开源代码的便利。Meng 使用了名为 “llama2.c”

AI热点 2025年04月30日 0 点赞 0 评论 191 浏览

芝浦工大创新Vote-based框架，大幅提升手持物体姿态估计精度

在增强现实（AR）等应用中，手持物体的姿态估计是一项至关重要但颇具挑战性的任务。近期，日本芝浦工业大学的研究团队提出了一种基于 Vote 机制的多模态融合框架，显著提高了这一领域的准确性，令人瞩目地提升了13.9% 的姿态估计精度。这一新方法的核心在于有效整合来自 RGB（颜色）和深度图像的数据，特别是在手遮挡物体的情况下。研究团队指出，现有的姿态估计技术往往在手部遮挡时遇到精度下降的难题，而手与

AI热点 2025年05月06日 0 点赞 0 评论 191 浏览

大厂混战AI笔记:快手“喵记多”能否复制Notion增长神话?

快手近日推出了一款名为“喵记多”的全新App，正式进军AI辅助的笔记工具市场。该产品由快手旗下的轻雀科技开发，核心亮点在于集成了一个名为“喵仔”的智能助手，用户可以通过聊天交互的方式完成笔记管理和待办提醒。据悉，“喵记多”的主要功能包括笔记剪藏、内容整理和记忆搜索。用户可以将零散的文字、图片、文件等发送给喵仔，并通过长按消息选择“喵记一下”将其转化为笔记，方便后续编辑和管理。直接向喵仔发送“记笔记

AI热点 2025年05月01日 0 点赞 0 评论 191 浏览

中国航天科技集团：固体动力人工智能大模型平台完成升级并上线运行

感谢IT之家网友 Autumn_Dream 的线索投递！IT之家 4 月 16 日消息，据中国航天科技集团消息，近日，中国航天科技集团有限公司四院固体动力 AI（人工智能）大模型平台完成 DeepSeek 融合升级，平台功能和性能全面提升并正式上线运行。据介绍，在本次升级中，固体动力 AI 大模型应用平台通过深度集成 DeepSeek 大模型，不仅迭代优化了上下文理解能力、数学公式格式化输出、

AI热点 2025年04月17日 0 点赞 0 评论 191 浏览

OpenAI o3 模型基准测试成绩遭质疑，实测分数远不及宣称

IT之家 4 月 21 日消息，OpenAI 的 o3 人工智能模型的第一方与第三方基准测试结果存在显著差异，引发了外界对其公司透明度和模型测试实践的质疑。去年 12 月，OpenAI 首次发布 o3 模型时宣称，该模型能够在 FrontierMath 这一极具挑战性的数学问题集上正确回答超过四分之一的问题。这一成绩远远超过了竞争对手 —— 排名第二的模型仅能正确回答约 2% 的 Frontie

AI热点 2025年04月20日 0 点赞 0 评论 191 浏览

超过ChatGPT、Deepseek？谷歌发布 Gemini 2.5 Flash AI 模型

新版 AI 模型缩短了响应时间，节约了运算成本；还推出了新的 AI 芯片 “Ironwood”。站长之家(ChinaZ.com) 4月10日 消息:谷歌发布了新的 AI 模型 “Gemini 2.5 Flash”，据称，这款AI模型的性能比 OpenAI 和 DeepSeek 的 AI 产品“更有效”。Gemini 2.5 Flash 是Gemini 2.5 系列的第二个模型，相比谷歌上个月发

AI热点 2025年04月10日 0 点赞 0 评论 191 浏览

一句话搞定文献综述：中国科学院自动化研究所打造 ScienceOne，将实现全学科覆盖

IT之家 5 月 1 日消息，中国科学院自动化研究所（以下简称“自动化所”）在本周的第八届数字中国建设峰会上发布基于科学基础大模型的智能科研平台 —— ScienceOne。曾大军研究员现场展示了首发的两个产品 S1-Literature 文献助手和 S1-ToolChain 科学工具调度台。自动化所牵头，联合中国科学院计算机网络信息中心、文献情报中心、数学与系统科学研究院、高能物理研究所等兄弟

AI热点 2025年05月01日 0 点赞 0 评论 191 浏览

新应用程序力图为艺术家对抗AI

在2008年，编剧埃德・贝内特 - 科尔斯（Ed Bennett-Coles）经历了一个职业生涯的 “死亡时刻”，当他看到一篇文章称 AI 成功编写了第一部剧本时，他感到不安。时光飞逝，近二十年后，他和朋友杰米・哈特曼(Jamie Hartman)，一位词曲作者，共同开发了一款名为 ARK 的区块链应用程序，旨在帮助艺术家们拥有和保护自己的作品。“人工智能正在涌入，夺走许多人的工作，” 哈特曼表示

AI热点 2025年04月07日 0 点赞 0 评论 191 浏览

宇树王兴兴：2025 年底，相对比较通用的人形机器人 AI 模型真的有可能诞生

IT之家 5 月 2 日消息，据央视新闻报道，由中央广播电视总台、杭州市人民政府主办，总台央视频、杭州城西科创大走廊、杭州市余杭区人民政府、杭州市商务局（全球数字贸易博览会执委会办公室）、总台浙江总站、国家（杭州）短视频基地承办的大型纪实创投节目《赢在 AI+》将于今日 21:50 档在央视财经频道（CCTV-2）及央视频新媒体矩阵开播。作为立足国家平台打造的首档以 AI 为核心的大型纪实创投节

AI热点 2025年05月03日 0 点赞 0 评论 191 浏览

阿里通义千问 Qwen3 系列模型有望今日发布，支持 256K 上下文长度

感谢IT之家网友 兰花是我、四文鱼 的线索投递！IT之家 4 月 28 日消息，阿里通义千问开源负责人林俊旸在 X 上发文暗示，Qwen3 模型有望今日发布。值得一提的是，Qwen3 系列模型合集已在阿里巴巴旗下 AI 模型开源社区 ModelScope（魔搭）短暂亮相后又下线，包括 Qwen3-4B-Base、Qwen3-1.7B、Qwen3-0.6B 及 Qwen3-30B-A3B-Bas

AI热点 2025年04月29日 0 点赞 0 评论 191 浏览

聋哑女生因长相太完美被质疑 网友：好像AI

近日，西安美术学院运动会开幕式上一段女大学生举牌视频在网络平台迅速传播，引发网友关注。视频中女孩的形象引发部分网民对其外貌真实性的讨论，相关评论中“美得不真实”“面部特征似AI合成”等质疑声渐起。针对网络争议，该女孩的校友通过社交平台发声澄清。据其透露，视频中的女生为西安美术学院特殊教育学院在读学生，存在听力障碍。该校友特别强调，同学群体曾多次邀请她合影留念，每次均得到积极配合，其本人始终保持

AI热点 2025年04月22日 0 点赞 0 评论 191 浏览

告别节点噩梦！ComfyUI-C opilot发布，具备GPT-4o同款图像生成与编辑能力

近日，一款名为 ComfyUI-C opilot 的创新工具引发了人工智能生成内容领域的广泛关注。这款工具通过将自然语言处理与 ComfyUI 的节点式工作流相结合，赋予用户如同 GPT-4o 般的图像生成与编辑能力。它的出现不仅大幅降低了使用门槛，还为新手和专业用户提供了一个高效、智能的创作平台，标志着 AI 图像生成技术向更人性化、自动化的方向迈出了重要一步。自然语言驱动，简化复杂流程Comf

AI热点 2025年04月01日 0 点赞 0 评论 191 浏览

JEDEC 发布 HBM4 标准，助力 AI 和高性能计算新时代

JEDEC 固态技术协会宣布推出备受期待的高带宽内存（HBM）标准 ——HBM4。作为 HBM3标准的进化版本，HBM4旨在进一步提升数据处理速度，同时保持更高的带宽、能效及单个芯片或堆叠的更大容量，满足对大数据集和复杂计算的高效处理需求。HBM4标准带来了多项关键技术改进，适用于生成式人工智能、高性能计算、高端显卡及服务器等应用。首先，HBM4的带宽大幅提升，支持每秒高达8Gb 的传输速率，通过

AI热点 2025年04月23日 0 点赞 0 评论 191 浏览

百度文库、百度网盘联合发布GenFlow超能搭子、AI笔记

在 4 月 25 日举行的 Create2025 百度 AI 开发者大会上，百度文库与百度网盘联合推出了两款行业领先的 AI 工具 ——“GenFlow 超能搭子” 和 “AI 笔记”。这两款产品旨在提升用户的工作和学习效率，实现更智能的生产力。“GenFlow 超能搭子” 是一个针对工作流的全面升级工具。用户只需输入简单的指令，AI 就会通过深度思考，自动规划每一步的任务，调用各种模型和工具，最

AI热点 2025年04月24日 0 点赞 0 评论 191 浏览