late's Highlights on 'AlphaProof, AlphaGeometry, ChatGPT, and why the future of AI is neurosymbolic' | Glasp