bluesky — Siobhán — 8 Oct 2026
Oh, they can certainly *use* this to advance their subject. I think there’s a subtlety here.
#ai-mathematics #philosophy-of-mathematics #proof-verification
Oh, they can certainly use this to advance their subject. I think there’s a subtlety here.
The advancement does not begin, in their mind, until humans understand it. The mere production of a proof is meaningless unless or until it is understood.