Am Freitag haben Jeremy Kahn und Vladimir Markovic eine Arbeit auf dem arxiv veröffentlicht, in der eine abgeschwächte Form der ‘Virtuell Haken’-Vermutung für hyperbolische 3-Mannigfaltigkeiten bewiesen wird.

Das 4-Farben-Problem und Computerbeweise in der Mathematik.