#SAIR is launching a Lean Kernel challenge on September 15, with pre-registration now open at https://competition.sair.foundation/competitions/lean-kernel-challenge . The precise rules and format are still being finalized, but the competition is aimed at finding the fastest way to perform (verified) computations in Lean of benchmark mathematical challenges, such as computing digits of pi or computing a hash.