formal verification team

1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Jun 3, 2026 by Carina Hong · across every show →

Everything said about formal verification team, oldest first

Jun 3, 2026 neutral

Assertion Contradicted

Hong: DeepSeek dissolved its formal reasoning team over strategic shift

“And we have since, for example, Deep Seek All right. Like originally having a formal team and then later dissolve that team because of strategic direction change.”

Carina Hong Jun 3, 2026 ▶ 1:14:16 Scaling Past Informal AI - Carina Hong, Axiom Math

Turn any episode into a week of clips.

This entire site, over 200 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.

formal verification team

Everything said about formal verification team, oldest first

Turn any episode into a week of clips.