2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/58829In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of Tamarkin's result.20 pagesQuantum AlgebraK-Theory and HomologyTamarkin's proof of Kontsevich formality theoremtext