Euclid by Allen AI solves SAT-style math questions posed in natural languageeuclid.allenai.org2 points·syllogism··0 commentsOpen articleSaveView on HN