OpenAI veröffentlicht hunderte KI-generierte Mathe-Beweise auf GitHub

OpenAI veröffentlicht hunderte KI-generierte mathematische Beweise auf GitHub in maschinenlesbarem Lean-Format, wobei jeder Beweis durchschnittlich drei Stunden Rechenzeit erfordert. Führende Mathematiker warnen jedoch vor der Gefahr, dass die industrialisierte Produktion mathematischer Wahrheiten durch KI die wissenschaftliche Erkenntnisfindung gefährdet, statt sie zu fördern. Für die juristische und steuerliche Praxis bleibt dies vorerst von untergeordneter Bedeutung, könnte aber mittelfristig Auswirkungen auf die Verwendbarkeit KI-generierter Gutachten und Beweise in Verfahren haben.