概念浮点算术
浮点运算
计算机中表示实数近似值的运算方式，遵循IEEE 754标准，存在舍入误差和非确定性等问题。
时间轴 (近 90 天)
10月19日
浮点运算的舍入误差和并行执行的非确定性是形式化验证的经典难点。
待验证50%
10月19日
编译器优化中常见的重结合、常量折叠等变换在整数域是安全的，在浮点域却可能改变数值结果。
待验证50%
10月18日
IEEE 754浮点数不满足实数域中的结合律和分配律，舍入误差会累积传播。
待验证50%
10月16日
LLM推理的随机性至少来自三个独立来源：采样策略（temperature、top-p）、浮点运算的累积误差、以及批处理大小变化导致的矩阵乘法归约顺序改变。
待验证50%