LMS General Meeting, Computer-Assisted Proofs

Recent related meeting

The London Mathematical Society (LMS) General Meeting was held on 03 Jul 2026, also at the ICMS, the Friday before the Validated Numerics for Computer-Assisted Proofs workshop at the ICMS.

Links to the relevant talks on computer-assistance, are provided below.

LMS General Meeting 2026

The theme for the General Meeting 2026 is on Computer Assisted Proofs, which is inspired by the 50th Anniversary of the Four-Colour Problem proof with computer assistance.

Computer-Assisted Proofs in Fluid PDEs, Tristan Buckmaster | LMS General Meeting 2026 (YouTube)

Abstract: The formation of singularities in fluid PDEs is one of the central and most challenging problems in mathematical analysis. This talk describes a modern approach that combines classical PDE analysis with rigorous numerical computation, specifically interval arithmetic, to produce genuine mathematical proofs of self-similar blow-up to fluid equations.

Interval arithmetic provides a framework in which floating-point computations carry certified error bounds — transforming numerical evidence into rigorous mathematical fact. We describe how this philosophy is being deployed in the setting of nonlinear fluid PDEs, focusing on recent work on self-similar blow-up profiles for fluid equations, where high-precision numerical solutions serve as the starting point for computer-assisted proofs.

This was part of the LMS General Meeting 2026, which took place on Friday 3 July 2026 at the International Centre for Mathematical Sciences (ICMS), Edinburgh and online via Zoom.

Which proofs need computer assistance?, Kevin Buzzard | LMS General Meeting 2026 (YouTube)

Abstract: The four colour theorem was a very early example of a proof for which the use of a computer was essential, because the amount of tedious mechanical calculation was simply far too large for a human to undertake. However there are other reasons that a proof can be complex; for example it can simply be extremely long, like the classification of finite simple groups. Can computers assist with these proofs somehow? Can computers even assist all proofs?

This was part of the LMS General Meeting 2026, which took place on Friday 3 July 2026 at the International Centre for Mathematical Sciences (ICMS), Edinburgh and online via Zoom.