<p>Ждем вас на митапе в эту субботу 30.10.2021</p>

<p>С 13.00&nbsp;часов у нас <a href="http://live.ods.ai">в комнате в Spatial.Chat&nbsp;</a>будет&nbsp;
<style type="text/css">
</style>
<style type="text/css">
</style>
<style type="text/css">
</style>
<style type="text/css">
</style>
Автоматическое доказательство теорем с использованием методов машинного обучения</p>

<p>Пароль к спейсу можно найти на странице&nbsp;ивента&nbsp; <a href="https://ods.ai/events/halloween2021">ODS Halloween 2021</a>!&nbsp;</p>

В 13.00 Автоматическое доказательство теорем с использованием методов машинного обучения