数学研究通常由专业数学家解决复杂问题，但与广泛的数学爱好者合作解决简单问题也有效。2024年，我启动了方程理论项目（ETP），结合严谨的形式化与人工智能，解决了2200万个代数真伪问题。我们现在发起实验性挑战，要求参赛者设计“备忘单”，以提高模型在真伪问题上的表现，期望总结出有效的解题技巧，为未来数学问题提供借鉴。