Is this paper in arxiv?

Actually I get improvements when I ask two llms to simplify each other’s work repeatedly.

This sounds like a resolution for the Fermi paradox.

How dis he do all these animations? Any idea?

pretty sure it’s the manim library 3b1b uses (unable to check for certain right now)

You mean they don’t understand the “but no simpler” part?

Yes

Most of their articles read like fairy tales, lacking even one clear, actionable nugget of information.

Reading the comments, is it safe to say that LLMs are a digest of the internet which is some update over google search, but with the caveat that you need to double check the results? I mean they basically have some compressed version of almost all the written knowledge and will respond correctly about things that have already been written, and hallucinate (extrapolate) about things not explicitly written. Of course if someone carefully curates the input data to filter out misinformation, it might even be an upgrade over google. Is there a consensus on this?

The author claims to be able to tell AI content. I am wondering, is there any test to help me train to distinguish AI content? Like: this paragraph is written by a human this by an AI and see how well we all do?

Not really. AI is too good now—no test reliably tells the difference.

Although LLMs have a tendency of using — in place of - - which is the one I use.

Does anyone of if there are any consequences of the existence of monotiles in algebra or number theory?

I love TexMacs for taking math notes. It has great keyboard shortcuts too. I am wondering if it is still actively developed though…

TeXmacs has a release earlier this year: https://lists.texmacs.org/wws/arc/texmacs-info/2024-04/msg00...

But I think it's not going anywhere fast, after reaching feature stability there maybe isn't much to do except the hard work of upgrading dependencies (like Guile and Qt) that maybe isn't appealing to the devs.

Why does it have to be foldable?