刘抒睿

斯坦福大学数学博士 & 计算机科学博士辅修；北京大学数学学士

关于我

我目前是斯坦福大学数学系博士研究生，同时辅修计算机科学博士（2022年秋季至今）。

我的数学研究方向是几何表示论和范畴化Langlands纲领。我的导师是朱歆文。在AI研究方面，我对智能体系统、AI for Math和强化学习感兴趣。详见研究。

我最近开始写博客，希望弥合数学家与人工智能研究者之间的信息鸿沟。详见博客。

作为兴趣爱好，我对数学形式化（Lean4）和 Linux 操作系统也很感兴趣。

此前，我在北京大学数学科学学院获得学士学位（2018–2022）。这是我当时的旧主页。

趣味冷知识： 我的 Linux 笔记本基本上没有图形界面（除了浏览器），而且电源键被我重新映射成了一个「惊喜音乐」按钮 —— 这部分要归功于我的朋友 Alexander López 的影响。

Loading visitor map…