Show HN: Spivak's Calculus formalized in Lean 4 – every theorem, every problem 9 hours ago (github.com) 2 comments jsLavaGoat Reply Add to library jsLavaGoat 9 hours ago [flagged] dang 2 hours ago Can you please not post AI-generated or AI-edited comments to HN? It's not allowed here - see https://news.ycombinator.com/item?id=47340079.Of course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.
jsLavaGoat 9 hours ago [flagged] dang 2 hours ago Can you please not post AI-generated or AI-edited comments to HN? It's not allowed here - see https://news.ycombinator.com/item?id=47340079.Of course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.
dang 2 hours ago Can you please not post AI-generated or AI-edited comments to HN? It's not allowed here - see https://news.ycombinator.com/item?id=47340079.Of course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.
[flagged]
Can you please not post AI-generated or AI-edited comments to HN? It's not allowed here - see https://news.ycombinator.com/item?id=47340079.
Of course, it's impossible to know for sure what was LLM processed or not, but this post got classified that way, which is why it was flagged.