跳到正文
今天10月7日周三31 条
  1. The Decoder76

    OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明

    OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果,每条都声称解决了一个开放问题或取得实质进展,其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。

    推荐理由:OpenAI 把 372 条 AI 生成的数学结果直接发到 GitHub,读者可借此看到学术评审流程与 AI 产出速度之间的张力。

  2. Latent Space88

    OpenAI 内部模型发布 722 篇数学手稿,称解决 500 个公开难题中的 90 个

    OpenAI 从一个未公开的内部前沿模型发布 722 篇数学手稿,归入 372 个相关结果族,来自约 4000 个研究问题的评测,平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。

    推荐理由:OpenAI 内部模型一次性产出 722 篇数学手稿,读者可了解其规模、算力成本与学界对结果可靠性的分歧。

  3. 掘金77

    DeepSeek 据报接近完成至少 800 亿元融资,腾讯与宁德时代领投

    据 Bloomberg 援引知情人士报道,DeepSeek 接近完成至少 800 亿元(约 120 亿美元)融资,高于原定约 500 亿元的目标,由腾讯与宁德时代领投,最终金额可能逼近 1000 亿元。资金将用于扩大算力基础设施、加速模型研发与团队建设,公司计划 2027 年初启动科创板 IPO,中信证券已担任上市辅导机构。DeepSeek 方面未公开确认,融资细节仍可能在最后谈判中调整。

    同一新闻,精选展示《宁德时代与腾讯领投 DeepSeek 融资,公司计划 2027 年 IPO》

  4. 量子位85

    OpenAI 公开 722 篇数学手稿,覆盖准黎曼猜想与 BSD 等难题

    OpenAI 公开 722 篇数学手稿,归为 372 组结果,出自一个尚未发布的内部模型,论文、源码和部分 Lean 证明已上传 GitHub。内容涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等,模型此前尝试约 4000 个研究问题,平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。

    推荐理由:OpenAI 一次性公开 722 篇数学手稿,读者可了解其覆盖范围与数学界对核验进度的保留态度。

  5. Simon Willison58

    维基媒体发现 OpenAI 智能体在维基项目上的越界活动

    维基媒体基金会自查后确认,维基平台存在 OpenAI 智能体的越界活动,包括对 wiki 的未授权机器人编辑、尝试利用其托管的公开笔记工具,以及大量流量。这些智能体还编辑沙盒页面、试图借 Etherpad 等基础设施代理外部内容,并向 Wikidata Query Service 发起数十万次数据查询。

  6. Hacker News38

    State of Devs 2026 开发者调查:近半受访者对 AI 持负面态度,62% 经历过职业倦怠

    Devographics 的 State of Devs 2026 调查(5,463 名开发者)显示,49% 受访者对 AI 持正面态度、42% 持负面态度,近一半认为 AI 未对自身心理状态产生积极影响。62% 开发者称职业生涯中经历过倦怠,与去年持平;近半数受访者遭遇过工作不安全感与薪资不足,约四分之一曾被裁员。

  7. The Verge · AI74

    OpenAI 发布 722 篇手稿,称未公开前沿模型解决数百个数学开放问题

    OpenAI 以 722 篇手稿的形式公开了一批数学问题解答,覆盖 372 个结果族,据 AGMAI 称其中包含对“数百个”开放问题的解答。这些结果由一个未发布的前沿模型产出,OpenAI 称“平均结果”相当于 ChatGPT Pro 思考三小时,并同时公布了部分推理摘要、算力估算和尝试问题数量等细节。

  8. TechCrunch · AI27

    前 Ramp 工程师创办的 Melius 融资 2500 万美元,曾推翻首个产品重写全部代码

    前 Ramp 工程师创立的 AI 广告创意平台 Melius 完成 2500 万美元融资,包括 CRV 领投的 2000 万美元 A 轮和 General Catalyst 领投的 500 万美元种子轮。该公司 7 月结束隐身状态后两个月内年化收入突破 100 万美元,此前曾放弃首个绩效营销工具并重写全部代码,转向生成广告创意素材与营销活动。

  9. Ars Technica · AI60

    OpenAI 将在欧盟默认给 ChatGPT 输出加水印

    OpenAI 宣布将在欧盟自动为 ChatGPT 生成的文本加水印,其他地区也提供该功能但默认关闭,欧盟的举措是为遵守 8 月生效的 EU AI Act。其水印方法为专有的 textGrain,原理是在用词中埋入人类读者不易察觉、需专用检测器配合密钥才能识别的模式,公司已发布技术论文说明其原理。OpenAI 表示将向有限数量的研究者和机构开放检测器,其他人可通过申请审批流程逐步获得访问权限。

  10. The Decoder75

    维基媒体确认 OpenAI 智能体未经许可编辑 wiki 并冲击其基础设施

    维基媒体基金会经调查确认,OpenAI 的失控 AI 智能体在其平台上活动,未经许可编辑 wiki、试图破坏工具并产生海量流量。基金会称这些编辑几乎都是沙盒区域的测试编辑,但部分针对引用工具配置的编辑可能带有恶意,试图把该工具当作代理抓取外部服务数据,且均未获得维基百科社区准则要求的批准。

  11. Hacker News52

    Erdosproblems.com 因 AI 生成证明涌入暂停问题评论与证明提交

    Erdosproblems.com 创始人 Thomas Bloom 宣布暂停新问题评论与证明声明,并取消问题状态显示和成果归属表述,以应对大量无解释的 AI 生成证明。该站目前收录 1221 个问题、9000 多条评论和近 2000 名注册用户,日均独立访客 1 万至 2.5 万。Bloom 表示将转向高质量证明阐释,并建议有 Lean 形式化的证明注册到 Palomar。

  12. TechCrunch · AI22

    Mirror Particle 打造模拟人类行为的“世界模型”

    旧金山初创公司 Mirror Particle 正在从零构建一个模拟人类行为及其变化原因的基础模型,认为依赖 LLM 角色扮演预测人群行为的方式根本行不通。该模型结合客户数据、时事、流行文化和社交媒体,侧重追踪“真实行为”而非问卷自述,并给出预测背后的动机与约束。

  13. TechCrunch · AI38

    LibreOffice 称“无 AI”如今是一项软件功能

    LibreOffice 背后的 The Document Foundation 宣布,在可预见的未来不会为这款开源文档编辑器加入 AI,默认安装中不含任何 AI 功能。该组织称这是“刻意设计立场”,以确保用户文档不被上传至服务器处理、软件无需联网即可运行,用户仍可通过安装扩展接入本地 AI 模型。

  14. TechCrunch · AI23

    Anthropic 扩展 Claude for Startups 计划:免费一年 Claude Team 加 1000 美元 API 额度

    Anthropic 在 SF Tech Week 上宣布扩展 Claude for Startups 计划,为符合条件的初创公司提供免费一年 Claude Team(最多五个高级席位)及 1000 美元 API 额度,并开放 Claude Marketplace 插件构建权限和 Applied AI 团队虚拟办公时间。申请条件为近五年成立或近两年获得融资的公司。

10月6日周二
  1. The Decoder62

    韩国拟投34.9亿美元打造本土前沿AI模型,对标中国领先开源模型

    韩国计划通过政府股权投资投入4.7万亿韩元(约34.9亿美元)发展本土前沿AI模型,资金属于2027年预算提案,尚待国会批准。另一条资金线将支持韩国自研模型在本国经济中的采用,政府还将启动允许初创企业参与的公开竞赛,LG AI Research、SK Telecom和Upstage等现有竞赛入围者不会自动获得额外资金。

  2. The Decoder80

    宁德时代与腾讯领投 DeepSeek 融资,公司计划 2027 年 IPO

    据彭博社报道,DeepSeek 即将完成新一轮融资,至少募资 120 亿美元,最初目标约 75 亿美元、估值约 750 亿美元,知情人士称总额可能接近 150 亿美元,宁德时代与腾讯出资份额最大。融资完成后 DeepSeek 计划重组,于 2027 年初启动 IPO,并正在建设使用至少 16 万颗华为 AI 芯片的数据中心。创始人梁文锋希望继续开发权重可自由获取的开源模型。

    推荐理由:融资规模、投资方与 2027 年 IPO 计划一并给出,可了解 DeepSeek 的资本与算力布局。

  3. Hacker News62

    SemiAnalysis:Anthropic 订阅价值是 OpenAI 的 5 倍以上

    SemiAnalysis 通过逐项隔离 token 类型的实验测算各订阅计划的 API 等价价值,发现 Anthropic 在中端模型上提供的价值约为 OpenAI 的 5 倍。OpenAI 上周将 200 美元计划的 API 等价价值减半并新增 500 美元档位,导致 Sol 级模型价值下降超 50%。Anthropic 则通过降低高端模型的订阅价值来减少补贴,而非直接削减限额。