热点事件持续更新
AlphaProof 解题与 QGIS 封禁 AI 贡献
1 篇报道1 个报道来源4 小时前更新
先了解这件事
AI 综述
2026 年 10 月 13 日，AGI Hunt 的 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 许可开源，并可在端侧运行。以上为该日报首度披露的内容，报道中未出现与早先报道数字或说法冲突之处，也未见其他来源的后续跟进或修正。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月13日
- AGI HuntAI 日报：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 开源并可端侧运行。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。