数学领域的递归自我改进？

递归自我改进长期以来一直是一个目标。我认为我们一直从软件工程和构建AGI的角度来思考它。看到数学领域的惊人进展，以及数学如何建立在自身之上，我开始思考基础数学中的递归改进循环——将OpenAI的那700个证明反馈到训练语料中，告诉它“找出下一个推论”，然后循环往复。