The relationship between reasoning and performance in large language models—o3 (mini) thinks harder, not longer | Synapse