Kazuki Nakayashiki's Highlights on 'GPT-4 Is a Reasoning Engine' | Glasp