Nachschlagen·QuellenregisterOriginalarbeiterreichbarProgress on provable inference for large language modelsanthropic.com (externe Seite)Anthropics Forschungsbeitrag stellt FlashProve vor und beschreibt Test mit Llama 4 Maverick und die formale Absicherung in Lean.geprüft 10.11.2026Anthropic veröffentlicht mit FlashProve einen Forschungsprototyp, der kryptografisch belegt, welches Modell geantwortet hatAlle Quellen