➡️
继续阅读
-
强大AI模型的出现对像我这样的数学家意味着什么？
一位小型文理学院的数学教师指出，AI虽未解决其长期研究难题，但能帮助纠错、启发思路和改进写作，在缺乏本地同行时充当研究伙伴。她担忧AI正迫使课堂转向限时考...
-
SuperX推出AIIC 2.0，新增模型即服务能力
SuperX推出AIIC 2.0，新增模型即服务能力。该AI创新中心由STTGDC与SuperX于2026年4月在新加坡联合成立。升级后客户无需自行部署模...
-
异步 Rust：调度器究竟在哪里？
异步Rust需要运行时，这是并发编程的固有代价，调度器必须存在。Rust将运行时作为crate而非内置，以保持嵌入式和FFI能力，但导致Tokio默认化、...
-
247A，笔记2：哈代-利特尔伍德极大函数及其应用
陶哲轩介绍哈代-利特尔伍德极大不等式，给出四种证明：经典维塔利覆盖、二进立方体、贝尔曼函数及L²方法，并讨论其在勒贝格微分定理、遍历定理、H^p空间和卡尔...
-
DeepSeek-V4.1 模型结构（8）：KV cache 的管理与 SWA Bounded Replay
DeepSeek-V4.1为降低长上下文agent负载成本，将滑窗KV从SSD移至主机内存池，仅保留几分钟；全局KV仍存SSD至少72小时。滑窗KV丢失后...
-
DeepSeek-V4.1 模型结构（7）：输入端与优化器
DeepSeek-V4.1在主干外有两处改动。视觉端：自研DeepSeek-ViT从零训练，采用2D-RoPE、RMSNorm、SwiGLU，经3×3 p...
