KI lernt, Gegenbeispiele zu finden: LLMs erzeugen formale Gegenbeweise
Mathematisches Denken erfordert zwei zentrale Fähigkeiten: das Erstellen rigoroser Beweise für wahre Aussagen und das Aufspüren von Gegenbeispielen, die falsche Behauptungen widerlegen. Bisher konzentrieren sich KI‑Proj…