Y youtube.com Reimagining mathematics in a world of reasoning machines [video] 74 points kentricon 1 year ago 42 comments
