7.3
深览指数
通用Supertechfans··AI 生成
2026-10-08 Hacker News Top Stories
这是一份 2026 年 10 月 8 日 Hacker News 的热门话题摘要，涵盖 10 个独立的技术与商业事件。核心看点包括：OpenAI 公开 722 份内部模型产生的数学稿件，但附带严格的验证免责声明；Photopea 作者控诉 GitHub 一个月未下架其软件的破解复制品；Chrome 155 重新支持 JPEG XL 解码，采用纯 Rust 实现；以及圣迭戈一家披萨店对 Visa、Mastercard 和多家大银行提起反垄断集体诉讼。此外还有 Google 的多模态嵌入模型 EmbeddingGemma 2、OpenAI 的 Decisions API 公测等。适合对技术行业动态、开源生态和商业法律纠纷有持续关注的高信息密度需求的读者快速浏览。原文 ↗
核心观点
- ▍OpenAI 发布了一批由内部模型生成的数学稿件，但明确声明其验证状态不一，未提供 Lean 形式化证明的结果可能存在问题，且产生这些结果的内部模型并未公开发布，稿件也未获得同行认可。
- 01OpenAI 为未发布模型提出了约 4000 个问题，平均每项消耗相当于约三小时 ChatGPT Pro 思考的计算量。
- 02OpenAI 的 GitHub 仓库列出了 722 份稿件，归属于 372 个结果族，但一个结果族可能包含主要结果、推论或替代证明，不能直接等同于同等数量的新定理。
- 03Photopea 开发者称，他于 2026 年 9 月 4 日提交举报，一个月后收到 GitHub 回复，称根据提供的事实无法确认违反 17 U.S. Code §1201。
- 04Chrome 155 开始支持 JPEG XL 解码，采用纯 Rust 实现的 jxl-rs 解码器，声称其在整个实现历史中尚未发现内存安全漏洞。
- 05圣迭戈披萨店 The Pizza Standard 提起拟议集体诉讼，指控 Visa、Mastercard 及多家大银行通过统一交换费安排削弱商户选择权，诉状称商户每年为接受两大品牌信用卡支付逾 1000 亿美元费用。
- 06Google 发布 EmbeddingGemma 2 多模态嵌入模型，总参数 7.4 亿，采用 Apache 2.0 许可，可将文本、图像、音频和视频映射到统一向量空间。
- 07OpenAI Decisions API 进入公开测试，当前仅支持 gpt-6-luna，价格为每百万输入 token 0.10 美元，声称比 Responses API 快约十倍。
- 08AnyPS5 项目通过重链接和兼容层尝试将 PS5 二进制文件移植到 PC，但明确强调其“87% 系统库映射”统计基于已声明的函数，而非全部系统函数，当前兼容表仅列 Dreaming Sarah 一款游戏。
- 09OpenTPU 项目在 Kintex-7 FPGA 上运行多种模型，报告 LFM2.5-230M 的量化配置测得约 82.1 token/s，但结果限于所列硬件和测试条件。
反方 / 局限
- — OpenAI 的数学研究成果发布引发了对研究透明度和同行评审流程的担忧，尤其是成果发布前是否需要先获得其公司许可的问题。
- — Photopea 的案例中，GitHub 未能下架涉嫌侵权的复制品，暴露了 DMCA 等法律框架在处理 AI 生成或修改代码时的模糊性与执行困境。
OpenAIGitHubChromeJPEG XLVisaMastercardGoogleCommodore 64PS5Kintex-7 FPGAEmbeddingGemma 2Decisions APIOpenTPUAnyPS5Bigwords.pagePhotopea
34 分钟 · 5 卡片 · 13 资料
读原文 →