OpenAI、AIが導いた数学論文3件の撤回を発表、Lean証明コード付きで検証可能性を重視 撤回の透明性を重視し、Lean形式化と推論過程をGitHubで全公開して科学的検証性を優先。