https://www.quantamagazine.org/to-teach-computers-math-researchers-merge-ai-approaches-20230215/
To Teach Computers Math, Researchers Merge AI Approaches
Kevin Hartnett
February 15, 2023
“Large language models still struggle with basic reasoning tasks. Two new papers that apply machine learning to math provide a blueprint for how that could change.”