数ヶ月前、デイメック・デイビスと私は、普遍代数における2200万問を解く能力を凝縮された形式に「蒸留」することを目的とした、SAIR財団初の数学チャレンジを開始しました。そのチャレンジの第一段階が完了し、真偽を推測するためのいくつかの効果的な「チートシート」が生成されました[...]