陶哲轩与 Peter L. 直播演示 Open Math OS 的实时数学工作流

陶哲轩与 Peter L. 在 YouTube 直播中共同演示 Open Math OS，实时展示 AI 辅助数学研究工作流。演示结合 AI 形式化与 Lean，呈现 AI 辅助证明的实际过程，为数学与 AI 交叉领域提供一手案例。