As inscrutable AI proofs emerge, mathematicians wait in the dark

Powered by vast arrays of graphics processing units, large language models code better than experienced coders and write award-worthy novels; but as they have laboured through the weave of intricate mathematical logic, mathematicians are becoming more concerned about what it bodes for the future of the field