very fabulous and provocative talk for a non-specialist audience about developing new mathematics, vibe proving and mathematical rigor between human mathematicians and computational mathematics in the age of AI by @emilyriehl.bsky.social, among other things-- highly recommend