Comment by dash2
5 hours ago
Just seems very weird to call getting Fields-medal-level results "inference over a bounded search space" and "not actually challenging".
5 hours ago
Just seems very weird to call getting Fields-medal-level results "inference over a bounded search space" and "not actually challenging".
Plagiarizing on a massive scale to generate works which appear to be Fields-medal-level results is not the same thing as inventing new conceptualizations in mathematics.
No matter how bodly they write the headlines, what has happened in mathematics using Large Language Models is very much "inference over a bounded search space" even if those bounds are immense.
For a comparison of true creation of novel conceptualization in mathematics is submit the works of Martin Hairer, one of which is Introduction to Regularity Structures, [https://arxiv.org/pdf/1401.3014] None of the so called, "novel math discoveries" by any LLM is as enlightening and expands the state of the art in math like any of his writings.