really excited to see ai "collaborating" with humans in math, just as excited as i am to see my skills being obsoleted by decade-old nn libraries