Spring 2026｜新科研记录的开始
这个学期，我正式开始在康奈尔大学 ORIE 系进行本科科研项目，导师为 Shoham Sabach 教授。
在此之前我已经有过其他方向的研究训练，持续在 Isabelle 等工具支持下探索将严格的数学结构表达为可验证的逻辑体系。虽然相关工作仍在推进之中，但这段经历让我逐渐熟悉了开放性问题的研究节奏，也让我更加确信自己希望在理论与结构密切相关的领域继续深入。
上学期我在 Sabach 教授的指导下进行了一个学期的文献阅读与理论学习，同时也选修了他开设的优化课程（这学期也继续选修了他的Optimization for AI，十分有意思:)）在这一过程中我们逐渐建立了稳定的沟通与信任，也让我得以更扎实地进入现代优化理论的语境之中。
Sabach 教授本人的学术道路也让我感到一种微妙的共鸣，他最初长期学习纯数学，而后逐渐将兴趣转向优化理论这一兼具数学结构与算法思想的方向。或许正因为这样的经历，他也格外理解纯数学背景的学生如何过渡到优化研究，并愿意给予我很大的支持与空间。
在这样的基础上，本学期的研究将围绕约束优化与复合优化中的一阶方法（first-order methods for constrained and composite optimization）展开。我希望能够在这一方向中逐步收敛出一个具体的研究问题，并在理论层面做出初步推进。
对我而言这是一段新的探索，在已有的形式化与理论训练之外，进一步走向现代优化方法的核心问题，并尝试在结构与算法的交界处找到属于自己的切入口。
在接下来的学期里，我会不定期记录一些学习与思考的片段，作为这段研究旅程的延伸与注脚。