标签： DeepSeek

阿里巴巴在WAIC开源AI芯片软件栈，直指英伟达CUDA的锁定效应

阿里巴巴旗下芯片设计公司平头哥在世界人工智能大会（WAIC）上开源了其“镇岳”系列AI芯片的软件栈SAIL，旨在降低开发者从英伟达CUDA生态迁移出来的门槛。这是中国AI基础设施层试图打破CUDA“锁定效应”的最新动作。

一位学者使用类似此前 OpenAI 攻克 Cycle Double Cover 猜想的方式，让 GPT-5.6 Sol Pro 在单个 148 分钟会话内，用一个提示词完成了一个自 1996 年以来悬而未决的凸优化问题证明，且该证明已在 Lean 验证工具中通过形式化验证。

研究人员利用 GPT-5.6 和一个长达十页的专业提示词，在凸优化理论中解决了一个困扰学界30年的未解问题。这一成果并非简单的“AI 自动发现”，而是建立在大量前期人类研究之上的协作突破。

开发者社区中，Fable 5 模型在处理 NP 难问题时，通过结构化任务分解和“/protect your goal is...”指令，展现出比 GPT-5.6 Sol 更稳定的质量，但长上下文下的“降智”现象仍是共同痛点。

2026年环法自行车赛中，斯洛文尼亚车手塔代伊·波加查（Tadej Pogačar）正在使用一款针对其个人解剖结构和骑行风格量身定制的3D打印座垫，以及一款由AI技术辅助设计的头盔，以此争取微小优势。这一组合展示了3D打印个性化和AI设计在顶级体育装备定制中的深度应用。

Talorr AI 今日在 Product Hunt 上线，这是一款专注于求职流程的 AI 副驾驶工具，能自动定制简历、评估 ATS 匹配度并辅助面试准备。它把求职中多个分散环节整合到一个平台，值得正在活跃求职的用户关注。

“Shark Tank”投资人Kevin O'Leary在公开场合将现代AI数据中心的用水量比作高尔夫球场，试图回击外界对AI基础设施耗水问题的批评。这一争议背后，是AI算力扩张与地方水资源承载能力之间的真实矛盾。

法国放射学初创公司 Raidium 将其自主研发的 AI 原生影像平台部署于美国顶级癌症研究机构 Moffitt Cancer Center，用于替代传统的放射组学应用，有望将肿瘤追踪的读片差异降低三分之二。

一位加拿大软件工程学生通过主动积累人脉和提前申请，获得了 OpenAI 2025 年夏季为期三个月的实习机会。这段经历让他感受到 OpenAI 的“快节奏”工作文化，并观察到 CEO Sam Altman 对实习生的重视，同时他也指出在旧金山维持实习生活成本高昂但值得。

OpenAI宣布，当青少年用户的ChatGPT账户因违反暴力相关政策被禁用时，将通知已关联账户的家长。这一功能直接回应了2025年一起大规模枪击事件中，OpenAI未能及时通知当局的争议。