马修·博兰等人发布了《方程理论项目：推进大规模协作数学研究》的预印本，系统探索了4684个代数法则，利用自动定理证明工具等方法揭示了许多法则间的蕴含关系，但部分复杂蕴含仍需深入研究。