grind tactic
1 statements across 1 episodes · 0 bullish · 1 bearish · 1 people on the record · first statement Jun 3, 2026 by Carina Hong · across every show →
Everything said about grind tactic, oldest first
Jun 3, 2026 negative
Hong: Competitor's AI demo can be solved entirely by Lean's grind tactic
“We're talking about, for example, the grind tactic in Lean. It can currently handle a lot of mass proofs, like, at a very low level. And this is pretty shocking because I have seen, you know, actually another company working in the same space, like, you know, …”