Thoughts on AGI, mathematics, and the pursuit of knowledge.