mastodon — Andreas Thom — 10 Sep 2026
2/3 Some thoughts on the use of AI * The more important question is therefore what someone contributes to human mathemat…
#philosophy-of-mathematics #ai-in-mathematics #mathematical-practice
2/3 Some thoughts on the use of AI * The more important question is therefore what someone contributes to human mathematical understanding. This includes explaining why an argument works, separating the main idea from technical details, connecting a result with other areas, finding the right questions, teaching new methods, and helping other mathematicians make use of them. Such contributions may…