(October 7, 2024) The main article presents the exciting history of the four-color theorem. It was the first major theorem in pure mathematics whose proof relied on a computer. Its development, the reactions it generated, and its long-term impact highlight the increasing relevance of research data in modern mathematics.
News
(July 9, 2024) The book written by Albert Ai, Thomas Alazard, Mihaela Ifrim, and Daniel Tataru presents the lecture notes from the corresponding Oberwolfach Seminar given in fall 2022 at the MFO.
(July 1, 2024) The newsletter will inform you on the latest news and activities of the MFO, in particular with regard to open calls and upcoming scientific events at the Institute.