Vor fast drei Wochen habe ich ein kooperatives Projekt vorgeschlagen, das die Bemühungen von professionellen und Amateur-Mathematikern, automatischen Beweisfindern, KI-Tools und der Beweis-Assistenten-Sprache Lean kombiniert, um den Implikationsgraphen zu beschreiben, der die 4694 Äquivalenzgesetze für Magmen darstellt, die mit bis zu vier Aufrufen der Magma-Operation ausgedrückt werden können. Das ist […]