Ah, sorry I missed this!

I have no doubt you’re right!

With other (somewhat minimal) scaling was dealing ~100 damage just by clicking end turn.

Favorite (Regent) run so far: got Bombardment enchanted with Slither (so the cost is randomized) early act 1. Got the doll (Bing-bong?) relic that adds a duplicate of each new card to your deck act 2. Then the mirror relic to add a new (hence 2 new) slithered Bombardments act 3.

Slay the Spire 2 is incredibly good

my wife: *brings toddler a bowl of berries*
me: isn’t mommy so nice?
toddler: i’m nice too! *gives me a berry*
me: yes, you’re nice too
toddler: *shakes head* i JUST SAID that

Toddler learned that I am lactose-intolerant and is concerned about it. About 3 times a day, she asks, “Daddy, does cow’s milk make you sick?” “Yes.” And then I get to hear a new list of things she really likes that might be dairy: “Does ice cream make you sick? Pizza? Kiwis?”

Move over, vibe-coding. Vibe-proving is here for math A few years ago, ChatGPT couldn’t do simple arithmetic. Now, some experts say that AI could make mathematicians obsolete.

On today's episode of @scifri.bsky.social, @littmath.bsky.social
and I had a conversation about vibe proving and AI for mathematics.

Check it out here:

www.sciencefriday.com/segments/cou...

To be clear we have never been to any catacombs. AFAICT she is only aware of them because of one picture in one book we have about Paris.

Toddler, completely unprompted: “I LOVE the catacombs!!!”

Public view of code4math | Zulip team chat Browse the publicly accessible channels in code4math without logging in.

Jeremy Avigad just shared this ICARM.io workshop announcement organized by @littmath.bsky.social to the @code4math.org Zulip for "Milestones of Autonomous Mathematics":

code4math.zulipchat.com#narrow/chann...

#MathSky

Something about rigid local systems, let me not say more until all i's are dotted and t's are crossed.

Spent the last few days thinking about some conjecture. Gathered strong evidence it was true: proved it up to dimension 15 (by computer, about 100,000 cases).

Just found an easy counterexample in dimension 16.

First positive impact on the world stemming from the Hodge Conjecture confirmed 💰 🪤 🦟

Seen in response to the young and charitable @littmath.bsky.social on the other site 🐸

i’ve already depicted you as lacking all conviction and myself as full of passionate intensity 😏

Yes, we've been figuring this out and childcare is unbelievably expensive.

I’ll meet with them via Zoom (and travel back to Toronto a couple times).

This has been public for a bit but (some personal news) I don't think I've mentioned it on here: I'll be the "Benedict H. Gross Distinguished Visitor" at the Harvard math department for the fall semester.

lol I have not really tried to go into it in detail yet. I think she’s still not really clear on the concept of “death,” quite possible she thinks it’s something like “turned into bones.” E.g. she would also ask what various fossilized creatures are currently feeling.

Lot of very interesting conversations at the museum (hopefully not too traumatic). After we got home toddler explained to my wife that a really big rock hit the earth, but insisted it was no bigger than she could encompass by stretching her arms out.

Toddler: *looking at dinosaur fossils* Did THEY die?
Me: yes, a very long time ago.
Toddler: When I was a BABY?!

Toddler: *gestures at 200m-year-old crustacean fossils at Natural History Museum* How did they die?
Me: I don’t know. Maybe there was some kind of disaster, or they got really old—
Toddler: *stares at me, tears welling up* they died because they got old?

Let my toddler help me crush some garlic earlier (i.e. she held the garlic press with me) and thanked her afterwards, saying she was a big help. She spent the next hour marching up to my wife and me, saying “Can I help with that? I’m STRONG!”

Toddler: “I always finish dinner, sometimes.”

Figured I’d re-up this with an excerpt.

Mathematics in the Library of Babel — Daniel Litt Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mo...

Some thoughts on AI and math, inspired by “First Proof”: www.daniellitt.com/blog/2026/2/...

MATHEMATICS IN THE LIBRARY OF BABEL February 21, 2026 Mathematics isn't only about saying true things. It's about asking the right questions, being confused, stumbling about, getting distracted, being wrong, recognizing when you're wrong, being stuck. Mostly being stuck. It's about clinging to a giant edifice and feeling it out until you understand some tiny piece of it. It's about finding meaning in and intuition for the texture of an object which, at first, can only be apprehended by bashing your skull into it until it imprints on your forehead. Then trying to convey some of that insight to someone else, and watching as they find their own way to it. I started trying to get LLMs to do math in July 2020, through the game "AI Dungeon," one of the earliest applications powered by GPT-3. I first got GPT-3 to produce a correct proof (of Fermat's Little Theorem) in April 2022. At the time I did not think they would become useful for math research in the near term.

With alt text (thanks @barbarafantechi.bsky.social!)

Figured I’d re-up this with an excerpt.

Daniel Litt made a great post about the current and future state of AI in math, in which I am also featured.

Recommended read for any and all here!