watchthedemo

4 ms·

1. 1.▲
   by watchthedemo 9mo ago

   Just regular ole skepticism in response to claims without substantiative evidence.
2. 2.▲
   by watchthedemo 9mo ago

   > 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 relationship with Tao necessary to determine if his
3. 3.▲
   by watchthedemo 9mo ago

   > 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 inaccuracy with theorem-provers. Your "in the context&
4. 4.▲
   by watchthedemo 9mo ago

   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." > This was one further addition to a recent sequen
5. 5.▲
   by watchthedemo 9mo ago

   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 if you had you would know in those demonstrations