watchthedemo
No user record in our sample, but watchthedemo has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
No user record in our sample, but watchthedemo has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
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 relationship with Tao necessary to…
> 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…
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…
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…