当模型学会了三门武艺，却在互相拆招
先说一件挺反常识的事。你可能觉得，让一个AI模型同时学会数学、编程和逻辑推理，应该是"技能越多越强"，就像一个人多学几门手艺不会互相打架。
Optimizer 使用指南：如何一键优化 Windows 系统
1. 项目介绍Optimizer[1] 是一个功能全面的 Windows 优化工具，旨在增强隐私、安全性和系统性能。它能够修改系统选项、禁用开机启动项、清理系统垃圾、修改本地 hosts、修复注册表等等。2. 下载安装目前 Optimizer 最新版本为 v16.
训练时用粗糙的softmax近似，模型到底会学坏在哪一步？
先说一个可能让你意外的事实。在做低精度大模型训练这件事上，业界早就把矩阵乘法、权重、激活值都压缩到了很窄的数值格式里，FP8、FP4满天飞。但唯独softmax这一步，几乎所有主流方案都留了一手，继续用高精度浮点数计算。
Tesla V100深度讲解：专为深度学习设计的Tensor Core有多牛？
今年5月，在加州圣何塞举办的 2017 GPU技术大会上，英伟达 CEO 黄仁勋发布了使用最新一代架构Volta的NVIDIA
首发深度评测：架构升级效果斐然！第十一代酷睿性能起飞
Intel酷睿i9 11900K & 酷睿i5 11600K首发深度评测。不过，面对竞争对手新一代处理器的挑战，Intel也没有松懈，继去年推出第十一代酷睿移动版之后，于今年3月16日正式发布了代号Rocket Lake-S的第十一代酷睿台式机处理器进行还击。
专治大模型不懂行：浙大团队CatCoder解决AI编程“水土不服”难题
近日，浙江大学副教授胡星和团队开发出一款名为 CatCoder 的 AI 框架，它能够读懂一个完整的软件项目，生成准确、可用的代码。在 Java 任务上，它在代码编译通过率和测试通过率上，比业内表现突出的代表之一 RepoCoder 最高提升了 14.44% 和 17.35%。
Agent不会搞科研？人大微软开源框架&工具包解决盲目试错通病，抱抱脸日榜第一
论文标题:Toward Generalist Autonomous Research via Hypothesis-Tree Refinement。
安钧璨肝癌去世 深挖娱圈组合内讧解散内幕井柏然吴尊强势
F4，是一个在全球华人地区极具知名度的亚洲男子团体，引领着一个潮流文化时代的先驱者，是“华流”的领军人物。成员包括台湾的言承旭、朱孝天、周渝民和美藉华人吴建豪。BoBo，由井柏然以及付辛博两人组成的偶像组合，二人都是从2007年选秀比赛“加油!
别让计算等着搬权重了！KTransformers让CPU直接参与MoE微调计算
在单机有限显存的场景下，即使传输与计算完美重叠，权重搬运仍然决定了微调的吞吐上限，传统范式无论如何优化权重的搬运方式都是徒劳。
AI科学家还在刷静态榜？基准主动反击，重塑自动科研评价标准
所以，DASES 追求的不是「在固定 benchmark 上分数最高的候选」，而是在当前最强、且仍然合法的 falsification frontier 下，依然活下来的候选。