Mira Murati 領導的 Thinking Machines Lab 論文探討了大型語言模型（LLM）在推理過程中的哪一個核心問題？