历史匿名回执 ·
课程内容：前半学期速通Boyd凸优化，用的文再文留下的PPT改的；后半学期开始讲他自认为感兴趣的东西，主要是一阶方法、梯度流ODE建模之类的，部分内容还和许志钦老师的《人工智能的数学基础》重合，还有一些内容（我感兴趣的）比如无导数优化之类的他说和张小群老师这学期开的课重合了反而没讲。 上课自由度：自由的部分太自由了，根本没有一条干净主线，既没准确陈述，也没详细严谨的推导。 考核标准：签到+大作业。虽然他说不怎么参考签到，事实上他就只签了8次，不想去直接线上开直播扫就行。大作业方面，去年说交个笔记就完事，今年得自己选项目，比如非光滑优化算法的理论与数值实验、优化动力学与连续化分析、深度学习中的隐式正则化机理、优化理论的形式化验证(Lean 4)等等，也可以自拟。体验极差，认认真真手搓的还没其他朋友用AI大人速通敷衍的分高。另外不管你选什么题，都得用LaTeX搓一个报告，内容要涵盖问题陈述、数学背景、算法推导、数值实验、结论与讨论等（Lean：？），然后还要再提交一个README的md（？）。听朋友说提交截止后还单独发了公告通知，因为做Lean的人基本都没再单独交一个用LaTeX搓的符合“要求”的报告，神了。朋友考完根本不看Canvas也不刷邮箱，美美错过🤣。最后在那个当天必须提交的“通知”下，还是过了十天才出分😀。如果你选的形式化题目太简单，会导致你介绍形式化遇到的困难和解决方案那部分水不了字数，就给你低分，最形式主义的一集。 授课质量：前半学期有PPT的时候单纯念书还能保个3星；后半学期像没东西念/抄了，“我终于能讲点我感兴趣的东西了，没有PPT的束缚我们就可以自由一点”，随便从那几本参考书和文献里摘点东西，然后黑板板书纯写框架，像即兴演讲或者临时报告拿黑板划拉两笔，细节和连贯性纯纯一坨，理由是时间和篇幅限制（我：？）。这门课实际线下到课极差，60多人就来了十几个，最后几周更是没人，感觉老师也兴趣缺缺，但这种授课质量线下去纯纯坐牢（到底是哪个大怨种线下跟了全程啊，好难猜啊😎）。