Können Beweise aus mathematischer Spitzenforschung in Zukunft mit zumutbarem menschlichen Aufwand so aufbereitet werden, dass sie vom Computer in Echtzeit verifiziert werden können? Dazu wollen Christoph Thiele und Floris van Doorn vom Exzellenzcluster Hausdorff Center for Mathematics (HCM) der Universität Bonn beitragen. Beide Forschende haben gemeinsam einen begehrten Synergy Grant des Europäischen Forschungsrates (ERC) eingeworben. In den nächsten sechs Jahren fördert die Europäische Union das Projekt „Harmonic Analysis with Lean Formalization“ (HALF) mit insgesamt 6,4 Millionen Euro. Lean ist eine relativ neue Programmiersprache, die sich zunehmend als Standard für die mathematische Formalisierung etabliert.

Das Unternehmen IBM und das Forschungsinstitut für Diskrete Mathematik der Universität Bonn pflegen seit 1987 eine enge und produktive Zusammenarbeit. Initiiert wurde die Kooperation vom langjährigen Institutsdirektor Bernhard Korte, der im April dieses Jahres verstorben ist. Nun haben die Partner ihre Kooperation ausgeweitet und intensiviert.

Henning Heller, Postdoktorand am Mathematischen Institut der Universität Bonn und assoziiertes Mitglied des Hausdorff Center for Mathematics (HCM), erhält den renommierten Montucla-Preis der Internationalen Kommission für die Geschichte der Mathematik (ICHM) 2025. Die ICHM setzt sich aus Vertreter*innen von rund 55 Nationen zusammen, in denen die Geschichte der Mathematik gelehrt und/oder aktiv erforscht wird. Der Montucla-Preis richtet sich an Nachwuchswissenschaftler*innen und wird alle vier Jahre an den Autor oder die Autorin des besten Artikels verliehen, der in den vier Jahren vor dem Internationalen Kongress für Wissenschafts- und Technikgeschichte in der Zeitschrift "Historia Mathematica" veröffentlicht wurde.

Bei der diesjährigen International Mathematics Competition for University Students (IMC) in Blagoevgrad (Bulgarien), ausgetragen vom 28. Juli bis 3. August 2025, kam das Bonner Team auf Platz 2 in der inoffiziellen Teamwertung und war damit - wie bereits im letzten Jahr - hinter der Staatlichen Universität Sankt Petersburg die weltweit zweiterfolgreichste Universität im Wettbewerb.

Für seine wissenschaftliche Arbeit “Bogoliubov Theory in the Gross-Pitaevskii Limit” erhielt Christian Brennecke, Bonn Junior Fellow am HCM und Professor am Institut für Angewandte Mathematik der Universität Bonn, gemeinsam mit drei Co-Autor*innen den Frontiers of Science Award 2025. Der Preis wurde am 13.07. im Rahmen des International Congress of Basic Science in Peking verliehen.

Die Universität Bonn hat 14 Lehrende für ihr herausragendes Engagement mit den Lehrpreisen geehrt, darunter Jan Schröer vom Mathematischen Institut. Ausgewählt wurden die Preisträger*innen von den Studierenden selbst. Die feierliche Urkundenübergabe durch den Prorektor für Studium, Lehre und Hochschulentwicklung, Klaus Sandmann, fand im Rahmen des Bonner Universitätsfests vor über 7.000 Teilnehmenden auf der Bonner Hofgartenwiese statt. Zudem wurden im Rahmen ihrer akademischen Feier weitere Lehrpreise der Mathematisch-Naturwissenschaftlichen Fakultät durch Prodekanin Barbara Kirchner verliehen. Unter den acht Preisträger*innen im Jahr 2025 sind auch Lorenzo Portinale vom Institut für Angewandte Mathematik und Thoralf Räsch vom Mathematischen Institut. Die Bonner Mathematik gratuliert allen drei Preisträgern ganz herzlich!

Mit Dennis Gaitsgory, Jessica Fintzen und Valentin Blomer haben gleich drei Bonner Mathematiker*innen eine Einladung für den nächsten Internationalen Mathematikkongress (ICM) erhalten, der vom 23. bis 26. Juli 2026 in Philadelphia, Pennsylvania, stattfinden wird. Dennis Gaitsgory, Direktor am Bonner Max-Planck-Institut für Mathematik, der vor kurzem erst mit dem Breakthrough Prize ausgezeichnet wurde, wird hierbei einen der besonders renommierten Plenarvorträge halten. Der ICM ist die einflussreichste Konferenz im Bereich der Mathematik. Während der Eröffnungsfeier des Kongresses werden viele prestigeträchtige Auszeichnungen wie die Fields-Medaille verliehen. 

Stefan Hartmann, der beim Hausdorff Center for Mathematics (HCM) für den Bereich Outreach und Wissenschaftskommunikation zuständig ist, wurde von der Deutschen Mathematiker-Vereinigung (DMV) zum "Mathemacher der Monate Juli und August" ernannt.