But Mochizuki didn't actually prove anything, whereas the labs have already done so. The pessimistic scenario is the AI labs will continuously hoover up new de

But Mochizuki didn't actually prove anything, whereas the labs have already done so. The pessimistic scenario is the AI labs will continuously hoover up new developments in mathematics and gazump everyone in their respective fields. It's clear they have no desire to participate in any silly academic niceties, like properly assigning credit or expository work for normal humans. What incentive then do humans have to do this work ? Generally the mood amongst research mathematicians is pretty dire, and I don't really blame them. To be clear I think AI is super useful for mathematical research, the problem is the methods of the big labs are massively disincentivising mathematicians from engaging in research, and other associated tasks like giving seminar, teaching writing books etc. These arguably have much more value than finding an obscure counter example to Navier-Stokes.