Hi, used to be actual mathematician here (lecturer, publication in JEMS and all that) For starters he's talking about how peer review is bad because of politic

Hi, used to be actual mathematician here (lecturer, publication in JEMS and all that) For starters he's talking about how peer review is bad because of politics. That's fair. But no one is saying that's the case with AI math. I think that the mathematical community wants to see the methods by which the Jacobian counterexample was constructed. As opposed to "lol xd my r00b0t solved le Jacoby conjectoor"