➡️
继续阅读
-
从AI代码到可信软件：工程约束的实践
文章探讨了“工程约束”如何通过仓库强制执行标准，确保AI生成代码的质量与问责。它强调权限、质量门、证据和可观测性，并描述了从辅助到自主的成熟度阶段。核心是...
-
结构化应用数据的Dataclasses
本文介绍Python dataclass如何替代易出错的配置字典，构建结构化、可维护的数据模型。涵盖组合嵌套记录、用default_factory处理可变...
-
九问ScienceDiscovery实现树搜索驱动RSI，加速科学发现，小时级写出通用积分器，低成本找出物理科学规律
openJiuwen社区的ScienceDiscovery平台通过树搜索自动迭代科研代码，无需训练模型或调整参数。它成功解决了振荡积分计算、高斯超几何函数...
-
金融AI的年度大考交卷了：2万名选手、30+家机构、百亿级数据开源
AFAC 2026金融AI大赛在上海举办，吸引全球5027支队伍参赛。赛事聚焦真实金融场景，设置交易行为识别、复杂文档还原、稀疏反馈实验和长文本Agent...
-
Kimi K3 模型结构（10）：RL 与服务，状态住在哪里
本文介绍Kimi K3模型在1M上下文强化学习与线上服务中的系统设计，核心是状态管理。KV块和KDA状态通过write-back策略在GPU与DRAM池间...
-
Kimi K3 模型结构（9）：显存，把 2.8T 塞进 GPU
本文详解Kimi K3模型训练中的显存优化策略，通过账本形式分析权重、激活等内存占用，并介绍六项关键技术：均衡PP rank激活、统一激活管理器、MoE反...
