itpnotllm
Re:Terence Tao, "Machine Assisted Proof" [video]
on Thursday February 15, 2024 @12:13AM (#39379360)
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.