You're reading: News, News Roundup

Aperiodical News Roundup – July 2022

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)

From the Olga Ladyzhenskaya trailer

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

Photograph of the four 2022 Fields Medalists sitting in a row at the award ceremony
2022 Fields Medalists (L-R: Maryna Viazovska, James Maynard, June Huh, and Hugo Duminil-Copin) Photo: HLFF

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.

(will not be published)

$\LaTeX$: You can use LaTeX in your comments. e.g. $ e^{\pi i} $ for inline maths; \[ e^{\pi i} \] for display-mode (on its own line) maths.

XHTML: You can use these tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>