3 ms·Euclid by Allen AI solves SAT-style math questions posed in natural language2 points by syllogism 10y ago