Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline

Es wird ein formal verifiziertes Framework für die Patentanalyse als hybride KI + Lean 4 Pipeline vorgestellt. Dies ist die erste bekannte Anwendung von interaktiver Theorembeweisführung auf die Analyse geistigen Eigentums, die die Schwächen bestehender Methoden überwindet.