2026-10-08 Hacker News Top Stories
内容提要
OpenAI公开722份AI生成数学稿件，归为372组，部分附Lean证明，验证状态不一。Photopea作者举报GitHub盗版复制品，一月未下架。Chrome 155将支持JPEG XL解码。Visa、Mastercard面临商户费反垄断诉讼。Google发布7.4亿参数多模态嵌入模型EmbeddingGemma 2。OpenAI推出Decisions API公开测试。另有C64键帽字体、AnyPS5移植、OpenTPU加速器及Bigwords.page标牌工具等项目发布。
延伸解读
AI数学成果的验证边界
OpenAI公开的722份稿件归为372个结果族，但一个结果族可能包含主要结果、推论或替代证明，不能简单等同于372个新定理。仓库明确说明验证状态不一，部分附有Lean证明，未形式化结果可能存在问题。读者需注意，Lean验证还需确认形式化命题准确对应论文中的问题，不能只看到证明文件就跳过语义核对。
JPEG XL回归的生态影响
Chrome 155将支持JPEG XL解码，采用Rust解码器jxl-rs，优先考虑内存安全。该格式支持无损压缩、HDR和渐进加载，官方称相对JPEG可节省约30%–50%体积，但仍建议按场景比较AVIF。浏览器支持只是第一步，应用、聊天软件和图片查看器的兼容性往往跟进较慢，且不同浏览器对渐进解码等细节可能仍不一致。
商户费诉讼的争议焦点
圣迭戈披萨店提起拟议集体诉讼，指控Visa、Mastercard及大银行通过统一交换费安排和规则削弱商户选择更便宜支付方式的能力。诉状称商户每年支付逾1,000亿美元费用，并寻求填补2019年1月25日后的救济缺口。需注意，这些是原告主张，尚非法院查明事实；商户总费率还受收单机构报价影响，不能全归给卡组织。
多模态嵌入模型的实用考量
EmbeddingGemma 2以Apache 2.0许可发布，总参数7.4亿，文本部分仅2.7亿，可将文本、图像、音频和视频映射到同一向量空间。通过Matryoshka表征学习，输出向量可从768维截断至128维，最高六倍节省向量存储，但这不等于模型权重缩小六倍。本地处理支持离线和隐私优先管线，但质量与速度仍需按任务和配置验证，统一多模态不自动证明每个单项任务最优。
Q&A
OpenAI 公开的数学稿件有多少份？这些结果都经过验证了吗？
OpenAI 公开了 722 份数学稿件，归为 372 个结果族。仓库明确说明验证状态不一，并非每份稿件都有 Lean 形式化证明，未形式化的结果可能存在问题，后续会纠正和补充。
Chrome 155 对 JPEG XL 的支持情况如何？
Chrome 155 开始提供 JPEG XL（.jxl）解码支持，采用纯 Rust 解码器 jxl-rs。该格式相对 JPEG 可节省约 30%–50% 体积，支持无损压缩、HDR、现有 JPEG 无损转码和渐进解码。官方仍建议同时尝试 AVIF 与 JPEG XL。
EmbeddingGemma 2 是什么？它有哪些主要特点？
EmbeddingGemma 2 是 Google 发布的基于 Gemma 4 的轻量多模态嵌入模型，采用 Apache 2.0 许可，总参数 7.4 亿（文本部分 2.7 亿）。它可将文本、代码、图像、音频和视频映射到统一嵌入空间，支持 8K token 上下文，输出向量可通过 Matryoshka 表征学习从 768 维截断到 512、256 或 128 维，适合设备端语义搜索、跨模态检索与 RAG。
OpenAI Decisions API 是什么？它如何计费？
OpenAI Decisions API 是面向分类、路由、筛选和排序等短决策任务的公开测试接口，当前仅支持 gpt-6-luna，提供 predicate、choice 和 score 三类问题。计费为每百万输入 token 0.10 美元，不收输出、缓存读写 token 费用，区域处理和长上下文倍率仍适用。
AnyPS5 项目能移植所有 PS5 游戏吗？目前兼容性如何？
不能。AnyPS5 通过重链接和系统库兼容实现移植，但 README 明确“87% 系统库映射”的分母是项目已声明的函数，并非 PS5 全部系统函数。当前兼容表仅列 Dreaming Sarah 一款游戏，Windows 已可玩，Linux 栏仍为问号。遇到未支持状态程序会报错退出，不能承诺大型新作可直接运行。
Bigwords.page 是什么？它如何保存和分享标牌内容？
Bigwords.page 是一个以链接配置全屏文字的静态网页工具，可用于接机牌、会议提示、倒计时等。消息与设置放在 URL 的 # 之后，支持颜色、字体、有限 Markdown、分段轮播、计时器、二维码与图像。无需注册账号，消息保存在 URL fragment 中，浏览器请求时不会传给服务器，网页没有后端消息存储。
