Trouvez la formule la plus courte permettant de calculer 2023 en écrivant, dans l'ordre, les premiers nombres entiers, séparés par des opérateurs (+, -, *, /, racines carrées, exposants, factorielle).

Les Kitano de 2023 trouvés par Alain Zalmanski :

2023 = 1*2+(3!)^4+5+6!
2023 = (1+2+3)^4+(5!)*6+7
2023 = (((1+2)^3+4)*5)*(6+7)+8
2023 = ((1+2+3-4)*56+7)*(8+9)