bluesky — 20 Sep 2026
I think I saw the thread that prompted this question. Related to that, part of the issue is that "the proof of a theorem…
#proof-theory #formalization #machine-learning-for-mathematics
I think I saw the thread that prompted this question. Related to that, part of the issue is that "the proof of a theorem" has to be symbol manipulation, but is not necessarily what we as mathematicians value in a paper. It has proven to be easy to train an LLM against, however...