S spectrum.ieee.org AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy 3 points nryoo 1 month ago 2 comments