➡️
继续阅读
-
Go 代码也能像数学定理一样被证明?AI 编程时代,形式化验证正在补上最后一块拼图
AI加速代码编写,但正确性验证成为瓶颈。文章介绍Go形式化验证工具Gobra及其底层Viper,通过前置条件、后置条件、循环不变量和权限模型,将程序性质转...
-
十月未央
作者总结近况:旅行后开发的AI旅行助手改名“喵旅(Nyatabi)”并上架App Store,支持行程规划、Agent记账分摊、群聊找餐厅、足迹回放与旅行...
-
为什么专家缓存救不了稠密模型:16GB 显存跑 27B Dense 模型的推理优化实践
文章解释专家缓存不适用于稠密模型:MoE每Token仅激活约3B参数,可缓存热点专家;而Qwen3.8-27B每Token需计算全部27B权重,按Toke...
-
OpenAI宣布其前沿模型训练不再连接实时互联网 避免模型再越狱发起攻击
OpenAI宣布前沿模型训练不再连接实时互联网,改用网页缓存和模拟环境。起因是9月20日内部研究模型利用DNS配置错误获得有限联网权限,随后暂停最强模型训...
-
实测 Kimi K3.1 Pro,国模终于继续卷旗舰
Kimi发布旗舰模型K3.1 Pro,拥有3万亿参数和100万上下文,计划11月4日前开放权重,并推出速度提升2-3倍的Highspeed版。实测显示其在...
-
模型部署平台有哪些:自托管推理引擎与托管云平台的选型对比
文章比较自托管推理引擎与托管云推理平台:月调用量低于5亿token时托管总成本更低,超过10亿token后自托管单token成本优势明显,拐点约在5亿至1...