More comments from another mathematician:
https://x.com/ErnestRyu/status/1958408925864403068?t=QmTqOcx...