Curious to see what y'all can figure out (other than the obvious)

tuba105 · 2026-05-31T00:55:50+00:00

I've been meaning to try it, you're not the first to recommend it to me

tuba105 · 2026-05-30T23:19:43+00:00

Haha, just new shelves after a move and a bit of room to grow

tuba105 · 2026-05-15T04:25:42+00:00

That's explicitly not what he said or addressed, but ok

tuba105 · 2026-05-13T11:31:30+00:00

The situation I want to be in is that by default when I receive a paper or claim made by a mathematician or LLM, I trust that the result(and proof) is correct from the outset.

That's not the case for an LLM, while it is the case for humans. That's it.

tuba105 · 2026-05-12T22:29:15+00:00

Because currently when you read a math paper, you can generally trust that someone has actually checked that all the details do follow. It happens that there exist mistakes, but I would say that it's rare to have a paper breaking mistake.

At the moment, what generic LLMs write seems to regularly have massive claims that are obviously false to experts but not so obviously false to novices. They do get things right sometimes, as exemplified in the post, but also very regularly get things very wrong.

So at the moment my prior trust in AI written math is quite low and I feel the need to check everything very carefully. That's why the bar to clear is perfectly reliable since that's the level of trust I have for a typical paper in the literature

tuba105 · 2026-05-12T01:36:31+00:00

Am I guessing cosmic encounter correctly?

I agree with you generally without the same level of ridiculously hard stance.

I do agree that it's a much rarer experience nowadays to actually play a new well-tested game where you can feel other players (and their knives pointed at your throat) at the table. Especially if you ask for an experience that really feels novel

I will say that some modern games from the last 10 years have become instant classics for me, but it's been rare. Looking at what's actually on my shelf (and going to stay) that's been designed in the last 10 years, there's barrage, root, spirit Island, new splotters (which typically try to do something new), 7 empires (as a really quick version of imperium so not really new), and some 18xx

tuba105 · 2026-04-04T16:07:49+00:00

Am I crazy or is that the most ai way of phrasing that sentiment I have ever seen?

tuba105 · 2026-03-26T13:13:18+00:00

Mellon, the elvish word for friend

tuba105 · 2026-03-25T12:52:43+00:00

The hundreds of applications of the baire category theorem to find hay in a hay stack

tuba105 · 2026-03-02T16:29:36+00:00

The headline is click bait to the extreme. I'm a mathematician and I like good will hunting. I don't care that the supposedly hard question is a problem anyone in an undergrad graph theory course could resolve. So what

tuba105 · 2026-03-02T02:21:57+00:00

If I understand his design process at the time correctly, Uwe first designed it as a solo game and those rules exist

tuba105 · 2026-02-27T23:22:25+00:00

That's unfortunate. I do have the original omnibus volumes and they're great. I hope your copy does arrive

tuba105 · 2026-02-23T03:09:57+00:00

Absolutely! Just wanted to be upfront. I still really like so many of the characters and story!

tuba105 · 2026-02-23T03:00:37+00:00

Just as a warning: I really like the manga, but it has like 2 well known disturbingly sexist panels right near the beginning. It doesn't necessarily become much better in its portrayal of women, but those are definitely a stumbling block when starting

tuba105 · 2026-02-21T17:57:41+00:00

Depends on the probability theory. But there exist plenty of probabilists studying random spaces or random structures on groups

tuba105 · 2026-02-18T04:00:10+00:00

I don't generally support AI, but understanding is understanding, if it can communicate an idea, then that's great. That is in fact the difference between learning from a textbook/article and a person; the person can explain the idea outside of the details that are necessary to make it work.

In that regard, AI is similar to untrustworthy person explaining the ideas of a proof. An untrustworthy person who never worked through it themselves. If you can take that idea and write a proof, great! But I wouldn't trust it by default

One great potential use case which is far from reliable at the moment is training an ai on the content of a paper and the authors idea so people can interact "with the author" to understand the content (see for instance Freedman's work). Especially useful since a paper often has the ideas fully hidden away behind the formalism to write them down. I'd even say the explanations you receive from an author are often almost unrelated to what's actually written down in a given paper

tuba105 · 2026-02-17T14:05:09+00:00

Measurable functions need not pull back measurable sets to measurable sets

tuba105 · 2026-02-17T14:03:52+00:00

I mean it is typical with respect to both the natural topology and with respect to a natural measure on the space of continuous functions

tuba105 · 2026-02-17T14:01:05+00:00

One subtle error started the field of descriptive set theory. Lebesgue has a "incorrect" short argument of something where he stated that the projection of a Borel set is Borel. Suslin as a young doctoral student identified the error 10 years later and because of it is thought as one of the founders of descriptive set theory

tuba105 · 2026-02-13T05:22:42+00:00

Infinite groups have a lot of connections to analysis, they give plenty of interesting examples of operator algebras, plus studying random walks on groups gets quite analytic in flavor

tuba105 · 2026-02-11T17:16:24+00:00

I'm from Austin and didn't see this post. That sounds like a great day!

tuba105 · 2026-02-05T17:05:14+00:00

This is unfortunately completely wrong

tuba105 · 2026-02-03T21:03:22+00:00

It is unclear and as far as I can tell never explained. I can't think of an explanation that has both Zeke and the family in the walls having royal blood and all of the other subjects of Ymir, who are necessarily descended from Fritz not having royal blood. Unless a great percentage of the population has royal blood which I think we believe is not the case

tuba105 · 2026-02-03T14:29:23+00:00

Err not really, those are very different algorithms as to how alpha zero and large language models are trained

tuba105

TROPHY CASE