“检查了结果”
用英语怎么说？

Mathematicians at OpenAI announced an exciting breakthrough. They used a large group of smart AI models to solve a problem that has puzzled scientists for many years. This famous math puzzle is about how fluids move, such as water or air. For a long time, researchers could not tell if the fluid's speed could become infinite. Now, the new computer proof shows that these fluid equations can break down under special conditions. Another computer system checked the result, so scientists have high confidence in it. Many experts believe this success will change how people study mathematics in the future.

OpenAI的数学家们宣布了一项令人兴奋的突破。他们使用了一大群智能AI模型来解决一个问题，这个问题困扰了科学家许多年。这个著名的数学难题是关于水或空气等流体如何运动的。长期以来，研究人员一直无法确定流体的速度是否会变成无限大。现在，新的计算机证明表明，这些流体方程在特殊条件下会失效。另一个计算机系统检查了结果，因此科学家们对此充满信心。许多专家相信，这一成功将改变人们在未来研究数学的方式。