前面文章和小伙伴们聊了 Tokenizer，经过 Tokenizer 之后，自然语言变为 Token，那么大模型就可以直接训练 Token 了嘛？还不行！

洛伦兹1963年发现的“非线性系统的确定性混沌”，标志着非线性科学的诞生。自此以“蝴蝶效应”表征的预报对初值的敏感性，掀起了一场长达半个多世纪，跨越多学科领域的...

前面我们介绍了匹配滤波器，本文将介绍维纳滤波器。首先我们回顾了维纳滤波的主人公Norbert Wiener，然后描述了维纳滤波的基本原理和推导，最后给出一个简单...

        简单来说，这就是数据的生命周期。本文我们将重点攻克前两个：如何优雅地把数据存进去，以及如何精准地把数据搜出来。

作者： HOS(安全风信子) 日期： 2024-09-13 主要来源平台： GitHub 摘要： 本文深入解析零知识证明的核心技术原理，从zk-SNARK...

关于多水平模型（multi-level models，MLM）的概念和理论知识，强烈推荐阅读冯国双老师的几篇文章，这是我目前见过的写的最通俗易懂的。多水平模型、...

作者： HOS(安全风信子) 日期： 2026-03-15 主要来源平台： GitHub 摘要： 本文深入探讨了现代人脸匹配技术的深度学习方法，重点分析了...

关于 babyvm 其实到第三篇文章已经算是结束了，这里的补充完全是继续介绍一下关于算法的还原。有些时候并不一定可以暴力破解，也不一定可以用 z3 模拟，那么最...

在开发过程中，发现在 MYSQL 的 Mapper 文件中会用到 WITH 关键字，有一些疑问：为什么要用WITH 和 WITH RECURSIVE ？是什么？...

正文：SAIR Foundation发起“数学蒸馏挑战赛”，旨在通过知识蒸馏技术提升小模型在复杂数学任务中的表现。参赛者需使用大模型生成高质量数学推理数据，训练...

https://chattutor.app[1] 访问，请在设置中设置自己的 API 密钥和模型。设置链接[2]

孟德尔抽样误差（Mendelian sampling error）是指个体育种值与父母平均育种值的离差，用数学表达为：

Compositional Neuroscience: Seeking a New Languagefor Brain Circuits with Monoid...

Integrated Information Theory and the Phenomenal Binding Problem: Challenges and...

https://direct.mit.edu/neco/article/33/2/447/95645/Whence-the-Expected-Free-Ener...

MATHEMATICAL EXPLORATION AND DISCOVERY AT SCALE

Global Optimization for Combinatorial Geometry Problems Revisited in the Era of ...

Enhancing Math Reasoning in Small-sized LLMs via Preview Difficulty-Aware Interv...

LEANCAT: A BENCHMARK SUITE FOR FORMAL CATE-GORY THEORY IN LEAN (PART I: 1-CATEGO...