迈向形式化的科学认识论：Garrabrant 归纳如何取代贝叶斯认识论

Richard Ngo 提出 Garrabrant 归纳（逻辑归纳）是形式化科学认识论的重要一步，并将其视为贝叶斯认识论的替代方案，而非此前认为的延伸。该机制通过预测市场为逻辑命题定价，市场中的交易者即多项式时间算法，成功者积累更多"wealth"，其特征与科学理论相似：多数尚未被纳入考虑、可专注最出人意料的预测、彼此不互斥。