01 / SPATIAL INTELLIGENCE
空间智能与物理模拟
如何让机器理解一个立体的世界?
从二维图像重建三维场景,从几何表示走向物理规律。连接神经渲染、可微模拟与具身感知,理解数字世界如何被构建。
NeRF 用神经网络表示场景的辐射场;3D Gaussian Splatting 以显式三维高斯表示支持高质量实时新视角合成。阅读时应区分渲染质量、重建精度和物理一致性。
RESEARCH / FOUR PERSPECTIVES
四个真实的研究领域,四种理解世界的方式。从原始论文与开放项目出发,建立跨学科的知识连接。
从二维图像重建三维场景,从几何表示走向物理规律。连接神经渲染、可微模拟与具身感知,理解数字世界如何被构建。
NeRF 用神经网络表示场景的辐射场;3D Gaussian Splatting 以显式三维高斯表示支持高质量实时新视角合成。阅读时应区分渲染质量、重建精度和物理一致性。
围绕磁共振加速成像、图像重建与逆问题,探索数据驱动方法如何与成像物理协作,也关注不确定性与临床适用边界。
fastMRI 是 NYU Langone Health 与 Facebook AI Research 发起的开放研究项目,旨在促进磁共振成像加速研究。数据使用需遵守原站协议;研究基准表现不等同于临床有效性。
从程序语义到交互式定理证明,从系统设计到可复现实验,探究计算系统的正确性、表达能力与工程实践。
Lean 是一种函数式编程语言与交互式定理证明器。其社区数学库 mathlib 为形式化数学提供基础;入门可从命题、类型与证明的对应关系开始。
以序列决策为线索,理解智能体、环境、奖励与策略之间的关系,探索控制、博弈和多智能体协作的共同语言。
Gymnasium 维护强化学习环境的标准接口及参考环境。比较算法时应记录环境版本、随机种子、训练预算与评估方式,避免把单次高分当作稳定结论。