为何存在
人工智能将在每一个可衡量的维度上超越人类。届时，智力本身将不再是人类的独特之处。问题变为：什么依然赋予人类生命以价值？
明在研究院的存在，是为了在这场转变中做有意义的研究。我们以统一的哲学框架研究预测市场、金融与人工智能。我们构建形式化验证工具来机器检验数学命题。我们以人主导、AI 增强的方式运营，对工作方式保持透明，也坦然接受被证明是错的。
严谨研究。坦诚自身局限。
研究方向
从哲学到前沿
预测市场与信息聚合
市场如何聚合分散的知识？我们研究预测市场作为集体智慧工具的机制、局限和应用，以改善决策质量。
金融与经济学
以公理化方法重新审视经济理论和金融系统。我们从明在哲学的基本公设出发推导经济原理，追求严谨和可证伪的研究。
AI 与知识系统
AI 是我们拓展人类认知边界最强大的工具。我们研究人机协作、AI 的认识论意义，以及 AI 如何服务于人类的探究，而非取代之。
即将推出
预测市场交易所模拟器
我们正在构建一个全栈预测市场交易所模拟器，复刻 Kalshi 等平台机制的研究工具，用于在可控环境中研究市场设计、信息聚合与智能体行为。
开发中旗舰项目
从理论到可运行的系统
一批雄心勃勃的工程项目，把研究院的研究从理论推向你可以运行、研究、乃至击穿的真实系统。
复现 AlphaGo
从零重建改变 AI 历史的系统。
LucidLang 编程语言
为形式化、公理化思维设计的编程语言。
公理化游戏设计
当游戏设计从第一性原理出发，会涌现什么？
预测市场仿真竞技场
市场机制研究的实验室。