分类: AI 资讯

HubSpot 因 AI 重组裁员 660 人

HubSpot 因 AI 重组裁员 660 人

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

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

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

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

OpenAI 刚刚放出700篇数学证明与反例的预印本

OpenAI 刚刚放出700篇数学证明与反例的预印本

OpenAI 在一个公开 GitHub 仓库中集中放出了约 700 篇数学预印本,内容以定理证明和反例构造为主,覆盖代数、组合、概率、量子信息等多个方向。这件事值得关注的地方不在于某一条结论,而在于它暗示了 AI 参与数学研究的一种新工作方式。