You're either underestimating the length of the proof, or overestimating the len... | Hacker News

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

		tripplyons 8 months ago \| parent \| context \| favorite \| on: Ongoing Lean formalization of the proof for Fermat... You're either underestimating the length of the proof, or overestimating the length of tasks that models can currently accomplish.

amelius 8 months ago [–]

The blueprint is a step-by-step outline.

tripplyons 8 months ago | [–]

If the goal is to formalize the proof, you would need more than an outline.

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