Trying posting here since I don't see how to post to https://agentfoundations.org/.

Recently sphere packing was solved in dimension 24, and I read about it on Quanta Magazine. I found the following part of the article (paraphrased) fascinating.

Cohn and Kumar found that the best possible sphere packings in dimensions 24 could be at most 0.0000000000000000000000000001 percent denser than the Leech lattice. Given this ridiculously close estimate, it seemed clear that the Leech lattice must be the best sphere packings in dimension 24.

This is clearly a kind of reasoning under logical uncertainty, and seems very reasonable. Most humans probably would reason similarly, even when they have no idea what the Leech lattice is.

Is this kind of reasoning covered by already known desiderata for logical uncertainty?

It came to my attention that when you receive downvotes for your comments, your karma goes negative and you need to "pay back" to be able to post to Discussion or to Main.

Since new users start with zero karma, having negative karma seems to just encourage those with negative karma to create a new account. We don't want to encourage people to create superfluous accounts, do we? Therefore I think LessWrong codebase should be patched so that karma does not go below zero even with lots of downvotes.

What do you think?