The model they built knows a fair bit apparently. You can't get 94.3 on AIME26 knowing nothing.