等式理论的潜空间

基于Terence Tao十五个月前发起的协作式等式理论项目，并将其与来自机器学习和有限模型理论的思想相结合，我们构建了一个等式理论的潜空间，其中每个等式理论都位于一个由其在大量有限magma样本上的统计行为决定的特定位置。这个实验使我们首次能够观察到推理如何在等式理论的潜空间中流动，并产生出令人惊讶的有方向且结构良好的逻辑蕴含链。