Researchers and AI developers lack clear legal guidance on copyright and derivative work status for AI-formalized scientific papers

Academics and AI researchers are uncertain whether automatically formalizing scientific papers using AI tools creates derivative works, exposing them to potential copyright infringement liability. This ambiguity paralyzes adoption of AI-based formalization tools that could accelerate mathematical verification and knowledge representation. Current legal frameworks haven't caught up with AI capabilities, leaving researchers without actionable guidance on what's legally permissible.