➡️
继续阅读
-
数学(与科学)将迎来黄金时代还是黑暗时代?
陶哲轩博客刊载Francesco Maggi客座文章,讨论大语言模型对数学与科学的影响。作者认为LLM已能生成重要证明,但人类理解仍是数学的核心,若知识脱...
-
给Rust代码办一张“数学身份证”:亚马逊揭秘Nitro背后的形式化验证武器Verus
亚马逊开源了验证器Verus,可为Rust代码提供数学证明,弥补类型系统仅能保证内存安全、无法保证结果正确的不足。规约以requires/ensures直...
-
Deepseek-V4-1017竞赛题翻车:许愿编程封神,硬核推理崩盘
DeepSeek-V4.1-Flash-1017的编程分数涨了,竞赛推理却崩了! 这版模型官方晒出的基准测试表上,DeepSWE v1.1拿七十七分,把C...
-
小模型推理别只看吞吐,先把超时的请求扣掉
文章讨论小参数语言模型在搜推场景的推理优化,核心是在延迟约束下追求有效吞吐,而非单纯追求吞吐数字。压测应将超时请求计为失败,明确端到端延迟预算并区分排队与...
-
Claude Code 团队是如何进行代码审查的
Anthropic的Claude Code团队超90%代码由AI生成,逐行人工审查成为瓶颈,遂转向人机协同分级审查:提交前由Claude自测并交叉验证,P...
-
“周四MongoDB变慢了”:用mongo-health回应应用团队
Linux内核的小改动可能导致PXC/Galera工作负载出现写入放大,拖慢集群性能。运维人员需关注内核版本变化,评估其对数据库写入路径的副作用。