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.
