David Aronchick

What if I told you this guy was falling to the floor every play?

I regret that comment, which was less polite than I aim to be on here. Let me try to write something a bit more substantial. I don't think "discover all math that can possibly be discovered" is really coherent. Even if one conceptualizes mathematics as "answering well-posed open problems," historically resolutions to such have tended to raise more questions--I would argue that there are now more interesting open questions than there have been at any time in the past, despite (in fact because of!) the fact that there are more mathematicians than ever, resolving more problems than ever. At any fixed capability level I think it is likely we will see lots of problems remain open, including many basic open problems we know about at present. It's much easier to pose an interesting question than to answer one; it seems to me that the difficulty of interesting questions we can generate is basically unbounded. But also mathematics consists of much more than this--less verifiable tasks include things like "understand such-and-such an object," or "find a cool phenomenon," or "develop a theory," though such tasks are often benchmarked by their impact on problem-solving. I think AI will eventually (perhaps soon) be able to do these kinds of things but the idea that it will exhaust the supply of math, or that we won't want to develop human capital to understand some portion of what is discovered, seems to rely on an understanding of math and our motivations for working on it that is, at least, alien to me.

I'm almost at the point where I'm going to stop asking AI questions and instead ask it to find sources that might answer them. Because I know what it's doing: pushing the linguistic buttons in my brain that lead me to believe it and stick with it, even as it gives me garbage.

In Mamdani's New York, a man goes to enter the lottery for World Cup tickets. The lottery operators says, 'you know these are upper bowl tickets and you have a 0.01% chance of winning?' The man then answers, 'yes,' and proceeds to enter the lottery. Just before he leaves he asks the lottery operator, 'Do you know when the match starts that day?' 'You're not going to win. What does it matter?' 'I'm supposed to reach the front of the froyo line that day too'.

Everything from exorbitant FIFA World Cup ticket prices to "fighting hard" for 1,000 fair-priced tickets for NY residents is laughable... Metlife stadium capacity: 82,500 Seven matches: 7 * 82,500 = 577,500 Share of $50 tickets: 1,000 / 577,500 = 0.17%

Ah cool Soviet style lotteries, so empowering! The proletariat can now watch a soccer game with the blessing of luck.