3 ms·
Tao explicitly mentions that it is ITPs that unlock this. The ITPs will keep the LLMs in check, and stop them from bs-ing. The ITPs unlock massive collaborati
by itpnotllm 3y ago
Tao explicitly mentions that it is ITPs that unlock this.
The ITPs will keep the LLMs in check, and stop them from bs-ing.
The ITPs unlock massive collaboration.
- npunt 3y agoUm 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.
- kaba0 3y agoI 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?
- chabulhwi 3y agoYes.