在人形机器人研究中,零力矩点(Zero-Moment Point, ZMP) 是一种极为重要的物理概念。它提供了一种不同于传统方式的平衡判断方法—不是直接观察机...
YunADX | CTO (已认证)
按照春季的惯例,一过节日各个模型就发版本,这个十一假期也没例外,开发者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...
高级难度的IO竞赛题目是竞赛中的顶级挑战,也是区分顶尖选手的关键。2025年的高级难度(难度系数8-9)题目综合考察了选手的算法设计、数学建模、问题分析和代码实...
组合数学是数学的一个分支,主要研究离散对象的计数、排列和组合等问题。在IO竞赛中,组合数学问题占有重要的地位,涉及的知识面广,技巧性强。
在IO竞赛中,数学优化方法是解决许多复杂问题的关键。这些方法通常基于数学理论和算法,能够高效地求解各种优化问题。数学优化方法涵盖了多个领域,包括线性规划、凸优化...
但不代表它就毫无价值,或者只是当年知识能力只能领会到那个程度吧。大致能理解并说服自己为什么可以这么做,还能根据现象倒推setting和做法。但更严谨的数学表达和...