Generalization of Math LLMs Beyond the MATH Dataset
Determine whether mathematical large language models that are trained primarily with general language modeling and fine-tuned or evaluated on the MATH dataset can reliably solve problems that exceed the difficulty of the MATH benchmark and problems that are not represented in that dataset, thereby ascertaining their out-of-distribution generalization capability.
References
Their ability to handle problems that exceed the difficulty of MATH or those not present in the dataset remains unclear.
Whether that limit is conceptual or merely a matter of engineering, we do not know, and we would not bet against scale: nothing we know of forbids a system from proposing its own definitions -- see Footnote 1.
But equation discovery by LLMs remains far from solved. Standard benchmarks often contain famous equations likely to have appeared in model-training data, making it difficult to distinguish genuine discovery from memorisation.