Étienne Ghys

上海人工智能实验室的Intern-S2协助证明三维Ghys猜想，由北京大学验证

上海人工智能实验室的研究人员利用其Intern-S2大语言模型协助证明了三维Ghys猜想，这是一个在动力系统领域长期存在的重大难题。该证明是通过人机协作过程实现的，模型在数学家的指导下进行了大量的计算和探索。随后，北京大学的一个团队使用Lean定理证明器正式验证了该证明，确认了其正确性，并展示了AI在解决复杂数学挑战方面的潜力。