2026-10-08 Hacker News 热门摘要

OpenAI 公开 722 份数学稿件与 372 组结果，部分附 Lean 形式化证明，并明确验证状态不一。Google 发布 Apache 2.0 许可的 EmbeddingGemma 2，总参数 7.4 亿，可将文本、图像、音频和视频映射到同一向量空间。