Mathematician Says AI Cannot Reliably Formalize Proofs

Mathematician Joel David Hamkins points out that current AI cannot reliably automate mathematical proof formalization. He notes that even with formalized proofs, humans still need to expend significant effort to verify them.

2026-08-01 ~ 2026-08-01 · 2 related posts

• Mathematician Debunks AI Proof Reliability: Formalization Still Requires Human Verification — burny_tech · 2026-08-01
• AI Can't Reliably Automate Formal Proofs; Verification Equally Laborious — burny_tech · 2026-08-01