1、OpenAI发布又一批AI数学研究成果，攻破数百个悬而未决难题
（来源：IT之家）IT之家 10 月 7 日消息，OpenAI 在一批包含 722 份手稿、涵盖 372 个结果家族的文件中，公布了某款未发布的前沿模型解决的多项长期存在的数学难题。IT之家注意到，这一举措延续了其一系列突破性成果，这些成果既给数学界部分人士留下了深刻印象，也引发了不安，同时还带来了关于研究伦理和学术行为的疑问。据负责以负责任的方式传达这些成果、新成立的精英数学家独立咨询小组 AGMAI 介绍，此次公布的内容包含对“数百个”未解决问题的解答。数周以来外界一直在期待这批成果，不过在此之前，OpenAI 始终没有说明模型究竟解决了哪些问题，也没有给出确切的发布时间。
http://k.sina.com.cn/article_5952915705_162d248f906703q0w6.html
2、LibreOffice：短期内默认版本不内置AI功能，用户可通过扩展自行接入本地模型
（来源：IT之家）IT之家 10 月 7 日消息，如果你正在寻找一款不使用人工智能的文档编辑软件，LibreOffice 或许正是适合你的选择。开发这款开源文档编辑软件 LibreOffice 的非营利机构文档基金会（The Document Foundation），于本周在一篇博客文章中表示，该机构并非一味排斥人工智能，但在可预见的未来，“不会”在自家软件当中加入人工智能功能。这篇博客发布的几周之前，也就是八月下旬，LibreOffice 刚刚推出了最新版本。当时这家非营利组织就已经重申，这套软件“不包含任何生成式人工智能功能”。
http://finance.sina.com.cn/stock/t/2026-10-07/doc-iniukaam8329640.shtml
3、【国内动态】科技赋能，共庆华诞！福州地铁智慧机器人再度亮相南门兜站！
（来源：机器人全球资讯）国庆假期福州地铁智慧机器人再度亮相南门兜站！这一次，舞台不只属于机器人乘客亲手操控、零距离互动在欢声笑语中收获一份科技感满满的国庆惊喜智趣到站AI互动体验登场南门兜站作为1、2号线核心换乘枢纽，汇聚八方客流。福州地铁将智能科技与公共服务深度融合，持续在车站试点智慧机器人应用场景。10月4日，智慧机器人互动体验活动再度亮相福州地铁2号线南门兜站中心舞台，为祖国华诞献上独具特色的科技祝福。上手操控人人都是"指挥官"活动现场，机器人在乘客的指令下前进、转身、挥手，“一招一式”都由现场观众说了算。
http://k.sina.com.cn/article_5953740931_162dee0830670413ha.html
4、SpaceX考虑融资400亿美元，用于购买英伟达芯片
据英国《金融时报》报道，马斯克旗下航天公司SpaceX正寻求完成一笔由阿波罗全球管理牵头的400亿美元融资，资金将用于采购英伟达芯片。报道援引消息人士的话称，这家同时运营火箭与人工智能业务的企业，计划筹集约100亿美元银行贷款和300亿美元投资级债务，以此支付芯片采购款项。这笔交易预计将于2027年完成。该消息传出后，SpaceX股价在纽约盘后交易回吐全部涨幅，最大跌幅达1.8%；英伟达股价则最高上涨0.6%。报道称，英伟达、SpaceX以及阿波罗未回应置评请求。
http://k.sina.com.cn/article_1887344341_707e96d502001wc8a.html
5、HubSpot裁员7%，称并非因为AI
随着市场对人工智能侵蚀其营收的担忧持续发酵，HubSpot成为今年最新一家裁员的企业软件提供商。软件提供商HubSpot首席执行官Yamini Rangan在一篇博客文章中宣布，公司将裁减660名员工，占员工总数的7%。此次重组还将包括削减部分管理层级，并重新调整产品团队。Rangan在博客中表示，此次裁员“并不仅仅是一项削减成本的举措”，也并非源于HubSpot在内部使用人工智能来取代过去通常由人工员工完成的工作。HubSpot此次裁员之际，一些投资者正担心传统企业软件提供商受到人工智能的威胁。
http://finance.sina.com.cn/stock/usstock/c/2026-10-07/doc-iniukaaq6289941.shtml
