← The Lexicon
Concepts
Mathematical Foundations Under AI
Whether AI tools will transform the nature and standards of mathematical proof
1appearances
Mar 2026first appeared
Mar 2026most recent
Conceptscategory
Across the corpus (1 defined)
Defined 149th EditionW09 · Mar 2, 2026
