Two announcements on Euler today. The one discussed here by Tristan with forcing and one from Anima without forcing https://anima-ai.org/2026/09/07/stable-singularity-of-the-eu...
Terry also talks about it https://mathstodon.xyz/@tao/117234157753860650