科技AI 与大模型·via @mubei

欧拉当年花了133页去论证负数的对数。 他在不知不觉中,给300年后的AI和信号处理砸下了底层地基。

欧拉当年花了133页去论证负数的对数。 他在不知不觉中,给300年后的AI和信号处理砸下了底层地基。 这场数学争论最早始于1712年。

微积分奠基人莱布尼茨写信给伯努利,断言负数绝不可能有对数。 理由非常直白:2的几次方能算得出负数? 不管指数放正数、负数还是零,统统行不通。 伯努利坚决不服,搬出微积分求导,硬说负1的对数就是0。 两个人来回论战了一整年,谁也说服不了谁。

当时微积分才诞生五六十年,地基一旦晃动就是整个学科的危机。 几十年后,伯努利的学生欧拉接过了这个烂摊子。 欧拉先指出了老师证明里的漏洞,又算出负数的对数必须包含虚数 i。 可紧接着出现了一个更致命的矛盾。 按运算法则推导,负1平方的对数既等于0,又能算出2倍的虚数解。

难道2倍的非零虚数真的等于0? 欧拉苦思冥想,最终反向撕开了一个缺口。 如果对数本来就不是单一值,而是有无穷多个解呢? 答案藏在虚数指数的运算规则里。 实数维度的指数运算,本质是数轴上一维的无限拉伸。

2的3次方、4次方,数值在数轴上越跑越远。 可一旦把指数换成纯虚数,向外的膨胀彻底消失了。 无论虚数取多大,结果到原点的距离永远是1。 它把一维数轴上的拉伸,直接变成了二维平面上的纯旋转。 绕着圆周转一圈是它,转十圈、一百圈还是它。

负数的对数不是无解,而是在复平面的圆周上有无穷多个周期解。 欧拉最终写出了那个著名的公式:$e^{i heta} = \cos heta + i\sin heta$。 等号左边是爆炸式增长,等号右边是周期性波动。 现代大模型的旋转位置编码(RoPE),依然在用同一个圆周旋转来锁定上下文的相对位置。 今天支撑前沿AI运行的数学直觉,早在1747年就被欧拉算得分毫不差了。

翻译视频 / X 同步发布

近期实时流信号 / STREAM SIGNALS

返回实时流 →

首发与规范引用:墓碑科技 MUBEITECH(https://mubeitech.com/p/17467072) · X 同步推文:https://x.com/i/status/2104134096947396916

导出 / EXPORT

订阅 · SUBSCRIBE

每周一封独立、不受审查的科技与 AI 深度评论与信号,周一发出。

不追踪邮件打开与邮件链接点击,一键退订。 或用 RSS · 详情