maybe by doing the grunt work of constructing proofs, LLMs will rescue mathematics from its present state, which seems to involve little more than recombining theorems with weird names.
Timeline
Post
Remote status
Replies
0Fetching repliesβ¦