4 ms·
You're either underestimating the length of the proof, or overestimating the length of tasks that models can currently accomplish.
by tripplyons 1y ago
You're either underestimating the length of the proof, or overestimating the length of tasks that models can currently accomplish.
- amelius 1y agoThe blueprint is a step-by-step outline.
- tripplyons 1y agoIf the goal is to formalize the proof, you would need more than an outline.