The nForum has moved to Zulip: Hilbert's sixth problem.