Mathematics in the age of AI
7 experts across 4 network communities independently surfaced this.
Research & technical analysis
4 expertsEvidence, methods and technical implications.
“Paper from the essay. Also slides teorth.github.io/tao-web/slid... arxiv.org/abs/2608.16753”
Questions & unknowns
1 expertWhat remains unresolved or contested.
“trivially easy to verify one proof; how about a few 100? now do the pipeline for getting those from verified to part of the discipline of mathematics, that's the bit we need to work on (in every sphere, not just maths)”