Matemaatikot ovat tervetulleita tietokoneavusteiseen todisteeseen "suuren yhdistämisen" teoriassa
Peter Scholze haluaa rakentaa uudelleen suuren osan modernista matematiikasta alkaen yhdestä sen kulmakivistä. Nyt hän on saanut vahvistuksen todistukselle hänen etsintänsä ytimessä epätodennäköiseltä lähteeltä: tietokoneelta...