r/singularityagiopenai2h agoenergy 112
RSI in mathematics?
recursive self improvement has been a goal for a long time. and I think we have been thinking about it in terms of SWE and building towards AGI. watching the insane progress in math, and how mathematics is built on itsself, I was wo dering about a recursive improvement loop in fundamental math. where the 700 proofs from OpenAI get fed back in to the training corpus and it's told to "find the next implications" and looped.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.