欢迎点击《用魔术把数学放进孩子心里！——2025（下）数学魔术师种子班报名通知（内含惊喜福利）》和咨询微信1035312177（备注：数学魔术课程咨询）报名！

在本篇之前，我曾经简单探索过Processing，以及manim，但发现对数学公式的可视化实现效果并不是很好。对这类数学公式类的实现，还是matlab或pyth...

一句话承诺：全面解析Spark-Prover-X1-7B的自动定理证明技术、三阶段训练策略与应用场景，附代码示例与对比图表，帮你快速掌握形式化推理的核心能力。

而在常规的数学测试集上AIME，Gemini 3 Pro 是当今数学推理最强的通用模型（不算专精数学的 NMAX），如果直接可以用代码执行，直接达到了夸张的10...

在人形机器人研究中，零力矩点（Zero-Moment Point, ZMP） 是一种极为重要的物理概念。它提供了一种不同于传统方式的平衡判断方法—不是直接观察机...

按照春季的惯例，一过节日各个模型就发版本，这个十一假期也没例外，开发者CLI 工具几个模型都发布了新版本，GLM-4.5升级到了GLM-4.6、Claude S...

密码学是Web3和区块链技术的基础，为数字资产安全、身份验证和数据完整性提供了数学保障。在去中心化的世界中，没有中央权威机构来验证交易或保护资产，密码学成为确保...

很多人一提到人工智能（AI），脑海中立刻浮现出复杂的高等数学概念，比如微积分、线性代数、概率论等等。但我想告诉你一个事实：这些高深的数学理论，最终都是建立在最基...

有的问题，它几秒就能答出；有的问题，它会「犹豫」、停顿、再推几步。仿佛第一次拥有了时间感。

本题整个的思路、算法原理、解题过程博主在纸上推导了一遍，大家可以参考一下手记的推导过程！最好做题的过程中自己也推导一遍！！！自己能够推导很重要！

数学谜题在CTF中也很常见，这类题目通常需要参赛者具备一定的数学知识和逻辑推理能力。

在大语言模型(LLM)的发展历程中，推理能力一直是衡量模型智能水平的关键指标。尽管模型规模的扩大带来了知识覆盖和语言理解能力的显著提升，但在解决复杂推理问题时，...

这篇文章会把MLM的数学机制拆开来逐一讲解。从一个被遮住的句子开始，经过注意力计算、概率分布、梯度下降，看看这些数学操作到底怎么让BERT达到接近人类的语言理解...

注意力机制听起来很玄乎，但我们可以把它看作一个软k-NN算法。查询向量问："谁跟我最像？"，softmax投票，相似的邻居们返回一个加权平均值。这就是注意力头的...

做机器人逆运动学（IK）的时候，你迟早会遇到矩阵指数和对数这些东西。为什么呢？因为计算三维旋转的误差，不能简单地用欧氏距离那一套，那只对位置有效。旋转得用另一套...

实验结果显示，R-Zero在多个数学推理和通用领域推理基准测试中显著提升了LLM的推理性能。

点x处的密度估计需要计算x与各数据点的距离(以带宽h为度量单位)，然后将这些标准化距离输入核函数。距离较近的点产生较高的核函数值，距离较远的点贡献相对较小。KD...

()values()：像一个扁担，左边和右边对应。其中前一个括号指明要插入的列，后一个括号填写对应的元素。如果前一个括号忽略则默认为全列插入。

在进行表达式计算时，我们可以使用栈来保存数字和运算符，并在遇到右括号时进行计算。具体步骤如下：

abs(x) —>绝对值 abs(-17.4) —>17.4 cbrt(double) —>立方根 cbrt(27.0) —>3 ceil(double/n...