Installera Aristoteles. Hämta API-nyckeln. Kör det från din terminal. Välj vilket öppet problem som helst i matematik och skriv in i Aristoteles (på dess naturliga språk!). Efter flera timmar ger den antingen full formell mager proof eller kan misslyckas. 👏