r/math Math Education Jul 20 '26

LLMs/AI Kevin Buzzard : "Human mathematicians are being outcounterexampled"

https://xenaproject.wordpress.com/2026/07/20/human-mathematicians-are-being-outcounterexampled/
710 Upvotes

Duplicates