detta har alltid varit fel - men nu kategoriskt fel i RL-eran på verifierbara domäner Modeller är sanningssökande och interagerar till och med med en hård omvärld via verktyg