AI数学

来自加州大学和微软研究院的最新研究成果：Flow-DPO。通过使用在线学习流（Flow）和直接偏好优化（DPO, Direct Preference Optimization），可以让 LLM 生成更加详细和精确的推理轨迹。

“等式理论计划”，由陶哲轩本人在 2024 年 9 月 25 日发起，目的是探索按蕴含关系排序的原群（magma）等式理论空间。