[firasd]

This is a response to a strawman... I think we'd want to see what an actual mathematician says to sensibly analyze this discourse

I do think that there are two things going on that explains the past couple weeks' breakthroughs:

1) A lot of conjectures are weakly grounded.

2) Maybe humans are biased towards proving conjectures rather than finding counter-examples (prestige in finding proofs, tedium in searching for contradictions, etc.)

3) Math is one of the rare fields that can be 'solved' in pure token space without needing empirical or subjective-opinion support

[vatsachak]

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"