In this talk we explain what it means for an operad to be formal, sketch the proof of formality of little disks operads using Kontsevich graph complexes
and mention some consequences.
Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/4234
[3] https://www.mpim-bonn.mpg.de/de/node/9358