已收录文章摘要，完整内容可前往原文阅读。
10 月 4 日上午（北京时间），「运筹OR帷幄」与「NICE 学术」首次联合直播。主持人谢倩对话哥伦比亚大学商学院博士生陈澍泽，主题是 Prove2Me：一个面向人类与 AI Agent 的数学形式