从 41 条内容中筛选出 10 条重要资讯。 科技新闻 OpenAI 发布数学 AI 进展，宣称证明多个开放问题 ⭐️ 9.0/10 Mistral Large 4 预览版发布：1 万亿参数，承诺月底开源权重 ⭐️ 9.0/10 Google 发布 EmbeddingGemma 2 轻量多模态嵌入模型 ⭐️ 8.0/10 Gleam 编译器不再生成 Erlang 源码，改为输出抽象形式 ⭐️ 7.0/10 Gentoo 放弃维护 Chromium 软件包并将其屏蔽 ⭐️ 7.0/10 OpenSSH 10.6…