标签: 人工智能

HubSpot 因 AI 重组裁员 660 人

HubSpot 因 AI 重组裁员 660 人

HubSpot 宣布裁减约 660 名员工(约占 7%),CEO Yamini Rangan 称这是为了打造“更扁平的组织”,并非由 AI 效率直接导致,但公司同时承认正处于向 AI 转型的关键期。此举折射出 SaaS 行业对“AI 是否会吃掉软件订阅”的集体焦虑。

OpenAI 生成的数学手稿与配套证明工件

OpenAI 生成的数学手稿与配套证明工件

OpenAI 在 GitHub 上公开了一个数学仓库,里面是一个内部模型产出的 722 篇数学手稿,覆盖 372 个结果族,其中一部分配有 Lean 形式化证明。这不是产品发布,而是把“大模型能不能做原创数学研究”这件事摆到了可公开检验的位置上。