duck_master

teenager | mathematics enthusiast | MIT class of 2026 | vaguely Grey Triber | personal website: https://duck-master.github.io

10

"AI that can verify itself" seems likely doable for reasons wholly unrelated to metamathematics (unlike what you claim offhandedly) since AIs are finite objects that nevertheless need to handle a combinatorially large space. This has the flavor of "searching a combinatorial explosion based on a small yet well-structured set of criteria" (ie the relatively easy instances of various NP problems), which *has* had a fair bit of success with SAT/SMT solvers and nonconvex optimizers and evolutionary algorithms and whatnot. I don't think constructing a system that systematically explores the exponentially big input space of a neural network is going to be too hard a challenge.

Also, has anyone really constructed a *specific* self-verifying theory yet? (It seems like from the English Wikipedia article, if I understand correctly, Dan Willard came up with a system where subtraction and division are primitive operations with addition and multiplication defined in terms of them, with it being impossible to prove that multiplication is a total function.)

30

Speaking of MathML are there other ways for one to put mathematical formulas into html? I know Wikipedia uses <math> and its own template {{math}} (here's the help page), but I'm not sure about any others. There's also LaTeX (which I think is the best program for putting mathematical formulas into text in general), as well as some other bespoke things in Google Docs and Microsoft Word that I don't quite understand.

1-1

Thank you for placing the limit orders! (You are "Martin Randall" if I understand correctly? I didn't know you were a LessWronger!)

30

Thank you for building this! I have just signed up for it.

I've noticed that two of the three Manifold markets (Will a nuclear weapon detonate in New York City by end of 2023? and Will a nuclear weapon cause over 1,000 deaths in 2023?) could use a few thousand mana in subsidies to reduce the chance of a false alarm, even though both are moderately well-traded already. (I've just bet both of them down, but *I* personally don't have enough mana to feel comfortable subsidizing both.)

10

I think this issue could be fixed by lengthening the message of the phone calls (if it ever gets sent out) to also quote all the comments on the sentinel markets from the last ~week before the trigger time. The reason why is that I expect, *if *there were to ever be legitimate signs of a impending nuclear war, that people would leave plenty of comments on the relevant markets about these signs.

10

Update: I have tested negative for COVID-19 twice with self-tests, but since I still feel ill, I recommend that participants mask up anyways (it could be the common cold or flu, for all I know).

10

Thank you for the comment! I will **not** attend this since you stated that they check IDs at the door.

10

Two recent things that will likely affect this meetup:

- Firstly,
**it will rain**on Saturday around the time of the meetup, according to the weather forecast, particularly towards the planned end. Please bring umbrellas. - Secondly,
**I might have COVID-19**(which I suspect I caught on Thursday night). As such, I will wear a mask throughout the meetup, and I encourage all of you to do the same.

Thanks for your attention!

30

Question: I’m not old enough to drink alcohol, and I think this place is a bar - but would I even be allowed* in* the bar?

To be fair, there is no evidence requirement for upvoting, either.

I could see why someone would want this (eg Reddit's upvote/downvote system seems to be terrible), but I think LW is small and homogenous-ish enough that it works okay here.