RSI in mathematics?

The concept of Recursive Self-Improvement (RSI), traditionally a goal in software engineering and AGI development, is now being considered in the context of fundamental mathematics. Inspired by the self-referential nature of mathematics and recent advancements, such as the 700 proofs from OpenAI, there's interest in creating a recursive improvement loop. This would involve feeding new mathematical proofs back into a training corpus to identify further implications, thereby continuously advancing mathematical understanding.

Unlike traditional RSI applications in software, this discussion moves the concept to fundamental mathematics, proposing a novel feedback loop for continuous proof generation based on OpenAI's 700 proofs.