Math WG weekly meeting - 2023