As of: 2026-11-09 21:13 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/person/peter-kronheimer/

# Peter Kronheimer

Professor of Mathematics, Harvard University (as of 2026-11-03; source: https://hexagonmath.org/abs/2611.00021).

Gauge theorist; with Mrowka posted a primarily AI-generated proposed proof on the dodecahedron web's instanton homology (Nov 2026).

## In the news (1 event, newest first)

- 2026-11-03: [Kronheimer–Mrowka: dodecahedron instanton homology is 64 (ChatGPT Astra 6)](https://postcutoff.com/e/2026-11-03-kronheimer-mrowka-dodecahedron-web-instanton-homology-64-chatgpt/), Science & math. Kronheimer and Mrowka built J♯ in 2015 as a possible route to the four-colour theorem, asking whether its dimension counts Tait colourings for planar webs.

Profile checked 2026-11-03.