Comment by rusk

Did an AI do that on its own though? I heard it was human mathematicians using a sophisticated machine as a tool.