OpenAIが主張するナビエ–ストークス問題の証明は、数学的な偉業であるが、実世界での応用は、もし実現するとしても、数年先になる可能性がある。