News 4TU+.AMI

According to many mathematicians a major shift is taking place in the mathematics research landscape. Mathematicians and big tech companies are working intensively to formalize (i.e. translate to a format that can be read by a computer) mathematical proofs and verify their correctness using so-called proof assistants. Long research articles, which typically take months to review, could be verified in a day by using such new tools. This opens new paths in mathematics research. 

Mathematicians Pim van der Hoorn and Mike van Santvoort (Eindhoven University of Technology) have collaborated with two artists to create a new stained-glass window for Paradiso -a music venue and cultural centre in Amsterdam- as part of the long-term art project "De Moderne Moraal".

4TU+.AMI organised two sessions during the recent BeNeLux Mathematical Congress: one on 'Evidence-Based Practices in Teaching Mathematics' and one on 'Sequential Decision Making'.

Each year, thousands of people compete in the MATH+ Advent Calendar, a digital mathematics competition consisting of 24 challenging mathematics puzzles, organised in December by the Berlin Mathematics Research Center MATH+ in collaboration with 4TU+.AMI.

After succesful summer events in Wageningen (2025), Enschede (2024), Delft (2023) and Eindhoven (2022), the next 4TU+.AMI summer event will take place in Groningen on Monday 29 June 2026.

Kees Vuik, Professor at the Faculty of Electrical Engineering, Mathematics & Computer Science at Delft University of Technology and former Scientific Director of 4TU+.AMI, who has been honourably dismissed with effect from 25 January 2026, intends to deliver a farewell lecture entitled:

With around 6000 participants from Germany, Europe and the rest of the world, the MATH+ Advent Calendar (also known as the Mathekalender) is an important part of the outreach activities of the Berlin Mathematics Research Centre MATH+ and 4TU+.AMI. This annual, digital advent calendar contains 24 challenging math puzzles, primarily aimed at curious high school students, that are published online daily between 1 and 24 December.

4TU+.AMI fungeert als gezamenlijke stem voor alle afdelingen toegepaste wiskunde van 4TU+RUG en versterkt daarmee de afstemming en onderlinge verbinding op nationaal niveau. Het centrum vergroot de wetenschappelijke en educatieve impact van toegepaste wiskunde als onmisbare discipline voor engineering, AI, hightechinnovatie en maatschappelijke uitdagingen. Daarmee opereert 4TU+.AMI in het hart van de 4TU-strategie.

In 2024, 4TU+.AMI financed a new SRI on Model Reduction for Industrial Applications. The main goal is to strengthen collaborative research and training on model reduction among the five AMI partner institutes, other Dutch universities and potential industry partners. The SRI has almost six months until completion and we thought this is a good moment to reflect on the past year and share their goals for the future. In this interview, Shobhit Jain (TU Delft) shares his experiences from leading this SRI.

4TU+.AMI invites proposals that strengthen the connection between mathematics research and real-world challenges, fostering collaboration among the mathematics institutes and external partners.

Research in education and educational innovation receive significant attention within 4TU+.AMI. High quality mathematics education is crucial for many study programs, especially those related to exact sciences, engineering, and technology. These fields rely on mathematical methods to model, analyze, and solve complex problems.

4TU+.AMI has three main goals: to foster innovative research, to support mathematics education, and to build a vibrant community within the five partner institutes. These three goals lie at the heart of our strategic plan, and we strongly believe that collaboration, both between the partner institutes and with the other 4TU centers, can lead to long term impact in research, innovation and education.

From 27–29 August 2025, the first meeting of the Dutch Sequential Decision-Making Community took place at EURANDOM, Eindhoven University of Technology. Organized by LNMB and hosted by the 4TU.AMI Strategic Research Initiative on Real-world Inspired Sequential Decision Making, the three-day programme brought together more than 50 participants from the Netherlands and across Europe.

The Dutch government and universities emphasize the importance of innovation in education to increase impact, efficiency, and inclusivity. 4TU+.AMI aims to strengthen and support collaboration among the 4TU+ mathematics institutes in education innovation. To stimulate collaborative projects between the mathematics institutes of the 4TU.Federation that advance these goals, 4TU+.AMI invites proposals for funding in areas such as (but not limited to):

The MATHematics EDucation Network NL (MathEdN.nl) was initiated by EWM-NL and has since become a product of the 4TU.AMI MEReP Strategic Research Initiative. The platform is designed for mathematics instructors in Dutch higher education, providing a national space to exchange ideas, experiences, and practices in teaching mathematics. By connecting educators from universities and universities of applied sciences, MathEdN fosters dialogue and helps to build bridges between practice and research.