数学家惊了！ChatGPT首次原创独立证明数学假设
快科技3月31日消息，近日，比利时布鲁塞尔自由大学（VUB）数据分析实验室发布重磅研究成果，证实商用大型语言模型已具备独立生成原创数学证明的能力。OpenAI旗下ChatGPT-5.2(Thinking)成功破解了一项此前悬而未决的数学猜想，同时催生了名为“vibe-proving”的全新AI推理方法，相关预印本论文已于2026年2月21日发表在arXiv平台。此次研究聚焦的核心命题，是数学家Ra
科技1 阅读
搜索: "AI推理"
共找到 6 篇相关文章
华为存储布局AI时代的三大战略！预测未来数据中心将有三分之一的服务由硅基智能提供
李水青撰写，云鹏编辑当前AI行业的发展重心已从模型训练转向实际应用，这促使数据基础设施迎来新一轮变革。3月20日，智东西报道，华为数据存储产品线宣布了针对AI时代的三项关键产品与解决方案更新，涵盖传统应用向数据中心的全面转型、AI训练所需的资料准备以及AI推理场景下的基础设施建设。数据存储产品线副总裁肖德刚表示，AI时代为华为数据存储带来了巨大的机遇。在规划时，他们主要考虑了两个方面：一是AI原生
科技1 阅读
杨斌院长谈清华观点：中文翻译术语刻不容缓
在2026年的英伟达GTC大会上，黄仁勋进行了长达近两小时的主题演讲，全面探讨了AI推理时代产业的转型与重构，堪称这一时代的产业宣言。演讲中，黄仁勋从硬件架构的创新、数据中心向模元工厂的转变，到万亿级AI基础设施的蓝图和企业经营策略，再到智能体与物理世界AI的未来，提及“模元”一词超过七十次，成为整场演讲的核心线索。黄仁勋的手势暗示，英伟达是全球“模元”成本最低的“模元之王”。早在年初，我就提议将
科技2 阅读
黄仁勋GTC访谈：低延迟推理驱动AI经济新爆发、电力芯片供需紧平衡将持续長期影響
人工智能正从单纯的信息生成转向任务执行，以编码代理为代表的低延迟高吞吐量推理场景，标志着AI基础设施商业化的新阶段即将来临。在供应方面，电力、芯片和数据中心建设几乎没有任何多余的资源，这一状况可能会长期持续。英伟达首席执行官黄仁勋在GTC 2026大会主题演讲后的专访中，针对AI推理经济、CPU策略、收购Groq的原因以及供应链紧张等问题，发表了一系列看法。黄仁勋指出，过去一年，人工智能在关键领
科技2 阅读
顶级程序员跳槽看重专属AI算力，硅谷薪酬趋势变化；养虾Token成硬通货币
AI算力竟然成为薪酬组成部分之一，这在硅谷已经成为现实。在过去二十年里，吸引顶尖软件工程师通常依靠高薪、奖金和股票期权等手段。然而现在，在帕罗奥图或山景城的咖啡馆中，人们已经开始讨论求职者的新要求：公司能为个人提供多少专用AI算力？当AI推理效率直接影响开发者的生产率时，围绕硬件使用权的隐形竞争正在悄悄改变2026年的职场格局。一、算力即权力：面试中的新要素OpenAI负责Codex项目的工程负责
科技1 阅读
Groq推即用型推理芯片，OpenAI率先采用；英伟达转舵放弃GPU LPUs计划
英伟达即将迎来重大架构更新。 3月圣何塞GTC大会期间，黄仁勋将推出一套全新的AI推理系统。 这款系统的核心是一颗为推理优化设计的新芯片。 而这枚新芯片的首个大客户已经确定——刚完成1100亿美元融资的OpenAI。 更加值得关注的是，这款芯片采用的底层架构并非英伟达自主研发，而是由Groq团队打造的LPU（语言处理单元） 架构。 这意味着英伟达首次在其核心AI算力产品线上大规模引入了外部设计。
AI2 阅读