ThunderCat, доказательство вытекает из асимптотики роста схожей с гармоническим рядом, а не из того факта, что простых чисел бесконечно много, в статье это приводится просто как ссылка на Евклида
edward_freedom, алгоритмы это вообще не сложно. Особенно когда автор ничего не понимает в теории. Шахматы, и другие игры сейчас выигрывают нейросети, а не алгоритмы.
Денис Загаевский, давненько писал игровой движок, а сейчас думаю может доделать его и поддерживать по возможности. Но вообще продвинуть игровую библиотеку не так сложно. Поэтому интересен именно общий случай.