Az European Research Council (ERC) pályázatai évek óta vonzó, hosszú távú támogatást nyújtanak a legkiválóbb kutatók és kutatócsoportjaik részére. 2024-ben az ERC egyetlen magyar nyertes Consolidator Grant pályázata Kaposi Ambrusé, az ELTE kutatójáé volt. Témája a típuselmélet, amelyet első olvasásra nem könnyű megérteni. Szerzőtársával, Molnár Zoltán Gáborral együtt vezetik be az olvasót a matematika új típusú formális megalapozásába.