AI 日报：AlphaProof 解 9 道悬置 Erdős 问题，QGIS 封禁 AI 贡献

AlphaProof Nexus 解决了 353 个开放 Erdős 问题中的 9 个，其中 2 个已悬置 56 年。QGIS 禁止 AI 贡献，50 个 AI 辅助 PR 中有 40 个被关闭未合并。MiniCPM-V-4.7 以 35B MoE、3B 激活参数、Apache-2.0 开源并可端侧运行。