Posts tagged #research-style
-
Two Research Modes, and Why the Second One Needs Lean 4
AI makes hypothesis generation cheap. Evaluation stays expensive. Lean 4 proofs are the filter that changes the economics: a proved theorem screens an entire family of candidates before GPU time is allocated.