Nur weil die KI in der Lage ist, einfacher Beweise zu mathematischen Fragestellungen zu finden als ein Mathematiker, ist die Schulung ganz bestimmter kognitiver Fähigkeiten in einem guten Mathematikunterricht (u.a. problemlösendes Denken, analytisches Denken, abstraktes Denken) ganz bestimmt nicht überflüssig.

Aus der vergangenen Diskussion unter euch Lehrern und Väter von Schülern habe ich mitgenommen, dass selbstständiges Denken nicht gelernt wird, sondern man lieber auswendig lernen erwartet..
Beisst sich dann aber mit der Schulung kognitiver Fähigkeiten, oder übersehe ich da was ?

Ja, du übersiehst etwas. Ich empfehle dir, meine Beiträge noch mal sinnerfassend zu lesen (falls es dich wirklich interessiert).

Dass in der Praxis oft eher auswendig lernen erwartet wird statt echtes Denken, liegt doch daran, dass viele Lehrkräfte die oben formulierten übergeordneten Lernziele eben nicht im Blick haben.