Kaposi Ambrus típuselméleti kutatása 2024-ben Magyarországról egyedüliként részesült ERC Consolidator Grant támogatásban a legrangosabb európai tudományos kiválósági pályázaton. A kutatás a homotópia-típuselmélet új változatának kidolgozására fókuszál, amely forradalmasíthatja a számítógépes bizonyítórendszerek használatát.