前沿研究

旗舰项目

雄心勃勃的项目,将研究院的理论研究推向可运行的系统。

复现 AlphaGo

P3, P4, P5

规划中

从零重建改变 AI 历史的系统。

从底层重建 AlphaGo:MCTS、深度神经网络评估、自对弈强化学习。目标是理解 AI 如何在不确定性下学会决策。

公理化游戏设计

P1, P2, P3

规划中

当游戏设计从第一性原理出发,会涌现什么?

从公理出发推导全新策略游戏。从期望的数学性质(复杂性、深度、涌现策略)出发,构造产生这些性质的规则。

λ

LucidLang 编程语言

P2, P3, P4

规划中

为形式化、公理化思维设计的编程语言。

围绕形式化结构、显式关系和可组合知识设计的研究编程语言,程序即知识表征。

预测市场仿真竞技场

P2, P3, P6

规划中

市场机制研究的实验室。

在受控条件下测试预测市场机制、智能体策略和信息结构的仿真环境。构建市场,观察其运行或失败。