Science

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

· 10/15/2026, 10:15:07 AM· 2 min read
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
Read original story →

Related stories