#普林斯顿大学

共 2 条 · 7 天 1 条 · 30 天 1 条

信息流里打上「普林斯顿大学」标签的资讯、产品与论文，按刊登时间排，新的在上。

9月18日

普林斯顿大学机器人学教授开设的课程，系统讲解无人机自主飞行的全栈技术，从 LQR 到世界模型，适合想深入学习无人机控制的同学。

shao__meng@shao__meng原文

6月6日

论文官方一手精选83°15:43

形式定理证明的成本一直是阻碍其大规模应用的瓶颈，Goedel-Architect 用 DeepSeek V4 把成本砍到原来的 1/500，做数学验证和软件安全的团队可以直接关注这个新范式。

官方一手Pandaily@contact@pandaily.com (Pandaily)2 个信源在谈原文