Tag: Lean proof

Beiträge mit dem Schlagwort „Lean proof“

Anthropic AI formalisiert Beweis des letzten Satzes von Fermat in nur 11 Tagen

4. September 2026

Anthropic AI formalisiert die Beweisführung von Fermats letzten Satz in nur 11 Tagen

4. September 2026

Neue KI-Forschung: Claude erhöht Riemann-Zeta-Schranke mit Lean-Beweis

10. August 2026