トピック

AI生成による数学的証明

数学的証明の生成を支援するためにAIシステムを使用すること、およびそれに伴う検証、透明性、功績の帰属に関する問題。