➡️
继续阅读
-
强大AI模型的出现对像我这样的数学家意味着什么？
一位小型文理学院的数学教师指出，AI虽未解决其长期研究难题，但能帮助纠错、启发思路和改进写作，在缺乏本地同行时充当研究伙伴。她担忧AI正迫使课堂转向限时考...
-
SuperX推出AIIC 2.0，新增模型即服务能力
SuperX推出AIIC 2.0，新增模型即服务能力。该AI创新中心由STTGDC与SuperX于2026年4月在新加坡联合成立。升级后客户无需自行部署模...
-
计算机之父冯·诺依曼：用新语言重写世界的数学天才
冯·诺依曼发明了一套描述世界的语言，让计算机开始替人类思考！ 本文讲述二十世纪数学天才冯·诺依曼如何通过在量子力学、博弈论、计算机科学等领域发明新语言来重...
-
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...
-
DeepSeek-V4.1 模型结构（6）：解码，DSpark
DeepSeek-V4.1 的 DSpark 是在主干模型后挂载的三层草稿模块，一次前向生成 5 个草稿 token：Markov head 补充 tok...
