iβve already depicted you as lacking all conviction and myself as full of passionate intensity π
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.
Some thoughts on AI and math, inspired by βFirst Proofβ: www.daniellitt.com/blog/2026/2/...
I thought this was very insightful. They have tremendous breadth of knowledge but struggle a bit more at depth of reasoning (and depth has grown much more slowly)
How much programming requires IMO Gold or less reasoning, though? I'd say maybe like 75% of my work is
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!
Thanks, very open to any (arbitrarily critical) comments.
Some thoughts on AI and math, inspired by βFirst Proofβ: www.daniellitt.com/blog/2026/2/...
Bluesky needs more academic crankery so I can get my @littmath.bsky.social math shitposting all in one convenient location
Toddler, post-museum, refusing to go up to her bath: βIβm art so donβt touch me!β
Toddler on art during recent museum visits:
LeftββThey started drawing a house! *matter-of-factly* Theyβll finish it tomorrow.β
RightββThat babyβs in a tissue box!β
Yes, I think so.
toddler (on the way to preschool): I can see the CN tower
me: it was too cloudy to see it yesterday. isnβt it nice we can see the whole thing today?
toddler *patiently*: daddy, we can only see the front of it.
β¦he is still greedy (charging for his story) and oddly concerned with novelty clothing items (while he no longer knits Thneeds, his current outfit has a βsecret strange hole in its gruvulous glove.β)
Incidentally βThe Loraxβ is really one of Seussβs best. My favorite aspect of it is that the Once-lerβs characterization is very sharp: even though he regrets that his excess led to the destruction of the Truffula trees, β¦
For the first time she was very concerned by the destruction of the Truffula trees (βthey should get more trees!β) and we had a very nice conversation about the ending of the story.
me: *reading βThe Loraxβ* NOWβ¦thanks to your hacking my trees to the ground, there's not enough Truffula Fruit to go 'round.
And my poor Bar-ba-loots are all getting the crummies because they have gas, and no food, in their tummies!
toddler: They should get sushi!
Toddler (sitting down in a restaurant sheβs never been to): Iβve been here before! When I was little!
Me *dubious*: Really? When?
Toddler *thinks, nods*: When I was medium!
Toddler: I want to do βLady and the Trampβ all by myself! *sticks both ends of a string of spaghetti in her mouth*
Toddler: I want two apricots, because Iβm two-and-a-half. *Pause* When I turn three, I can have three apricots. *Pause, realization* When I turn four, I can have four apricots! When I turn five, I can have FIVE apricots!