In The Wake Of The Latest Unprecedented AI Proofs, What Now For Mathematics And Mathematicians?

In this view, mathematicians will still prove theorems and come up with counterexamples, but they will do it because they enjoy it, not because their career depends upon it. Society will benefit from the coming flood of new AI-derived results, as we move from an era of proof scarcity to an era of proof abundance, but there will still be a place for human mathematicians to interpret those results, to pass them on to the wider community, and to build on them, probably using AI to do so. In this respect, they will become what the “technical philosopher” Logan Graves calls “priests”

On Techdirt.