Hacker News new | ask | show | jobs
by tripplyons 321 days ago
You're either underestimating the length of the proof, or overestimating the length of tasks that models can currently accomplish.
1 comments
amelius 321 days ago
The blueprint is a step-by-step outline.
link
tripplyons 320 days ago
If the goal is to formalize the proof, you would need more than an outline.
link