如果新的证明被纳入训练的语言模型中，那么语言模型会重新发现这些证明吗？
如果我将大型语言模型（LLMs）作为强大的研究代理进行销售，并且如果我有足够的资金，我可以考虑在LLM的训练集中引入一些“小“宝石”，使其能够发现新的定理和证明。这个领域有很多资金，我相信有很多天才人士的薪酬并不高。也许这样的想法是错误的？
查看原文
If I were to sell the power of LLMs as powerful research agents, and if I had enough money, I could think about introducing little "gems" into the training set of LLM so that they are able to discover new theorems and proofs. There is a lot of money at the table, and I am sure there are a lot of genius people with little pay. Perhaps this thinking is wrong?