◆ AI 总结

本周AI动态聚焦于Aster自主研究实验室在ProteinGym上30分钟创纪录，以及Kimi-K2.7-Code加入Code Arena前端排行榜。此外，Supra-1.5-exp和North-Mini-Code新模型发布，AI模型被外国政府关闭引发主权讨论。

模型动态

SupraLabs发布Supra-1.5-exp模型系列，上下文窗口扩大5倍

Supra-1.5-exp系列发布Base、Instruct和GGUF版本，上下文窗口比原版扩大5倍，面向本地部署场景。[5]
Meta / Cohere

llama.cpp添加cohere2-MoE架构支持，发布North-Mini-Code模型

llama.cpp PR添加对cohere2-MoE架构支持，新模型North-Mini-Code（30B-A3B参数）专为代码生成优化，已上线。[6]

产品工具

Kimi

Kimi-K2.7-Code加入Code Arena前端排行榜

开源模型Kimi-K2.7-Code正式进入lmarena Code Arena前端，支持通过提示和图片上传构建完整Web应用，用户反馈驱动排行榜。[3][4][3]

行业资讯

Aster构建自主研究实验室，30分钟创ProteinGym纪录

Y Combinator旗下Aster公司运行数千AI代理执行自动化研究，在ProteinGym上30分钟内创下世界纪录，并开始自动化开放式研究。[1]

最先进AI模型被外国政府关闭，引发AI主权担忧

Al Carns透露最先进的AI模型被外国政府关闭，英国研究人员、企业和医院失去访问权限，引发对AI主权和依赖风险的广泛讨论。[2]