The problem is if they don't produce any correct ones then that doesn't matter | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

griffzhowl on Aug 3, 2025 | parent | context | favorite | on: Ongoing Lean formalization of the proof for Fermat...

The problem is if they don't produce any correct ones then that doesn't matter

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact