(DMAT, IMTech, CRM). Received 23 July, 2022. The paper [7] (see also [8]) solves a version of the Arnold diffusion problem for Hamiltonian systems that remained open since the 1960s. Hamiltonian systems appear naturally as models of …

(FWO-KU Leuven) Received 21 April, 2022. The paper [3] solves a long-standing conjecture about the structure of the roots of the Bernstein-Sato polynomial for plane branches posed by T. Yano in 1982 [18]. Let f : (C^{n+1}, …

(UPC, BGSMath), (UPC, IMTech), (ICMAT). Received 21 May, 2021. Introduction In the book The Emperor’s new mind [10], Sir Roger Penrose returns to the artificial intelligence debate to convince us that creativity cannot be presented as the …

(IMTech–UPC and ICREA). Received 24 Feb, 2021. The paper [1] solves a semilinear version of Hilbert’s XIXth problem that remained open since the 1970s. In dimensions n ≤ 9, it establishes the smoothness of local minimizers of …

(IMTech, UPC). Received 9 Jan, 2021 In 2019, Moritz Müller and I resolved a longstanding open question on the computational complexity of proof search. The preliminary version of the article “Automating Resolution is NP-Hard” was the co-winner …