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

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 →

