I am a number theorist and a graduate math student at Bonn. It is eery to see that all of a sudden everyone cares about pure math. Anyhow, I think such incidents like this one are only to happen more often in the coming days, and while many mathematicians are concerned about their role in the community; I believe since we are still very early stages of AI-driven discovery, we still need the appropriate infrastructure for human-AI research, such as with versioning for proofs, a bigger library than mathlib and a central reasoning space so traces aren't lost- which happens to be the most valuable training data for models, and without which, these discoveries do not help much at advancing the field, and remain as blackbox.