bluesky — Boatplugs — 24 Sep 2026
If a computer solves a millennium prize problem but there are no humans around too see then did it really solve a millen…
#philosophy-of-mathematics
If a computer solves a millennium prize problem but there are no humans around too see then did it really solve a millennium prize problem?