Viewing profile — watchthedemo

Just regular ole skepticism in response to claims without substantiative evidence.

> Unless you claim Tao is outright lying, his statements say he's getting objective value out of AI tools. They are helping him accelerate actual math research. I lack the personal…

> The LLM is not done until the theorem-prover says it is done - at which point we can be sure of the correctness of the assertion in the context. AFAIK there is no debate about in…

For the sake of rigor it appears he found it interesting that someone else found them helpful in the past rather than "Terry Tao[himself] has found them helpful in the past." > Thi…

I think you are missing the sarcasm of the parent comment. I am also fairly certain you have yet to actually watch Tao "demonstrate" his interaction with these technologies because…