Maybe the recently announced 1T Parameter Scientific AI will be trained on mathematical papers as well and picks up reasoning on the fly:
https://news.ycombinator.com/item?id=38391923
Or at least maybe it will be a good foundation model to be fine-tuned for reasoning?