AI solved one of math's hardest problems. Humanity learned nothing (so far) | Blerbz