DeepSeek发布了DeepSeek-Prover-V2，这是一个新的开源大型语言模型，专门用于Lean 4中的形式化定理证明。这个模型构建在该公司的DeepSeek-V3基础模型支撑的递归定理证明流水线之上。Lean ...

主权AI兴起推升AI伺服器需求，美超微（Supermicro）执行长梁见后21日接受工商时报专访时表示，这波主权AI趋势加速各国政府与大型企业对伺服器与资料中心的投资，随AI伺服器与资料中心建设需求持续扩大，美超微过去三 ...

随着人工智能（AI）技术的不断深化与突破，搜索引擎行业正迎来前所未有的变革。2025年，全球范围内多家搜索厂商纷纷加码AI化布局，试图在激烈的市场竞争中抢占先机。这一趋势不仅彰显出AI创新在搜索领域的深远影响，也揭示了技术领先优势背后复杂的产业生态与商业模式调整的必然性。

为协助青年接轨AI浪潮，新北市青年局协助今（19）日于淡江大学举办的COMPUTEX Taipei 黄仁勋 Keynote Watch Party，正式推出 NVIDIA 官方认证 AI 课程！不但免费报名，且只要完成课程的学员皆可取得 NVIDIA 官方 Dee ...

随着人工智能技术的不断演进，特别是在大规模语言模型（LLM）和深度学习领域的创新，2025年已成为行业变革的关键节点。全球科技巨头如谷歌、OpenAI以及Facebook等纷纷加大研发投入，推动AI技术在自然语言处理、多模态融合、推理能力等方面实现重 ...

导语上海科学智能研究院、集智科学研究中心和阿里云联合发布了《AI × Science十大前沿观察》，梳理出35个研究前沿，来推动科学发展的黄金时代到来。本篇为前沿观察4，扫描下方二维码，可获得完整版下载地址，并能快速链接论文原文。扫描二维码 ...

奥特曼回顾了OpenAI从一个仅有14人的研究实验室，成长为全球领先的人工智能平台的历程。他设想将ChatGPT演进为一种高度个性化的AI服务——它能够记住用户的完整生活背景，从对话记录到电子邮件内容，同时能够在多个应用和服务之间无缝衔接、自然协作。