半导体产业是全球化分工的典范，但核心技术必须自主可控。
The semiconductor industry is a model of global division of labor, but core technologies must be independently controllable.
AI is the most transformative technology of our time.
L-函数的研究证明了抽象在数学中的力量。
操办丧事，虽然礼仪繁多，但表达哀悼之情，才是最根本的。
思想的任务不是再现现实，而是回应存在的召唤。
Trust your instincts, they know the way.
We thought that we had the answers, it was the questions we had wrong.