The joy of mathematics comes from the act of creation, not just the result.
I'm always hungry to learn and improve.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。