资讯列表
AI破解50年未解数学难题！南大校友用OpenAI模型完成首个非平凡数学证明
就在刚刚，AI完成了首个非平凡研究数学证明！ 完成这项研究的，是美国纽约布鲁克海文国家实验室凝聚态物理与材料科学分部的一位华人学者Weiguo Yin。 论文地址：，作者在一维J_1-J_2 q态Potts模型，通过引入最大对称子空间（MSS）方法，对其精确求解。
4/15/2025 8:50:00 AM
新智元
Meta 恢复在欧盟使用用户公开数据训练 AI 模型，曾因隐私问题暂停
Meta宣布恢复在欧盟使用Facebook和Instagram上的公开内容训练AI模型，用户将收到通知并可选择退出。此举遵循GDPR规定，Meta强调不会使用私人消息及未成年用户数据。#MetaAI #数据隐私#
4/15/2025 8:26:13 AM
远洋
人工智能开发平台 Hugging Face 收购 Pollen Robotics，进军人形机器人市场
人工智能开发平台Hugging Face宣布收购法国人形机器人初创公司Pollen Robotics，计划销售其Reachy 2机器人并开源代码。此次收购标志着Hugging Face正式进军机器人领域。#AI机器人##HuggingFace#
4/15/2025 7:59:18 AM
远洋
谷歌 DeepMind 开发 DolphinGemma AI 模型，助力海豚“语言”研究
谷歌DeepMind推出DolphinGemma AI模型，可生成海豚声音序列，助力科学家研究海豚沟通方式。该模型基于Gemma系列构建，训练数据来自Wild Dolphin Project，甚至能在手机上运行。今夏WDP将用Pixel 9搭建平台，进一步提升研究效率。#AI科技# #动物行为研究#
4/15/2025 7:51:50 AM
远洋
2 月刚发布，OpenAI 宣布将停止通过 API 提供 GPT-4.5 模型
OpenAI宣布将停止通过API提供GPT-4.5，开发者可继续使用至7月14日。同时推出GPT-4.1作为替代，成本更低且性能相当。GPT-4.5仍可在ChatGPT平台使用。#OpenAI #人工智能#
4/15/2025 7:46:19 AM
远洋
CIO在AI安全方面最大的盲点是什么？
AI竞赛正在如火如荼地进行，但急于求成的企业可能会发现自己陷入了安全盲点。 创新与安全之间的紧张关系由来已久，创新者和CIO希望凭借新技术开辟道路，CISO和其他安全负责人则希望采取更为审慎的方法来降低风险。 近年来，随着AI的崛起，人们经常用“军备竞赛”来形容其发展态势，紧迫感切实存在，但那些有安全意识的人所担心的风险仍然存在。
4/15/2025 7:30:00 AM
Carrie
GPT-4.1深夜登场，中科大校友领队！百万上下文编程惊人，GPT-4.5三个月后淘汰
就在刚刚，OpenAI专为开发者重磅推出了三款全新模型：GPT-4.1、GPT-4.1 mini和GPT-4.1 nano！ 它们均拥有最高100万Token的超大上下文窗口，在代码、指令跟随等核心能力上全面超越GPT-4o及GPT-4o mini，并且知识截止日期也已更新至2024年6月。 值得注意的是，GPT‑4.1系列将仅通过API提供，并已向所有开发者开放。
4/15/2025 7:26:16 AM
新智元
苹果揭秘 Apple 智能开发：差分隐私 + 合成数据，隐私原则贯穿 AI 技术演进
苹果公司昨日（4 月 14 日）发布博文，披露其 AI 隐私保护核心技术细节，重点介绍差分隐私和合成数据在 Apple Intelligence 中的应用。
4/15/2025 7:23:12 AM
故渊
专访GMI Cloud创始人Alex Yeh：算力即未来，不做AI时代的旁观者
嘉宾 | Alex作者 | 云昭Alex Yeh回忆过去两年半的创业历程，用“一头深海中求生的鲨鱼”来形容GMI Cloud这家新创公司。 海水中礁石隐藏在未知的角落，绕开礁石继续前行则成为了这条鲨鱼的常态。 Alex Yeh是AI Native Cloud 提供商 GMI Cloud 的创始人兼CEO。
4/15/2025 6:45:34 AM
云昭
AI 编程新王者：OpenAI GPT-4.1 系列登场，上下文百万 tokens、代码生成速度飙升 40%
OpenAI发布GPT-4.1系列模型，包括GPT-4.1、GPT-4.1 mini和GPT-4.1 nano，性能全面超越前代，编程、指令遵循和长文本处理表现优异，成本更低。#AI##OpenAI#
4/15/2025 6:38:48 AM
故渊
ICLR高分论文险遭拒，只因未引用「造假」研究？？？作者怒喷：对方论文用Claude生成
有在离谱。 高分论文因为没有引用先前的研究而被ICLR拒稿了？ 图片于是作者提起上诉，审稿主席们推翻之前的决定，最终论文被接收并选为Spotlight。
4/15/2025 4:00:00 AM
图灵奖得主LeCun：人类智能不是通用智能，下一代AI可能基于非生成式
在最新一档播客节目中，Meta首席AI科学家&图灵奖得主LeCun发表了如上观点。 他表示，AGI（通用人工智能）一词非常具有误导性，但人类智能本质是非通用的，它非常专业。 更有意思的是，当大家都在谈论生成式AI时，他却凭借直觉大胆预测：下一代AI的突破可能基于非生成式。
4/15/2025 3:43:00 AM
GitHub中国IP访问崩了又复活！OpenAI API新政恐锁死GPT-5？
昨日，众多网友上GitHub，竟发现无法访问了。 一时间，GitHub无法访问在国内开发者中炸锅了。 如今，终于等到了官方回应——对于那些未登录的用户，暂时封锁访问，主要是因为一项带来意外影响的配置更改。
4/15/2025 3:20:00 AM
AI视频用哪个？6个知名的AI视频工具使用测评报告
最近几天，AI 视频生成领域纷纷秀肌肉，Vidu、Runway 轮番登场。 技术突破一个接一个，再加上广为人知的可灵、即梦、Sora 等 AI 平台，面对这么多工具，是不是有点晕？ 别急，今天这篇文章试图帮你理清思路，选出适合自己的 AI 视频工具，不管你是专业影视人，还是短视频达人，都能找到"带你飞"的神器！
4/15/2025 1:00:34 AM
旭晨AI设计实验室
MiniMax MCP Server 上线 文本输入即可调用
今日，MiniMax稀宇科技宣布其MiniMax MCP Server正式上线。 这一创新平台为用户带来了一站式的多模态解决方案，只需简单文本输入，即可调用视频生成、图像生成、语音生成和声音克隆等多项前沿能力，极大地拓展了人工智能在创意内容生成领域的应用边界。 平台亮点强大的多模态功能:MiniMax MCP Server支持多种模态的生成能力，包括但不限于视频、图像、语音以及声音克隆。
4/14/2025 10:01:07 PM
AI在线
英伟达：将首次完全在美国本土生产人工智能超级计算机
英伟达今日宣布，公司正与制造合作伙伴携手合作，设计并建造工厂。这些工厂将首次完全在美国本土生产英伟达的人工智能超级计算机。
4/14/2025 9:39:16 PM
浩渺
IT之家采访联发科高管：AI 智能体应用碎片化需树立“灯塔效应”
4 月 11 日，联发科在深圳举行了以“AI 随芯应用无界”为主题的天玑开发者大会 2025（MDDC 2025），大会过程中，，IT之家参加了联发科高管的采访
4/14/2025 8:22:02 PM
汐元
刚刚，DeepSeek公布了推理引擎开源路径，OpenAI也将开始连续一周发布
今天下午，DeepSeek 默默地在自己的 open-infra-index 库中发布了一份题为「开源 DeepSeek 推理引擎的路径」的文档，宣布将开源自己的内部推理引擎（internal inference engine）并与开源社区建立更广泛的合作。 有意思的是，该文档发布之后不久就经历了两次修改，对一些措辞和表述进行了更加中立和宽泛的处理。 在其中一次修改中，DeepSeek 提到了与 SGLang 和 vLLM 项目的合作关系，但这两个具体的项目名称在新版本中被替换成了「现有的开源项目」。
4/14/2025 7:56:00 PM
机器之心