没有一种事实性对齐方法完全可复现，没有一种跑赢基座模型；奖励机制最终优化的其实是格式或长度，而非事实性本身。