《宋书·志·卷二十三》
盖天说的测算方法都还在，但验证天的状况则多有不合之处。
《周髀》术数具存，考验天状，多所违失。
The measurement methods of the Gai Tian school are still available, but the verification of the state of the heavens is often inconsistent.
<s>[INST] 对于下列每组文言文和现代汉语句子, 请提供一个能够准确表达两者本质的英语翻译: 文言文: 《周髀》术数具存，考验天状，多所违失。 现代汉语: 盖天说的测算方法都还在，但验证天的状况则多有不合之处。 [/INST] The measurement methods of the Gai Tian school are still available, but the verification of the state of the heavens is often inconsistent.</s>
对于下列每组文言文和现代汉语句子, 请提供一个能够准确表达两者本质的英语翻译: 文言文: 《周髀》术数具存，考验天状，多所违失。 现代汉语: 盖天说的测算方法都还在，但验证天的状况则多有不合之处。
user
The measurement methods of the Gai Tian school are still available, but the verification of the state of the heavens is often inconsistent.
assistant