J jasonpolak.substack.com Why do mathematicians want AI to do math? 3 points subvertify 1 year ago 1 comments