2025年10月17日中午，匡亚明学院第十期“启智奋进，匡助成长”导师交流午餐会在潘琦楼C207会议室成功举行。本次活动特别邀请南京大学计算机学院蒋炎岩老师，围绕“小解释假设和软件自动化”主题，与来自不同年级和专业的30余名同学展开深入交流。午餐会由匡亚明学院党委副书记周安主持。

　　在分享环节中，蒋老师以“语言是人类构建世界模型的终极抽象”为切入点，系统阐述了“小解释假设”（The Small Explanation Hypothesis）的概念，并结合自身在系统软件与软件自动化领域的研究经验，介绍了该假设如何指导软件自动化技术的发展，最后展望了其在大语言模型时代下的广阔应用前景。蒋老师语言风趣、逻辑严谨，通过生动的案例和直观的演示，将抽象的理论与前沿技术娓娓道来，激发了同学们对软件工程与人工智能交叉领域的浓厚兴趣。

　　在随后的交流环节中，同学们围绕“小解释假设”的适用边界、大语言模型在系统软件中的实际应用，以及如何培养工程思维等问题，与蒋老师展开热烈讨论。蒋老师耐心解答，并鼓励同学们在夯实基础的同时，敢于提出自己的“小解释”，在探索中实现创新。

　　此次“启智奋进，匡助成长”第十期导师交流午餐会，不仅为师生搭建了高质量的学术对话平台，更引导同学们从哲学高度思考技术发展的底层逻辑。活动在浓厚的学术氛围与充分的思想碰撞中圆满落幕。

　　展望未来，匡亚明学院将矢志不渝地恪守立德树人初心，将“三室一厅”系列活动打造为滋养学术思想的沃土与引领学生成长的灯塔，让师生交流之桥愈发坚固，为培养肩负时代使命的拔尖创新人才贡献匡院力量。

学生感言

1

2022级本科生 张植翔

　　很荣幸能够参加此次午餐交流会，我曾在大二阶段修读过蒋炎岩老师的《操作系统》课程，蒋老师幽默风趣的授课风格和对操作系统的深刻理解让我们收获良多。本次午餐会为我们提供了一次近距离与蒋老师深入交流的机会。蒋老师从自身做科研工作的角度出发，为我们介绍了软件测试和软件自动化的研究任务。让我印象最深刻的是蒋老师所提到的“小解释假设”，为我打开了研究工作的新视野。最后蒋老师还分享了大语言模型时代下自己对人工智能应用的思考。作为未来计算机科学的研究人员，我们应当保持思考，不断探索与拥抱新技术。

2

2022级本科生 郑雯琪

　　蒋老师关于“小解释假设”的分享，为我们理解与解决复杂问题提供了一个极简而有力的框架。无论是软件自动化还是其他科研探索，皆可通过构建并遍历一个足够丰富的“解释空间”来实现目标。这一思路，无疑是对传统依赖人类经验与抽象思维方式的革新。在大模型时代，LLM凭借其长上下文记忆与“学语文”式的学习机制，正逐步打破传统启发式方法的局限。我们无需强求AI模仿人类的抽象路径，因为其独特的底层能力与结构化过程，正是其在特定任务上做出超越人类表现的关键。十分感谢学院组织本次活动，与蒋老师的交流令我深受启发，也让我为身处这样一个技术变革的时代而感到振奋。

３

2022级本科生 李恒济

　　蒋老师围绕“小解释假设”展开分享，提出复杂系统可以被一段简洁清晰的解释所刻画，这一观点让我重新思考软件自动化背后的本质逻辑。他结合大语言模型时代的发展趋势，展望了自动化编程的未来，强调了抽象与语言的力量。蒋老师不仅学术造诣深厚，还极具亲和力，整场交流轻松而充实。通过这次午餐会，我更加坚定了深耕计算机领域的信心，也意识到简洁表达与深入思考同样重要。

４

2023级本科生 彭浩楠

　　蒋炎岩老师提出的“小解释假设”让我深受启发。语言不仅是知识的载体，更是人类理解世界、拆解问题的关键工具。在软件自动化领域，小解释假设指引我们以更简洁、更具解释力的方式刻画复杂逻辑，也昭示了大语言模型时代人机协作的新可能。Everything is a token. 无论技术如何演变，清晰的语言与逻辑始终是推动认知突破与系统创新的底层动力，值得我们每一位科研与工程实践者深思。

５

2024级本科生 罗嘉恒

　　在午餐会分享中，蒋老师提到的“small explanation”——用简洁而本质的方式理解复杂系统，让我反思自己在AI与数学学习中是否过于追逐技术细节，而忽略了对根本原理的洞察。更震撼的是他提出的未来图景：当AI发展出超越人类现有数学体系的抽象能力，我们该如何自处？作为南大匡院学子，我既感紧迫，也觉使命在肩。与其恐惧被超越，不如努力成为那个能与AI共同拓展人类认知边疆的人——毕竟，真正的智能，不只是计算，更是理解与创造。