Here’s a roundup of some mathematical news we didn’t yet report from the last month.

The makers of documentary film ‘Olga Ladyzhenskaya’, detailing the life of the Russian mathematician, have released a five-minute trailer giving a flavour of the film. *(via ICM Intelligencer)*

## Research

According to a new ArXiV paper, the triple bubble conjecture (a result about the shapes taken by surfaces that are attempting to enclose a volume, or in this case three volumes, with minimal surface area) has been solved. *(via Ian Agol)*

The Lean community, who use and blog about the Lean proof assistant, have announced completion of the liquid tensor experiment – proving the main theorem of liquid vector spaces (me neither) and thereby formalising a big serious proof using the system. *(via David Eppstein)*

In computer science, a new ArXiV paper takes us a step closer to automating quantitative reasoning – Minerva, a large language model pre-trained on general natural language data and technical content, has correctly solved some college-level questions that “require quantitative reasoning”.

## Awards

A big month for prizes, with the announcement of the 2022 Fields medals, awarded to Hugo Duminil-Copin, June Huh, James Maynard and Maryna Viazovska, as well as the 2022 Christopher Zeeman medal, which has been awarded to Simon Singh.