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: AI Math Verification Bottleneck, Human Understanding Essential(5 posts)→
More from Models
- GLM 5.5 rumored to drop soon, coding ability expected to match frontier models — bindureddy · 2026-10-16
- Five rounds of adversarial prompting make Opus 5.5 and Argon converge on identical output — LanceCharger · 2026-10-16
- DIY benchmark ranks 18 models on subjective judgments, GLM-5.3 tops consensus match — arkuto · 2026-10-16
- Bindu Reddy: Google's Argon excels at complex doc writing at half the cost of Opus — bindureddy · 2026-10-16
- MAI-2 is 2x bigger than V4-Pro while V4.1F is 3x smaller: Microsoft's scaling ladder questioned — teortaxesTex · 2026-10-16
- Step 5 Preview hits DeepInfra day-zero: 600B MoE, 1M context, $1/M input tokens — StepFun_ai · 2026-10-16