Bonn: Millionen-Förderung für Computer-Überprüfung mathematischer Beweise
6. November 2025
Nordrhein-Westfalen - Regional - aktuelle Fakten und Einordnung
Forschung und Entwicklung in Bonn
Bonn () – Zwei Bonner Mathematiker erhalten 6,4 Millionen Euro vom Europäischen Forschungsrat, um mathematische Beweise künftig durch Computer überprüfen zu lassen. Christoph Thiele und Floris van Doorn von der Universität Bonn wollen mit dem Projekt HALF in den nächsten sechs Jahren grundlegende Probleme der harmonischen Analyse erforschen und diese in der Programmiersprache Lean formalisieren, wie die Hochschule mitteilte.
Laut Thiele ist es zwar prinzipiell möglich, mathematische Beweise so aufzubereiten, dass Computer sie verifizieren können, aber der Aufwand sei bei Forschungsergebnissen noch zu hoch.
Das Projekt soll dazu beitragen, diesen Prozess zu beschleunigen und zu vereinfachen. Van Doorn betonte, dass solche Formaliserungen auch für künftige KI-Anwendungen wichtig seien, um automatisch generierte Beweise überprüfen zu können.
Bereits im vergangenen Jahr hatten die Forscher in einem Pilotprojekt erfolgreich ein neues Ergebnis der harmonischen Analyse sowie einen klassischen Beweis aus dem Jahr 1966 formalisiert.
Für HALF sind nun feste Stellen in der Forschungsgruppe vorgesehen, nachdem das Pilotprojekt noch mithilfe freiwilliger Helfer aus der internationalen Lean-Community umgesetzt werden konnte.
Umfrage: Breite Mehrheit für Nachbesserung der DSGVO Wirtschaftliche Auswirkungen der DSGVO in Deutschland Berlin () - Die deutsche Wirtschaft macht Druck für eine Reform der europäischen Datenschutz-Grundverordnung (DSGVO). Das ergab eine Umfrage…
Linken-Chef van Aken rechtfertigt AfD-Blockaden Politische Auseinandersetzungen in Berlin Berlin () - Linken-Chef Jan van Aken verteidigt Blockaden von AfD-Veranstaltungen und drängt erneut eine Prüfung eines Parteiverbots. "Eine Blockade von…
Linke drängt auf UN-Blauhelm-Einsatz in Ukraine Politische Diskussionen zur Ukraine in Berlin Berlin () - Nach dem Ukraine-Gipfel in Berlin stellt sich Linken-Chef Jan van Aken gegen einen möglichen Einsatz europäischer…
Linkspartei würde CDU-Minderheitsregierung stützen Politische Strategien in Sachsen-Anhalt 2026 Berlin () - Um einen möglichen AfD-Ministerpräsidenten nach den Landtagswahlen 2026 zu verhindern, würde die Linkspartei in Sachsen-Anhalt auch einen…
Van Aken fordert Ersatzfeiertage für 2026 Politik: Feiertagsdebatte in Deutschland Berlin () - Weil 2026 mehrere Feiertage aufs Wochenende fallen, fordert der Vorsitzende der Linkspartei, Jan van Aken, Ersatzfeiertage unter der…
Van Aken fordert Sanktionen gegen Trump-Minister Politische Forderungen aus Berlin Berlin () - Der Vorsitzende der Linkspartei, Jan van Aken, hat seine Forderung nach Sanktionen gegen US-Präsident Donald Trump verschärft.Russische Staatsvermögen…
Siegener Forscher entwickeln Mikrochip-Modell für Darmblutungen Forschung und Gesundheit: Universität Siegen Siegen () - Forscher der Universität Siegen arbeiten an einem neuartigen 3D-Darm-Modell auf einem Mikrochip, um die Ursachen schwer behandelbarer…
