AI

AI破解50年未解数学难题！南大校友用OpenAI模型完成首个非平凡数学证明

就在刚刚，AI完成了首个非平凡研究数学证明！完成这项研究的，是美国纽约布鲁克海文国家实验室凝聚态物理与材料科学分部的一位华人学者Weiguo Yin。论文地址：，作者在一维J_1-J_2 q态Potts模型，通过引入最大对称子空间（MSS）方法，对其精确求解。

4/15/2025 8:50:00 AM

新智元

CIO在AI安全方面最大的盲点是什么？

AI竞赛正在如火如荼地进行，但急于求成的企业可能会发现自己陷入了安全盲点。创新与安全之间的紧张关系由来已久，创新者和CIO希望凭借新技术开辟道路，CISO和其他安全负责人则希望采取更为审慎的方法来降低风险。近年来，随着AI的崛起，人们经常用“军备竞赛”来形容其发展态势，紧迫感切实存在，但那些有安全意识的人所担心的风险仍然存在。

4/15/2025 7:30:00 AM

Carrie

苹果揭秘 Apple 智能开发：差分隐私 + 合成数据，隐私原则贯穿 AI 技术演进

苹果公司昨日（4 月 14 日）发布博文，披露其 AI 隐私保护核心技术细节，重点介绍差分隐私和合成数据在 Apple Intelligence 中的应用。

4/15/2025 7:23:12 AM

故渊

图灵奖得主LeCun：人类智能不是通用智能，下一代AI可能基于非生成式

在最新一档播客节目中，Meta首席AI科学家&图灵奖得主LeCun发表了如上观点。他表示，AGI（通用人工智能）一词非常具有误导性，但人类智能本质是非通用的，它非常专业。更有意思的是，当大家都在谈论生成式AI时，他却凭借直觉大胆预测：下一代AI的突破可能基于非生成式。

4/15/2025 3:43:00 AM

IT之家采访联发科高管：AI 智能体应用碎片化需树立“灯塔效应”

4 月 11 日，联发科在深圳举行了以“AI 随芯应用无界”为主题的天玑开发者大会 2025（MDDC 2025），大会过程中，，IT之家参加了联发科高管的采访

4/14/2025 8:22:02 PM

汐元

微软AI收入年化达130亿美元，计划投资800亿美元引领科技潮流

微软公司最近在人工智能（AI）领域取得了显著进展，其年化收入已达到130亿美元，并宣布将计划投资高达800亿美元以进一步扩展其 AI 业务。这一消息不仅显示出微软在 AI 领域的雄心壮志，也反映了该公司在科技创新和市场竞争中的积极布局。随着全球经济逐渐受到 AI 技术的影响，投资者对这一领域的关注也愈发浓厚。

4/14/2025 12:01:17 PM

AI在线

前谷歌 CEO 向国会警告：超级智能AI将消耗 99% 的电力资源

近日，前谷歌首席执行官埃里克・施密特在国会能源与商业委员会的听证发表了引人关注的言论。他指出，未来人工智能（AI）将消耗全球99% 的电力，这一说法引发了与会者的广泛关注和讨论。施密特表示，当前技术行业对电力的需求正在快速增长，预计将从目前的3% 飙升至99%。

4/14/2025 12:01:17 PM

AI在线

谢赛宁等新作上线，多模态理解生成大一统！思路竟与GPT-4o相似？

在不久之前机器之心报道文章《3D领域DeepSeek「源神」启动！国产明星创业公司，一口气开源八大项目》中，我们曾介绍到，国内专注于构建通用 3D 大模型的创业公司 VAST 将持续开源一系列 3D 生成项目。近日，新的开源项目它来了，包括针对任意三维模型生成完整可编辑部件的 HoloPart 与通用自动绑定框架 UniRig。

4/14/2025 9:38:00 AM

新智元

苹果AI首秀，竟然只有跑马灯是真的！长文揭秘苹果彻底搞砸AI

去年6月，苹果展示了AI版Siri。随后的几个月，Siri团队对实现这些功能的基础技术方案摇摆不定。据一位知情的前苹果员工透露，团队曾计划打造一小一大两种模型，分别命名为「迷你鼠」（Mini Mouse）和「大力鼠」（Mighty Mouse）。

4/14/2025 9:35:00 AM

新智元

最强32B中文推理大模型易主：开源免费商用，1/20 DeepSeek-R1参数量SOTA，权重代码数据集全开源

千亿参数内最强推理大模型，刚刚易主了。 32B——DeepSeek-R1的1/20参数量；免费商用；且全面开源——模型权重、训练数据集和完整训练代码，都开源了。这就是刚刚亮相的Skywork-OR1 (Open Reasoner 1)系列模型——通用32B尺寸（Skywork-OR1-32B）完全超越同规模阿里QwQ-32B；代码生成媲美DeepSeek-R1，但性价比更高。

4/14/2025 9:27:00 AM

量子位

吉卜力爆红背后，关键推手另有其人！GPT-4o竟封奥特曼为AGI之王

AI版「三国杀」卡牌来了。 AI初创Nous Research联合创始人兼后训练负责人Teknium，有个好点子：把AI名流做成卡牌游戏怎么样？上周，他用GPT-4o生一堆AI流行人物卡牌，结果非常棒。

4/14/2025 9:25:00 AM

新智元

AI席卷校园：百万条对话揭秘，Claude是代码救星还是作弊工具？

如今，AI不再只是专业的研究工具，它已成为大学生日常学习的好帮手。随着AI越来越深入地融入教育环境，需要思考一系列关于学习、评估和技能培养的重要问题。目前，大多数相关讨论都基于调查和对照实验，却缺乏学生在真实学习场景中自然融入AI的直接证据。

4/14/2025 9:22:00 AM

新智元

人类一生所学不过4GB，加州理工顶刊新研究引热议

24小时不间断学习且不遗忘，一辈子也只有4GB的“知识储量”？科学家们最新研究，计算出了人类学习积累上限，就这么多~~（甚至还不如一块U盘能装）。这是来自Cell旗下神经科学顶刊Neuron上的一项工作，它提出了一个发人深省的悖论：人类信息处理速度仅为每秒10bit，而我们的感官系统却能以每秒10亿bit的速率收集数据。

4/14/2025 9:10:00 AM

量子位

GPT-4.1偷偷开跑？神秘模型上线三天已被玩疯，网友发现大量OpenAI痕迹

上线仅三天的神秘模型，已经鲨疯了！大模型聚合平台OpenRouter新推出的Optimus Alpha，已经处理了772亿Token，平均每天超过200亿。并且这个数字还在上升，日Token处理已超过340亿，排名第二，并在Trending榜单上位列第一。

4/14/2025 9:00:00 AM

量子位

Hello folks，我是 Luga，今天我们来聊一下人工智能应用场景 - 构建高效、灵活的开源代码利器——Google ADK。在人工智能领域风起云涌的 2025 年，Google 再次以创新之姿震撼业界，推出了备受瞩目的 Agent Development Kit（ADK）——一个开放源代码的利器，旨在重塑多智能体系统的开发格局！从 Google 自身的 Agentspace 到 Customer Engagement Suite，这款工具不仅驱动了 Google 的内部 AI 革命，更通过开源的方式，将强大的开发能力交到了你我手中。

4/14/2025 8:50:00 AM

Luga Lee

4090玩转大场景几何重建，RGB渲染和几何精度达SOTA｜上海AI Lab&西工大新研究

仅用4090就能实现大规模城市场景重建！高效几何重建新架构CityGS-X来了，通过一种新型并行化混合分层三维表征架构（PH²-3D）的可扩展系统，突破了传统三维重建在算力消耗和几何精度上的限制。算力瓶颈无处不在，当前3D高斯泼溅技术虽取得显著进展，却仍面临三大核心挑战：处理速度缓慢、计算成本高昂、几何精度有限。

4/14/2025 8:40:00 AM

量子位