Imagine a future where all Millennium Prize Problems are solved but no Millennium Prizes are claimed.

Since everyone's sharing their AI math proofs, here's one I believe proves the second ever non-Rupert polyhedra: omniscienceproject.com/blog/… The first "Noperthedron" was proven last year. The new one was conjectured to be non-Rupert by mathematician Tony Zeng. Pic from his paper:

The Google Stadia infra would have been insanely valuable if built with Windows instead of Linux. Not just for gaming (most games are made for Windows) but nowadays letting agents use Windows applications, and letting a user jump in as needed, that infra would be so useful.

When it's late at night and I've been working with Claude Code all day, it starts saying stuff like "want to call it good?" or "want to call it a night?" It's like it wants me to go to bed. I have to tell it no, I want to keep working, thank you very much.

Are Intel shareholders just diluted by 10% without compensation? Doesn't that violate the Takings Clause as well as the board's duty to act in stockholders' best interest?

I can't believe NYC is seriously considering going with the guy whose big policy proposal is "government-run grocery stores."

I think Biden is going to lose more centrist voters by being weak on terrorism than he'll gain from the far left.