Instalează-l pe Aristotel. Obține cheia API. Rulează-l din terminalul tău. Alege orice problemă deschisă în matematică și intră în Aristotel (în limbajul ei natural!). După câteva ore fie va produce o probă formală completă a înțelesului, fie poate eșua. 👏