2 ms·AI system TongGeometry generates and solves olympiad-level geometry problems1 points by Brajeshwar 9mo ago