Mathematicians' Newest Assistants Are Artificially Intelligent 2 points by happy-go-lucky 16 hours ago story