形式化定义LLM强化学习中token级信用分配的三大公理，为RLHF等算法提供统一数学基础。