Wiki 知识库

全部文档 / 标签: 数学基础

6 篇
清除

凿构周期律 · 数学系列(二十五)人类精神的荣誉

文章从1829年雅可比致勒让德的信谈起:科学唯一的目的是人类精神的荣誉。作者梳理了数学史上'为了用'与'为了它自己'两种目的观近两百年的交锋,从巴比伦记账泥板、傅里叶的热传导,到哈代的《辩白》、布尔巴基与四色定理。文章指出无论哪种立场,具体的人都常被排除在目的之外——诺特被制度挡在门外,密码学家隐姓埋名,孩子们默默核对证明。布劳威尔、外尔、瑟斯顿等人则不断把'人'收回数学的中心。最后文章回应2025-2026年AI冲击数学界的现实:机器达到IMO金牌线、代理证明费马大定理、千禧年问题的争议,追问在机器时代谁来署名、谁负责,重申'人是目的,构是手段'的核心论断。

生活 › 随笔 Han Qin 2026-09-2823.8 KB 7.1K 73

什么是深度流形?

本文介绍深度流形框架,一个旨在揭示神经网络数学结构的理论体系,由四大支柱构成:学习作为反问题(解释了学习的适定性与锯齿智能现象)、范畴论(神经网络学习的是数据间关系而非数据本身)、堆叠分片流形(学习发生在层与迭代形成的演化几何结构中)、不动点理论(描述学习在变化边界条件下的推进方式)。文章阐述了神经网络方程、训练动力学、模型推理的数学原理,指出网络能力源于计算的无属性性与满秩性。该框架旨在为神经网络建立严谨的数学基础,实际意义在于实现更高效的学习、更好的对齐和更小的模型。

技术 › LLM deep Manifold 2026-09-098.1 KB 10.7K 28 58

The Math Needed for AI Inference Engineering (Complete Roadmap)

本文系统梳理了AI推理工程所需的核心数学知识路线图。内容涵盖:浮点数表示(FP32/FP16/BF16/FP8/INT8等格式的位分配与精度/范围权衡)、舍入误差累积、溢出与下溢、机器epsilon、灾难性消除及稳定softmax与log-sum-exp技巧;量化数学,包括scale与zero-point线性映射、对称/非对称量化、粒度选择、范围裁剪、激活离群值处理及基于Hessian的曲率方法;以及线性代数计算成本分析,如矩阵乘法的浮点运算量与内存读写开销估算。作者强调在性能分析前能手算层耗时是推理工程中最有价值的习惯。

技术 › LLM vixhaℓ 2026-09-0827.9 KB 93.1K 870 85

辛克維奇时刻,历史正在重演?

文章回顾了有限元法(FEM)的发展史,指出伯克利学派和辛克維奇因数学基础局限而导致的衰落。作者将巴布什卡悖论与当前 AI 领域的 Scaling Law 类比,警示过度堆叠参数可能无法解决根本的架构缺陷,提出智能突破需重构底层数学架构。

技术 › LLM deep Manifold 2026-08-039.5 KB 1.4K 1

如何利用神经网络在交易中获得优势:量化交易框架指南

文章深入探讨了如何利用神经网络构建量化交易系统。作者解释了对冲基金如何利用机器学习提取交易优势,揭示了神经网络计算条件期望的数学本质,而非直接预测未来。文中分析了为何直接预测价格会失败,并提出了正确的数据处理方法和架构选择,旨在为交易者提供一个从数据准备到信号部署的完整实施框架。

技术 › 量化交易 Roan 2026-05-0757.9 KB 1.4M 1.4K 69

AI/ML 所需的线性代数知识(完整路线图)

本文旨在消除从事 AI/ML 工作对数学博士学位的恐惧,提供了一份精准的线性代数学习路线图。文章分为五个阶段:从标量、向量、矩阵等基础概念,到特征值、SVD(奇异值分解)等核心机器学习数学工具,再到连接微积分的梯度与雅可比矩阵。作者强调了掌握这些概念对于理解神经网络、PCA、推荐系统及 LoRA 微调等技术的重要性。

技术 › LLM vixhaℓ 2026-04-2424.4 KB 106.9K 1.3K 79