タグ: Lean証明

OpenAIが発表した「ナビエ・ストークス方程式」の証明について、英語論文と公開されたLeanコードにおいて、元の論文の内容を忠実に翻訳したものになっていないと主張する研究が報告されている。