bluesky — @green496.bsky.social — 8 Oct 2026
The other case is when no human understand the AI proof (in all its detail). This is the case for essentially all recent…
#ai-assisted-mathematics #formal-verification #theorem-proving
The other case is when no human understand the AI proof (in all its detail). This is the case for essentially all recent OpenAI proofs. Here they have several detailed suggestions: