Mathematician
I’m not so sure about formalization (November 01, 2026)
Rise of the machines (February 14, 2026)