Terence Tao: creative strategies, this aspect of LLM tools is still weak
mathstodon.xyz
mathstodon.xyz
I think it's an error to think of this as a dupe, and I think it's an error to move the comments there.
But too late now.
https://news.ycombinator.com/item?id=41549800
https://news.ycombinator.com/item?id=41549690
https://news.ycombinator.com/item?id=41549645
https://news.ycombinator.com/item?id=41549625
https://news.ycombinator.com/item?id=41549535
https://news.ycombinator.com/item?id=41549483
Terence Tao on O1
This was my concern when the first post hit HN.
Tao seemed excited that “this time around” the “new” model proposed Cramer’s Theorem:
> This time around, Cramer's theorem was identified and a perfectly satisfactory answer was given.
All I could think was, well of course it did now, it has likely since been trained on Tao’s blog posts talking about its failure to suggest Cramers Theorem.
I’m unsure why Tao is allowing himself to be an advertisement for this company and its paid product.