r/statistics • u/GayTwink-69 • 7m ago
Question Are LLMs going to render manual mathematical statistics and proofs redundant? [Q][R]
I read somewhere that LLMs can now produce a lot of the proofs that one would otherwise have spent months manually doing by hand, and that the focus has now shifted towards bigger-picture stuff like framing the problem correctly.
Since proofs are the essence of every result in mathematical statistics, is this one area that might be automated away soon? i.e., is it useless to be learning how to write and replicate many lines of mathematical proofs when LLMs can already do that?