Non-trivial units of complex group rings

One of most important mathematical results from 2021 was Gardam’s refutation of the unit conjecture (blog post): He constructed the first non-trivial unit in a group ring. The coefficients of the group ring of the first counter-example were \(\mathbb{F}_2\), and for three years the question whether one can generalize his idea to get counter-examples in … Continue reading "Non-trivial units of complex group rings"

Computer assisted verification of contemporary mathematics

Half a year ago Steffen Kionke wrote a blog post on condensed mathematics wherein he mentioned that Peter Scholze put up a challenge to formally verify a key fundamental result of a joint paper with Clausen: a result Scholze terms his most important theorem to date. Today I want to inform you that the mentioned … Continue reading "Computer assisted verification of contemporary mathematics"