The Ledger

Every statement that passed quotation and attribution checks. Mix any filter with any other: certainty 1/5, debate potential 5/5, or both at once.

clear all ✕

why aren't all 3 resolved? a statement only gets an assessment when the public record can support or contradict it. opinions and what-ifs never can, and 0 checkable ones are still open, waiting for their date. predictions held up or didn't; assertions are supported or contradicted. on every card: ▮▮▮▮▮ certainty · ▮▮▮▮▮ debate potential. speakers are clickable

Disclosure
Litt: Prompting AI generated three correct algebraic geometry papers in one hour
“Here's an experiment you can do, you can take codecs, you can say, go online, find five recent conjectures in algebraic geometry and prove them, and ok, I've run this experiment, and with some back and forth, I was able to, you know, in an hour, get like three…”
Daniel Litt Sep 1, 2026 ▶ 36:48 Can AI Learn Mathematical Intuition?
Disclosure
Litt: AI acts as a Google substitute without doing deep intellectual math work
“What I've found is that the projects that I have that kind of predate AI, like the projects I've been thinking about for three or four or five years it's just not that useful. Like, it's primarily kind of a substitute for Google or something. Like, I might use…”
Daniel Litt Sep 1, 2026 ▶ 19:03 Can AI Learn Mathematical Intuition?
Disclosure
Litt: AI models successfully proved lemmas in one of his published papers
“So I've, I have one paper out so far where the models were kind of useful. So they, like, proved a couple lemmas in the paper.”
Daniel Litt Sep 1, 2026 ▶ 29:41 Can AI Learn Mathematical Intuition?
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 1,000 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.