几个月前，Damek Davis 和我在 SAIR 基金会发起了首个数学挑战，旨在将解决 2200 万个通用代数问题的能力“提炼”为一种浓缩形式。该挑战的第一阶段现已完成，并生成了若干有效的“速查表”，用于推测命题的真假……