Mathematician Jacob Tsimerman on Getting to the Fun Faster with AI | Dark Hacker News