Lean

KI-Modelle lösen erstmals anspruchsvolle Mathematik-Probleme

Künstliche Intelligenz rückt in der Mathematik in neue Bereiche vor. Aktuelle Sprachmodelle liefern zunehmend eigenständige Beweise zu lange offenen Problemen.…

15. Januar 2026

Diese Website benutzt Cookies um Ihr Nutzererlebnis zu verbessern. Wenn Sie diese Website weiter nutzen, gehen wir von Ihrem Einverständnis aus.

Mehr lesen