硅墨社

AI前沿内容更新

热点新闻

周报评分前三
  1. 01 模型发布 · 8.5 / 10 Kimi K3.1 Pro 权重如期公开,2.8T 模型可下载但许可留口子
  2. 02 模型发布 · 8.5 / 10 Fable 5.2 发布:30 小时攻克费马大定理形式化
  3. 03 研究与论文 · 8.5 / 10 AlphaProof Code:AI 四周完成 Signal 加密代码的形式化验证
显示 15 条

最新记录

9 份日报 · 共 125 条

日期归档

按日期回看每日记录。