Без заголовка

https://arxiv.org/pdf/1706.08605.pdf это сцыла наверное даже не оффтоп но в любом случаю, думаю Вам будет интересно, если еще не видели :) мы пару раз затрагивали тему скрещивания пруверов и МЛ, и тут по моему дык весьма интересный пример :)