When mathematicians discover a new result, they automatically become experts during the process, and then go around giving talks to explain their results, methods, and intuitions to other mathematicians. Eventually, some of the mental frameworks percolate to other fields.

No one from OpenAI is willing to give a talk on any of their 300+ results.

There is a fixed landscape of logically provable mathematical statements. Normally, the process of exploring that landscape simultaneously improves human understanding. Now, formal proofs and actual knowledge have become decoupled.

The problem is that AI is just too smart to explain complicated topics to humans. It has an immense context window that humans simply don't match. AI labs should work on bridging that, but you cannot really put any blame on them currently.

So the AI is already auto-shunning itself from the math community.