Expert Explains AI Verification Crisis: Math is Checkable, Cryptanalysis is Not
matthew_d_green · x · 2026-07-29
Cryptography expert Matthew Green further explains why verifying AI-generated results is so difficult.
He notes that in many high-profile public math results, the outcome is typically a simple but hard-to-find counterexample that can be tested via basic calculation or machine-checked proofs. However, this verification approach fails for a lot of non-practical cryptanalysis, making AI-generated false proofs incredibly hard to spot.
Related event: Experts Highlight Challenges in Verifying AI-Generated Results(2 posts)→
More from Models
- User reports Grok 4.5 math formatting failures on web and Android — flyme2mars · 2026-07-29
- OpenAI launches GPT Transcribe and GPT Live Transcribe via API — The Decoder · 2026-07-29
- Leak says Z.ai’s GLM-5.5 targets Fable 5 and Mythos-level performance — Informal-Trouble2183 · 2026-07-29
- DeepSeek v4 Flash thinking mode silently ignores sampling controls in API runs — OkDimension2228 · 2026-07-29
- Polymarket launches a market on when Anthropic’s next Claude Opus will ship — Polymarket · 2026-07-29
- Rumor says DeepSeek V4 is in internal testing and could hit GA in early August — teortaxesTex · 2026-07-29