Procedural knowledge in pretraining drives reasoning in large language models | Heykuki News