Daniel Litt

2 recommended products

Everything Daniel personally uses, recommends, or has created — plus things they don't recommend — sourced from their own show and appearances on other podcasts.

Recent episodes

All →

What Today’s Best Models Still Can’t Do in Math

Sep 01 · 2 recs

Show: All 1 | uses recommends mentions

Showing 1 of 4 products

Clear filters

Lean mentions software

Mentioned in 1 episode

"With this recent list of 10 problems released by OpenAI, those were all formalized in Lean, which is of course very good evidence that they're true. I have no doubt that there were a lot more that they could not formalize in Lean because the prerequisite formalizations have not been put into Lean yet."

From: What Today’s Best Models Still Can’t Do in Math • ▶ 53:49 • Sep 1, 2026

2 recommended · 0 sponsored · 0 warned against · 0 episodes