独立概念项目 · 开放知识,自由探索邮箱登录

RESEARCH / FOUR PERSPECTIVES

跨越学科,连接新知。

四个真实的研究领域,四种理解世界的方式。从原始论文与开放项目出发,建立跨学科的知识连接。

01 / SPATIAL INTELLIGENCE

空间智能与物理模拟

如何让机器理解一个立体的世界?

从二维图像重建三维场景,从几何表示走向物理规律。连接神经渲染、可微模拟与具身感知,理解数字世界如何被构建。

NeRF3D Gaussian SplattingSimulation

NeRF 用神经网络表示场景的辐射场;3D Gaussian Splatting 以显式三维高斯表示支持高质量实时新视角合成。阅读时应区分渲染质量、重建精度和物理一致性。

02 / BIOMEDICAL IMAGING

生物医学影像

在更少的观测中,看见更多细节。

围绕磁共振加速成像、图像重建与逆问题,探索数据驱动方法如何与成像物理协作,也关注不确定性与临床适用边界。

MRIInverse ProblemsReconstruction

fastMRI 是 NYU Langone Health 与 Facebook AI Research 发起的开放研究项目,旨在促进磁共振成像加速研究。数据使用需遵守原站协议;研究基准表现不等同于临床有效性。

03 / COMPUTER & SOFTWARE SCIENCE

信息科学与计算机软件

可靠的软件,从可验证的推理开始。

从程序语义到交互式定理证明,从系统设计到可复现实验,探究计算系统的正确性、表达能力与工程实践。

LeanFormal MethodsSystems

Lean 是一种函数式编程语言与交互式定理证明器。其社区数学库 mathlib 为形式化数学提供基础;入门可从命题、类型与证明的对应关系开始。

04 / LEARNING & DECISION MAKING

游戏科学与强化学习

在交互中学习,在不确定中决策。

以序列决策为线索,理解智能体、环境、奖励与策略之间的关系,探索控制、博弈和多智能体协作的共同语言。

Reinforcement LearningAgentsControl

Gymnasium 维护强化学习环境的标准接口及参考环境。比较算法时应记录环境版本、随机种子、训练预算与评估方式,避免把单次高分当作稳定结论。