FISolver

基于LLM的FISolver在动力学系统中发现第一积分

研究人员开发了FISolver，一个新颖的、基于LLM的系统，旨在发现动力学系统中的第一积分，这对于理解守恒定律至关重要。该系统通过采用“反向生成”算法来创建微分方程和第一积分对的广泛数据集，从而解决了数据稀缺问题。FISolver还利用监督微调和具有塑造奖励的强化学习来提高其性能，在具有挑战性的基准测试中，以更低的计算成本超越了更大的模型和商业求解器（如Mathematica）。