News for hackers. Stuff that matters.

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.