Asenna Aristoteles. Hanki API-avain. Aja se terminaaliltasi. Valitse mikä tahansa avoin tehtävä matematiikassa ja syöte Aristoteleen kielessä (luonnollisella kielellä!). Useiden tuntien jälkeen se joko tuottaa täyden virallisen leanproofin tai voi epäonnistua. 👏