Aristoteles kur. API anahtarını alın. Terminalinizden çalıştırın. Matematikte açık olan herhangi bir problemi seçin ve Aristoteles'te (doğal dilinde!) girdi. Birkaç saat sonra ya tam resmi yalın proof üretir ya da başarısız olabilir. 👏