Первый игрок может забрать любое количество камней от 1 до половины от оставшихся.
Второй игрок, действуя оптимально, будет всегда забирать столько же камней, сколько взял первый игрок.
При таком подходе количество камней будет уменьшаться вдвое на каждом ходу.
Так как 2023 нечетное число, то после нечетного количества ходов останется 1 камень, который заберет второй игрок.
Вывод:
Второй игрок, действуя оптимально, всегда будет выигрывать, если первый игрок ходит первым.