AI 资讯

跟进 AI 的项目、产品与讨论

已同步 36981 条公开资讯，来源和发布时间保留在每条记录中。

AIGOOD 已同步公开来源；每条资讯详情保留来源和原文链接。

技术社区博客园首页

布客技术评论：为什么国产模型的数学研究能力不行？ - 绝不原创的飞龙

【摘要】结论先行：数学能力，特别是前沿问题的解决能力，不是解应用题，而是形式化验证。国产模型数学能力不足，核心原因不是代码能力差，而是没有在Lean形式化证明方向上进行足够的特化训练。这个判断有数据支撑，而且能解释一个看似矛盾的现象——国产模型在竞赛数学和代码生成上表现不错，却在研究级数学证明上乏善可陈。 阅读全文

查看详情打开原文
技术社区开源中国

AI 让代码量涨了 30%，软件产出却纹丝不动 —— 瓶颈卡在人类 Code Review

让 AI 写代码，公司真的产出了更多软件吗？一份对超 700 家公司真实工程数据的分析给出了一个反直觉的答案：代码是多了，软件没多。哈佛的两位学者 Fiona Chen 和 James Stratton 用 Jellyfish 的工程团队聚合数据做研究，覆盖 3 亿个独立工作事件（commit、PR 等）、超过 70 万名员工的记录、700 多家软件公司，时间从 ...

查看详情打开原文
社区讨论V2EX 技术

RTX 3080 Ti 12G 跑 125B MoE Qwen3.8-Flash-Next — Strata 安装跟实测

3080 Ti 12G 跑 125B MoE — Strata 装好后的一些实测 配置:3080 Ti 12G / 64GB DDR4 四通道 / PCIe 3.0 / Win11 模型 Qwen3.8-Flash-Next Q2 0(39.2GB)· 引擎 Strata 0.1.43 数据都是本地实测的 一、这玩法到底是怎么回事 消费级 12G 显存跑 39GB 的模型 。 MoE 模型每个 token 只激活一部分专家,这个模型大概 6B 。Strata 的做法是把装不下的专家 扔在系统内存里 ,要用的时候经…

查看详情打开原文
社区讨论V2EX 技术

RTX 3080 Ti 12G 跑 125B MoE Qwen3.8-Flash-Next — Strata 安装跟实测

3080 Ti 12G 跑 125B MoE — Strata 装好后的一些实测 配置:3080 Ti 12G / 64GB DDR4 四通道 / PCIe 3.0 / Win11 模型 Qwen3.8-Flash-Next Q2 0(39.2GB)· 引擎 Strata 0.1.43 数据都是本地实测的 一、这玩法到底是怎么回事 消费级 12G 显存跑 39GB 的模型 。 MoE 模型每个 token 只激活一部分专家,这个模型大概 6B 。Strata 的做法是把装不下的专家 扔在系统内存里 ,要用的时候经…

查看详情打开原文