Um yes ITPs are the unlock for specifically math collaboration. I was referring to other more subjective fields that can also benefit from tech that allows collaboration to scale. LLMs have value for those. For math, LLMs suck.

I haven’t yet seen the video, nor am I familiar with the topic - could you please tell me what ITPs are?

Edit: are they interactive theorem provers?

Yes.